witness-0.4: values that witness types
Data.Witness.Nat
data NatType t where #
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 #