| Copyright | (C) 2011-2013 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | MPTCs, fundeps |
| Safe Haskell | Safe |
| Language | Haskell98 |
Control.Comonad.Trans.Adjoint
Description
Documentation
runAdjoint :: Functor f => Adjoint f g a -> f (g a) Source
newtype AdjointT f g w a Source
Constructors
| AdjointT | |
Fields
| |
Instances
| (Adjunction f g, Distributive g) => ComonadTrans (AdjointT f g) Source | |
| (Adjunction f g, Functor w) => Functor (AdjointT f g w) Source | |
| (Adjunction f g, Comonad w) => Comonad (AdjointT f g w) Source | |
| (Adjunction f g, Extend w) => Extend (AdjointT f g w) Source |