Idris2Doc : Control.Category
- (.) : Category cat => cat b c -> cat a b -> cat a c
-
Fixity Declaration: infixr operator, level 9 - (>>>) : Category cat => cat a b -> cat b c -> cat a c
-
Fixity Declaration: infixr operator, level 1 - interface Category : (obj -> obj -> Type) -> Type
- Parameters: cat
Methods:
- id : cat a a
- (.) : cat b c -> cat a b -> cat a c
- Fixity Declaration: infixr operator, level 9
Implementations:
- Category Morphism
- Monad m => Category (Kleislimorphism m)
- id : Category cat => cat a a
-