Integer.Subtraction

Documentation

class Subtraction a where

Domain of a subtraction operation

Minimal complete definition

Nothing

Methods

subtractInteger :: a -> a -> Integer

subtractSigned :: a -> a -> Signed

Instances

Subtraction Positive

Defined in Integer.Subtraction

Methods

subtractInteger :: Positive -> Positive -> Integer

subtractSigned :: Positive -> Positive -> Signed

Subtraction Signed

Defined in Integer.Subtraction

Methods

subtractInteger :: Signed -> Signed -> Integer

subtractSigned :: Signed -> Signed -> Signed

Subtraction Integer

Defined in Integer.Subtraction

Methods

subtractInteger :: Integer -> Integer -> Integer

subtractSigned :: Integer -> Integer -> Signed

Subtraction Natural

Defined in Integer.Subtraction

Methods

subtractInteger :: Natural -> Natural -> Integer

subtractSigned :: Natural -> Natural -> Signed

class Subtraction' b where

Codomain of a subtraction operation

Methods

subtract :: Subtraction a => a -> a -> b

Instances

Subtraction' Signed

Defined in Integer.Subtraction

Methods

subtract :: Subtraction a => a -> a -> Signed

Subtraction' Integer

Defined in Integer.Subtraction

Methods

subtract :: Subtraction a => a -> a -> Integer