GHC.Utils.Monad.Codensity

Documentation

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

Constructors

Codensity

Fields

• runCodensity :: forall r. (a -> m r) -> m r

Instances

MonadTrans Codensity

Defined in GHC.Utils.Monad.Codensity

Methods

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

MonadIO m => MonadFix (Codensity m)

Defined in GHC.Utils.Monad.Codensity

Methods

mfix :: (a -> Codensity m a) -> Codensity m a

MonadIO m => MonadIO (Codensity m)

Defined in GHC.Utils.Monad.Codensity

Methods

liftIO :: IO a -> Codensity m a

Applicative (Codensity f)

Defined in GHC.Utils.Monad.Codensity

Methods

pure :: a -> Codensity f a

(<*>) :: Codensity f (a -> b) -> Codensity f a -> Codensity f b

liftA2 :: (a -> b -> c) -> Codensity f a -> Codensity f b -> Codensity f c

(*>) :: Codensity f a -> Codensity f b -> Codensity f b

(<*) :: Codensity f a -> Codensity f b -> Codensity f a

Functor (Codensity k)

Defined in GHC.Utils.Monad.Codensity

Methods

fmap :: (a -> b) -> Codensity k a -> Codensity k b

(<$) :: a -> Codensity k b -> Codensity k a

Monad (Codensity f)

Defined in GHC.Utils.Monad.Codensity

Methods

(>>=) :: Codensity f a -> (a -> Codensity f b) -> Codensity f b

(>>) :: Codensity f a -> Codensity f b -> Codensity f b

return :: a -> Codensity f a

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

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