witness-0.4: values that witness types
Data.Nat
Synopsis
data Nat #
Constructors
Instances
Methods
testEquality :: f a -> f b -> Maybe ((NatType :~: a) b) #
getRepWitness :: rep a -> Dict (Is NatType rep a) #
equals1 :: p a -> p a -> Bool #
representative :: Zero a #
representative :: Succ n a #
addNat :: Nat -> Nat -> Nat #
subtractFromNat :: Nat -> Nat -> Maybe Nat #
subtractFromNat a b = b - a
multiplyNat :: Nat -> Nat -> Nat #