data-category-0.4: Restricted categories
Data.Category.Coproduct
Description
data I1 a Source
data I2 a Source
data :++: whereSource
Constructors
Instances
The coproduct category of category c1 and c2.
c1
c2
data Inj1 c1 c2 Source
data Inj2 c1 c2 Source
data f1 :+++: f2 Source
data CodiagCoprod (~>) Source
data Cotuple1 c1 c2 a Source
data Cotuple2 c1 c2 a Source