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

Associated Types

Methods

Instances

HasNaturalNumberObject ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Data.Category.NNO Associated Types type NaturalNumberObject (->) :: Type Source # Methods zero :: TerminalObject (->) -> NaturalNumberObject (->) Source # succ :: NaturalNumberObject (->) -> NaturalNumberObject (->) Source # primRec :: (TerminalObject (->) -> a) -> (a -> a) -> NaturalNumberObject (->) -> 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 #
Instance details Defined in Data.Category.NNO Associated Types type Dom (PrimRec z s) :: Type -> Type -> Type Source # type Cod (PrimRec z s) :: Type -> Type -> Type Source # type (PrimRec z s) :% a :: Type 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 #
Instance details Defined in Data.Category.NNO type Dom (PrimRec z s) = Nat
type Cod (PrimRec z s) Source #
Instance details Defined in Data.Category.NNO type Cod (PrimRec z s) = Cod z
type (PrimRec z s) :% (I1 ()) Source #
Instance details Defined in Data.Category.NNO type (PrimRec z s) :% (I1 ()) = z :% ()
type (PrimRec z s) :% (I2 n) Source #
Instance details Defined in Data.Category.NNO type (PrimRec z s) :% (I2 n) = s :% (PrimRec z s :% n)