data-category-0.5.1.1: Category theory

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com
Safe HaskellSafe-Inferred

Data.Category.NNO

Description

 

Documentation

data NatNum Source

Constructors

Z 
S NatNum 

data PrimRec z s Source

Constructors

PrimRec z s 

Instances

(Functor z, Functor s, ~ (* -> * -> *) (Dom z) Unit, ~ (* -> * -> *) (Cod z) (Dom s), ~ (* -> * -> *) (Dom s) (Cod s)) => Functor (PrimRec z s)