Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Categorical.Bifunctor
Description
A more categorical definition of Bifunctor
Documentation
class (Category r, Category t) => PFunctor p r t | p r -> t, p t -> r where
Methods
first :: r a b -> t (p a c) (p b c)
firstDefault :: Bifunctor p r s t => r a b -> t (p a c) (p b c)
class (Category s, Category t) => QFunctor q s t | q s -> t, q t -> s where
Methods
second :: s a b -> t (q c a) (q c b)
secondDefault :: Bifunctor p r s t => s a b -> t (p c a) (p c b)