GHC.Utils.Monad.Codensity

Synopsis

newtypenewtype Codensity (m :: Type -> Type) a

Instances6MonadTrans, Monad, Functor, MonadFix, Applicative, MonadIO

MonadTrans CodensityDefined in ghc-10.0.0.20260917 · GHC.Utils.Monad.Codensity
Monad (Codensity f)Defined in ghc-10.0.0.20260917 · GHC.Utils.Monad.Codensity
Functor (Codensity k)Defined in ghc-10.0.0.20260917 · GHC.Utils.Monad.Codensity
MonadIO m => MonadFix (Codensity m)Defined in ghc-10.0.0.20260917 · GHC.Utils.Monad.Codensity
Applicative (Codensity f)Defined in ghc-10.0.0.20260917 · GHC.Utils.Monad.Codensity
MonadIO m => MonadIO (Codensity m)Defined in ghc-10.0.0.20260917 · GHC.Utils.Monad.Codensity

valuetoCodensity :: Monad m => m a -> Codensity m a

valuefromCodensity :: Monad m => Codensity m a -> m a