category-extras-0.53.5: Various modules and constructs inspired by category theory Source code 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 Source

Methods (.<=.) :: k a b -> k a b -> Bool Source meet :: k a b -> k a b -> k a b Source converse :: k a b -> k b a Source isSimple :: k a b -> Bool Source isTotal :: k a b -> Bool Source isMap :: k a b -> Bool Source

class Allegory k => TabulatedAllegory k f where Source

Methods 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 where Source

Methods all :: k a i Source rightDomain :: k b a -> k b b Source leftDomain :: k b a -> k a a Source

class (Allegory k1, Allegory k2, CFunctor f k1 k2) => Relator f k1 k2 Source

data Map k a b Source

Constructors Map runMap :: k a b Instances Allegory k => Category (Map k)

extractMap :: Allegory k => k a b -> Maybe (Map k a b) Source

Produced by Haddock version 2.6.0