data-category-0.7.2: Category theory

LicenseBSD-style (see the file LICENSE)
Maintainersjoerd@w3future.com
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Category.NNO

Description

 

Documentation

class HasTerminalObject k => HasNaturalNumberObject k where Source #

Associated Types

type NaturalNumberObject k :: * Source #

Instances
HasNaturalNumberObject ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Data.Category.NNO

Associated Types

type NaturalNumberObject (->) :: Type Source #

data NatNum Source #

Constructors

Z 
S NatNum