Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
MonadReader r m => MonadReader r (Codensity m) | |
MonadState s m => MonadState s (Codensity m) | |
MonadFree f m => MonadFree f (Codensity m) | |
RunMonadFree f m => RunMonadFree f (Codensity m) | |
Monad (Codensity f) | |
Functor (Codensity k) | |
MonadIO m => MonadIO (Codensity m) | |
Pointed (Codensity f) |
liftCodensity :: Monad m => m :~> Codensity mSource
lowerCodensity :: Monad m => Codensity m :~> mSource
codensityToRan :: Codensity m :~> Ran m mSource
ranToCodensity :: Ran m m :~> Codensity mSource
toCodensity :: Functor s => (forall a. s (k a) -> k a) -> s :~> Codensity kSource
fromCodensity :: (s :~> Codensity k) -> s (k a) -> k aSource
codensityToAdjunction :: Adjunction f g => Codensity g a -> g (f a)Source
adjunctionToCodensity :: Adjunction f g => g (f a) -> Codensity g aSource
improveFree :: Functor f => (forall m. MonadFree f m => m a) -> Free f aSource