IdrisDoc: Control.CategoryControl.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