Control.Category

Definitions

interface Category : (obj -> obj -> Type) -> Type

Parameters: cat
Constructor: 

MkCategory

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

Visibility: public export

(.) : Category cat => cat b c -> cat a b -> cat a c

Visibility: public export
Fixity Declaration: infixr operator, level 9

(>>>) : Category cat => cat a b -> cat b c -> cat a c

Visibility: public export
Fixity Declaration: infixr operator, level 1