category-extras-0.50.3: Various modules and constructs inspired by category theoryContentsIndex
Control.Functor.Adjunction
Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Synopsis
class (Functor f, Functor g) => Adjunction f g where
unit :: a -> g (f a)
counit :: f (g a) -> a
leftAdjunct :: (f a -> b) -> a -> g b
rightAdjunct :: (a -> g b) -> f a -> b
newtype ACompF f g a = ACompF (CompF f g a)
Documentation
class (Functor f, Functor g) => Adjunction f g where
An Adjunction formed by the Functor f and Functor g.
Methods
unit :: a -> g (f a)
counit :: f (g a) -> a
leftAdjunct :: (f a -> b) -> a -> g b
rightAdjunct :: (a -> g b) -> f a -> b
show/hide Instances
Adjunction (Coreader e) (Reader e)
newtype ACompF f g a
Adjunction-oriented composition, yields monads and comonads from adjunctions
Constructors
ACompF (CompF f g a)
show/hide Instances
Composition ACompF
Adjunction f g => Monad (ACompF g f)
(Functor f, Functor g) => Functor (ACompF f g)
(Full f, Full g) => Full (ACompF f g)
(ExpFunctor f, ExpFunctor g) => ExpFunctor (ACompF f g)
Adjunction f g => Pointed (ACompF g f)
Adjunction f g => Copointed (ACompF f g)
Adjunction f g => Comonad (ACompF f g)
Adjunction f g => Applicative (ACompF g f)
Produced by Haddock version 2.1.0