Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Lazy Peano numbers. Allow calculation with infinite values.
Bounded Nat | Bounded-instance for |
Enum Nat | Enum-instance for |
Eq Nat | Eq-instance for |
Integral Nat | Integral-instance for |
Num Nat | Num-instance for
|
Ord Nat | Ord-instance for |
Real Nat | Real-instance for |
Show Nat | |
Peano Nat |
Sign for whole numbers.
Whole numbers (Z).
Bounded Whole | Bounded-instance for |
Enum Whole | Enum-instance for |
Eq Whole | Eq-instance for |
Num Whole | |
Ord Whole | |
Peano Whole |
class Enum a => Peano a where Source
The class of Peano-like constructions (i.e. Nat and Whole).