License | BSD-style (see the file LICENSE) |
---|---|
Maintainer | sjoerd@w3future.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
class HasTerminalObject k => HasNaturalNumberObject k where Source #
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) a Source #
PrimRec z s |