| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Monad.Codensity | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
|
Documentation |
|
data Codensity m a |
Instances | |
|
|
liftCodensity :: Monad m => m :~> Codensity m |
|
lowerCodensity :: Monad m => Codensity m :~> m |
|
codensityToRan :: Codensity m :~> Ran m m |
|
ranToCodensity :: Ran m m :~> Codensity m |
|
toCodensity :: Functor s => (forall a. s (k a) -> k a) -> s :~> Codensity k |
|
fromCodensity :: (s :~> Codensity k) -> s (k a) -> k a |
|
codensityToAdjunction :: Adjunction f g => Codensity g a -> g (f a) |
|
adjunctionToCodensity :: Adjunction f g => g (f a) -> Codensity g a |
|
improveFree :: Functor f => (forall m. MonadFree f m => m a) -> Free f a |
|
Produced by Haddock version 2.1.0 |