Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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
Nothing
subtractInteger :: a -> a -> Integer Source #
subtractSigned :: a -> a -> Signed Source #
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
subtract :: Subtraction a => a -> a -> b Source #
Instances
Subtraction' Signed Source # | |
Defined in Integer.Subtraction subtract :: Subtraction a => a -> a -> Signed Source # | |
Subtraction' Integer Source # | |
Defined in Integer.Subtraction subtract :: Subtraction a => a -> a -> Integer Source # |