| License | BSD-style (see the file LICENSE) |
|---|---|
| Maintainer | sjoerd@w3future.com |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Category.NNO
Description
Documentation
class HasTerminalObject k => HasNaturalNumberObject k where Source #
Associated Types
type NaturalNumberObject k :: * Source #
Methods
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 #
Instances
| HasNaturalNumberObject ((->) :: Type -> Type -> Type) Source # | |
Defined in Data.Category.NNO Associated Types type NaturalNumberObject (->) Source # Methods zero :: TerminalObject (->) -> NaturalNumberObject (->) Source # succ :: NaturalNumberObject (->) -> NaturalNumberObject (->) Source # primRec :: (TerminalObject (->) -> a) -> (a -> a) -> NaturalNumberObject (->) -> a Source # | |