data-category-0.3.1.1: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com

Data.Category.Coproduct

Description

 

Documentation

data I1 a Source

data I2 a Source

data :++: whereSource

Constructors

I1 :: c1 a1 b1 -> :++: c1 c2 (I1 a1) (I1 b1) 
I2 :: c2 a2 b2 -> :++: c1 c2 (I2 a2) (I2 b2) 

Instances

(Category c1, Category c2) => Category (:++: c1 c2)

The product category of category c1 and c2.

data Inj1 c1 c2 Source

Constructors

Inj1 

Instances

(Category c1, Category c2) => Functor (Inj1 c1 c2) 

data Inj2 c1 c2 Source

Constructors

Inj2 

Instances

(Category c1, Category c2) => Functor (Inj2 c1 c2) 

data f1 :+++: f2 Source

Constructors

f1 :+++: f2 

Instances

(Functor f1, Functor f2) => Functor (:+++: f1 f2) 

data CodiagCoprod (~>) Source

Constructors

CodiagCoprod 

Instances

data Cotuple1 c1 c2 a Source

Constructors

Cotuple1 (Obj c1 a) 

Instances

(Category c1, Category c2) => Functor (Cotuple1 c1 c2 a1) 

data Cotuple2 c1 c2 a Source

Constructors

Cotuple2 (Obj c2 a) 

Instances

(Category c1, Category c2) => Functor (Cotuple2 c1 c2 a2)