| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Basement.Numerical.Subtractive
Synopsis
- class Subtractive a where
- type Difference a
- (-) :: a -> a -> Difference a
Documentation
class Subtractive a where Source #
Represent class of things that can be subtracted.
Note that the result is not necessary of the same type as the operand depending on the actual type.
For example:
(-) :: Int -> Int -> Int (-) :: DateTime -> DateTime -> Seconds (-) :: Ptr a -> Ptr a -> PtrDiff (-) :: Natural -> Natural -> Maybe Natural
Associated Types
type Difference a Source #
Methods
(-) :: a -> a -> Difference a infixl 6 Source #