|
Control.Allegory | Portability | portable | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
Allegories are generalizations of categories to cover relations.
|
|
|
Documentation |
|
|
| Methods | | | meet :: k a b -> k a b -> k a b | Source |
| | converse :: k a b -> k b a | Source |
| | | | | | |
|
|
|
|
| Methods | tabulateLeft :: k a b -> k a (f a b) | Source |
| | tabulateRight :: k a b -> k b (f a b) | Source |
|
|
|
|
|
| Methods | | | rightDomain :: k b a -> k b b | Source |
| | leftDomain :: k b a -> k a a | Source |
|
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
Produced by Haddock version 2.4.2 |