Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
Safe Haskell | Safe-Inferred |
Documentation
class HasTerminalObject k => HasNaturalNumberObject k whereSource
type NaturalNumberObject k :: *Source
zero :: k (TerminalObject k) (NaturalNumberObject k)Source
succ :: k (NaturalNumberObject k) (NaturalNumberObject k)Source
primRec :: k (TerminalObject k) a -> k a a -> k (NaturalNumberObject k) aSource