Safe Haskell | None |
---|---|
Language | GHC2021 |
Documentation
newtype Codensity (m :: Type -> Type) a Source #
Codensity | |
|
Instances
MonadTrans Codensity Source # | |
Applicative (Codensity f) Source # | |
Defined in GHC.Utils.Monad.Codensity | |
Functor (Codensity k) Source # | |
Monad (Codensity f) Source # | |
MonadIO m => MonadFix (Codensity m) Source # | |
Defined in GHC.Utils.Monad.Codensity | |
MonadIO m => MonadIO (Codensity m) Source # | |
Defined in GHC.Utils.Monad.Codensity |
toCodensity :: Monad m => m a -> Codensity m a Source #
fromCodensity :: Monad m => Codensity m a -> m a Source #