abt-0.1.1.0: Abstract binding trees for Haskell

Safe HaskellSafe-Inferred
LanguageHaskell2010

Abt.Types.Nat

Documentation

data Nat Source

Constructors

Z 
S !Nat 

Instances

Typeable * Nat 
Typeable Nat Z 
HEq1 [Nat] o => HEq1 Nat (Tm o) 
HEq1 [Nat] Lang 
Show1 [Nat] Lang 
Typeable (([Nat] -> *) -> Nat -> *) Tm 
Typeable (* -> ([Nat] -> *) -> Nat -> (Nat -> *) -> *) View 
Typeable (Nat -> Nat) S