|
|
|
|
|
Description |
Very simple type-level integers
|
|
Synopsis |
|
|
|
|
Constructors
|
|
|
Zero represents 0 at the type level
| Instances | |
|
|
|
If a represents the natural number n at the type level then (Succ a) represents (1 + n) at the type level.
| Instances | |
|
|
Predefined values
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Conversion to Int
|
|
|
Conversion to Int is achieved by the I type class.
| | Methods | | | induction :: m -> a -> (a -> a) -> a | Source |
| | | | induction'' :: a Zero x -> (forall i. a i x -> a (Succ i) x) -> a m x | Source |
|
| | Instances | |
|
|
Produced by Haddock version 2.4.2 |