witness-0.3: values that witness types

Safe HaskellNone
LanguageHaskell98

Data.Witness.Nat

Documentation

data NatKind Source

Constructors

Zero 
Succ NatKind 

Instances

data Nat t where Source

Constructors

ZeroNat :: Nat Zero 
SuccNat :: Nat t -> Nat (Succ t) 

Instances