IdrisDoc: Control.Category

Control.Category

interface Category 
id : Category cat => cat a a
(.) : Category cat => cat b c -> cat a b -> cat a c
Fixity
Left associative, precedence 9
(>>>) : Category cat => cat a b -> cat b c -> cat a c
Fixity
Left associative, precedence 1