Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Integer.Subtraction
Synopsis
- class Subtraction a where
- subtractInteger :: a -> a -> Integer
- subtractSigned :: a -> a -> Signed
- class Subtraction' b where
- subtract :: Subtraction a => a -> a -> b
Documentation
class Subtraction a where Source #
Domain of a subtraction operation
Minimal complete definition
Nothing
Instances
Subtraction Positive Source # | |
Defined in Integer.Subtraction | |
Subtraction Signed Source # | |
Defined in Integer.Subtraction | |
Subtraction Integer Source # | |
Defined in Integer.Subtraction | |
Subtraction Natural Source # | |
Defined in Integer.Subtraction |
class Subtraction' b where Source #
Codomain of a subtraction operation
Methods
subtract :: Subtraction a => a -> a -> b Source #
Instances
Subtraction' Signed Source # | |
Defined in Integer.Subtraction Methods subtract :: Subtraction a => a -> a -> Signed Source # | |
Subtraction' Integer Source # | |
Defined in Integer.Subtraction Methods subtract :: Subtraction a => a -> a -> Integer Source # |