Idris2Doc : Control.Category

Control.Category

(.) : Categorycat => catbc -> catab -> catac

Fixity Declaration: infixr operator, level 9
(>>>) : Categorycat => catab -> catbc -> catac

Fixity Declaration: infixr operator, level 1
Category : (obj -> obj -> Type) -> Type
Parameters: cat
Methods:
id : cataa
(.) : catbc -> catab -> catac

Implementations:
CategoryMorphism
Monadm => Category (Kleislimorphismm)
id : Categorycat => cataa