Safe Haskell	Safe
Language	Haskell98

Data.Witness.Nat

Documentation

data NatType t where Source #

Constructors

ZeroType :: NatType Zero
SuccType :: NatType t -> NatType (Succ t)

Instances

TestEquality Nat NatType Source #
Methods testEquality :: f a -> f b -> Maybe ((NatType :~: a) b) #
Representative Nat NatType Source #
Methods getRepWitness :: rep a -> Dict (Is NatType rep a) Source #
Eq1 Nat NatType Source #
Methods equals1 :: p a -> p a -> Bool Source #
Is Nat NatType Zero Source #
Methods representative :: Zero a Source #
Is Nat NatType n => Is Nat NatType (Succ n) Source #
Methods representative :: Succ n a Source #