Control.Category.Constrained

The category class

class Category k

Monoidal categories

class Cartesian k

type ObjectPair k a b

class Curry k

type ObjectMorphism k b c

Monoidal with coproducts

type (+)

class CoCartesian k

type ObjectSum k a b

Isomorphisms

class Isomorphic k a b

Constraining a category

data ConstrainedCategory k o a b

constrained

unconstrained

Global-element proxies

class HasAgent k

genericAlg

genericAgentMap

data GenericAgent k a v

Utility

inCategoryOf

type CatTagged k x