License	BSD-style (see the file LICENSE)
Maintainer	[email protected]
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Data.Category.NNO

Description

Documentation

Minimal complete definition

Associated Types

Methods

Instances

HasNaturalNumberObject (->) Source #
Associated Types type NaturalNumberObject ((->) :: * -> * -> ) :: Source # Methods zero :: TerminalObject (->) -> NaturalNumberObject (->) Source # succ :: NaturalNumberObject (->) -> NaturalNumberObject (->) Source # primRec :: (TerminalObject (->) -> a) -> (a -> a) -> NaturalNumberObject (->) -> a Source #
HasNaturalNumberObject Cat Source #
Associated Types type NaturalNumberObject (Cat :: * -> * -> ) :: Source # Methods zero :: Cat (TerminalObject Cat) (NaturalNumberObject Cat) Source # succ :: Cat (NaturalNumberObject Cat) (NaturalNumberObject Cat) Source # primRec :: Cat (TerminalObject Cat) a -> Cat a a -> Cat (NaturalNumberObject Cat) a Source #

Constructors

Z
S NatNum

Constructors

Instances

(Functor z, Functor s, (~) (* -> * -> ) (Dom z) Unit, (~) ( -> * -> ) (Cod z) (Dom s), (~) ( -> * -> *) (Dom s) (Cod s)) => Functor (PrimRec z s) Source #
Associated Types type Dom (PrimRec z s) :: * -> * -> * Source # type Cod (PrimRec z s) :: * -> * -> * Source # type (PrimRec z s) :% a :: * Source # Methods (%) :: PrimRec z s -> Dom (PrimRec z s) a b -> Cod (PrimRec z s) (PrimRec z s :% a) (PrimRec z s :% b) Source #
type Dom (PrimRec z s) Source #
type Dom (PrimRec z s) = Nat
type Cod (PrimRec z s) Source #
type Cod (PrimRec z s) = Cod z
type (PrimRec z s) :% (I1 ()) Source #
type (PrimRec z s) :% (I1 ()) = (:%) z ()
type (PrimRec z s) :% (I2 n) Source #
type (PrimRec z s) :% (I2 n) = (:%) s ((:%) (PrimRec z s) n)