Data.CT.Category.Instances

Definitions

TypeCat : Cat

Visibility: public export

Cat : Cat

Visibility: public export

opCat : Cat -> Cat

Visibility: public export

DLens : Cat

Visibility: public export

DChart : Cat

Visibility: public export

AddDLens : Cat

  Category of additive dependent lenses

Visibility: public export

AddDChart : Cat

  Category of additive dependent charts

Visibility: public export

ComMon : Cat

  Category of commutative monoids and commutative monoid homomorphisms

Visibility: public export