data-category-0.1.0: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com

Data.Category.Hask

Description

 

Synopsis

Documentation

type Hask = (->)Source

data EndoHask f Source

EndoHask is a wrapper to turn instances of the Functor class into categorical functors.

Constructors

EndoHask 

Instances

data Zero Source

Any empty data type is an initial object in Hask.

magic :: Zero -> aSource

initObjInHask :: Limit (Id (->)) ZeroSource

An alternative way to define the initial object.

termObjInHask :: Colimit (Id (->)) ()Source

An alternative way to define the terminal object.

data ProdInHask Source

The product functor, Hask^2 -> Hask

Constructors

ProdInHask 

Instances

(Dom f ~ Pair, Cod f ~ (->), Dom g ~ Pair, Cod g ~ (->)) => FunctorA ProdInHask f g 

prodInHaskAdj :: Adjunction (Diag Pair (->)) ProdInHaskSource

The product functor is right adjoint to the diagonal functor.

data CoprodInHask Source

The coproduct functor, Hask^2 -> Hask

Constructors

CoprodInHask 

Instances

(Dom f ~ Pair, Cod f ~ (->), Dom g ~ Pair, Cod g ~ (->)) => FunctorA CoprodInHask f g 

coprodInHaskAdj :: Adjunction CoprodInHask (Diag Pair (->))Source

The coproduct functor is left adjoint to the diagonal functor.