Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Allegories are generalizations of categories to cover relations.
Documentation
class Allegory k => TabulatedAllegory k f whereSource
tabulateLeft :: k a b -> k a (f a b)Source
tabulateRight :: k a b -> k b (f a b)Source
class Allegory k => UnitalAllegory k i | k -> i whereSource
extractMap :: Allegory k => k a b -> Maybe (Map k a b)Source