| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Allegory | Portability | portable | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
Allegories are generalizations of categories to cover relations.
|
|
|
Documentation |
|
class Category k => Allegory k where |
| Methods | (.<=.) :: k a b -> k a b -> Bool | | meet :: k a b -> k a b -> k a b | | converse :: k a b -> k b a | | isSimple :: k a b -> Bool | | isTotal :: k a b -> Bool | | isMap :: k a b -> Bool |
|
|
|
class Allegory k => TabulatedAllegory k f where |
| Methods | tabulateLeft :: k a b -> k a (f a b) | | tabulateRight :: k a b -> k b (f a b) |
|
|
|
class Allegory k => UnitalAllegory k i | k -> i where |
| Methods | all :: k a i | | rightDomain :: k b a -> k b b | | leftDomain :: k b a -> k a a |
|
|
|
class (Allegory k1, Allegory k2, CFunctor f k1 k2) => Relator f k1 k2 |
|
|
data Map k a b |
Constructors | | Instances | |
|
|
extractMap :: Allegory k => k a b -> Maybe (Map k a b) |
|
Produced by Haddock version 2.1.0 |