Source
Contents
Index
abt-0.1.1.0: Abstract binding trees for Haskell
Safe Haskell
Safe-Inferred
Language
Haskell2010
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