Control.Monad.Ology.General.Trans.Unlift

Documentation

class (MonadTransTunnel t, TransConstraint MonadFail t, TransConstraint MonadIO t, TransConstraint MonadFix t, TransConstraint Monad t, MonadExtract (Tunnel t)) => MonadTransUnlift t where

Minimal complete definition

liftWithUnlift

Methods

liftWithUnlift :: forall m r. MonadIO m => (Unlift MonadTunnelIO t -> m r) -> t m r

Lift with an unlifting function that accounts for the transformer's effects (using MVars where necessary).

getDiscardingUnlift :: forall m. Monad m => t m (WUnlift MonadTunnelIO t)

Return an unlifting function that discards the transformer's effects (such as state change or output).

Instances

MonadOuter outer => MonadTransUnlift (ComposeOuter outer)

Defined in Control.Monad.Ology.General.Trans.Unlift

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO (ComposeOuter outer) -> m r) -> ComposeOuter outer m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => ComposeOuter outer m (WUnlift MonadTunnelIO (ComposeOuter outer))

MonadTransUnlift (LifecycleT :: (Type -> Type) -> Type -> TYPE LiftedRep)

Defined in Control.Monad.Ology.Specific.LifecycleT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO LifecycleT -> m r) -> LifecycleT m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => LifecycleT m (WUnlift MonadTunnelIO LifecycleT)

MonadTransStackUnlift tt => MonadTransUnlift (StackT tt)

Defined in Control.Monad.Ology.Specific.StackT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO (StackT tt) -> m r) -> StackT tt m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => StackT tt m (WUnlift MonadTunnelIO (StackT tt))

MonadTransUnlift (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO IdentityT -> m r) -> IdentityT m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift MonadTunnelIO IdentityT)

MonadTransUnlift (ReaderT r)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO (ReaderT r) -> m r0) -> ReaderT r m r0

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => ReaderT r m (WUnlift MonadTunnelIO (ReaderT r))

MonadTransUnlift (StateT s)

Defined in Control.Monad.Ology.Specific.StateT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO (StateT s) -> m r) -> StateT s m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => StateT s m (WUnlift MonadTunnelIO (StateT s))

Monoid w => MonadTransUnlift (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO (WriterT w) -> m r) -> WriterT w m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => WriterT w m (WUnlift MonadTunnelIO (WriterT w))

(MonadTransUnlift outerT, MonadTransUnlift innerT) => MonadTransUnlift (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

liftWithUnlift :: MonadIO m => (Unlift MonadTunnelIO (ComposeT outerT innerT) -> m r) -> ComposeT outerT innerT m r

getDiscardingUnlift :: forall (m :: Type -> Type). Monad m => ComposeT outerT innerT m (WUnlift MonadTunnelIO (ComposeT outerT innerT))

toDiscardingUnlift :: forall t. MonadTransUnlift t => Unlift MonadUnliftIO t -> Unlift MonadUnliftIO t

wLiftWithUnlift :: forall t m. (MonadTransUnlift t, MonadTunnelIO m) => WBackraised m (t m)

composeUnliftRaised :: (MonadTransUnlift t, MonadUnliftIO m) => Unlift Functor t -> (m --> n) -> t m --> n

composeUnliftRaisedCommute :: (MonadTransUnlift t, MonadUnliftIO m, MonadUnliftIO n) => Unlift Functor t -> (m --> n) -> t m --> n

class (MonadFail m, MonadIO m, MonadFix m, MonadTunnelIO m, MonadExtract (TunnelIO m)) => MonadUnliftIO m where

Minimal complete definition

liftIOWithUnlift

Methods

liftIOWithUnlift :: IO -/-> m

Lift with an unlifting function that accounts for the effects over IO.

getDiscardingIOUnlift :: m (WRaised m IO)

Return an unlifting function that discards the effects over IO.

Instances

MonadUnliftIO IO

Defined in Control.Monad.Ology.General.Trans.Unlift

Methods

liftIOWithUnlift :: IO -/-> IO

getDiscardingIOUnlift :: IO (WRaised IO IO)

MonadTransUnlift t => TransConstraint MonadUnliftIO t

Defined in Control.Monad.Ology.General.Trans.Unlift

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadUnliftIO m => Dict (MonadUnliftIO (t m))

(MonadTransUnlift t, MonadUnliftIO m, MonadFail (t m), MonadIO (t m), MonadFix (t m)) => MonadUnliftIO (t m)

Defined in Control.Monad.Ology.General.Trans.Unlift

Methods

liftIOWithUnlift :: IO -/-> t m

getDiscardingIOUnlift :: t m (WRaised (t m) IO)

wLiftIOWithUnlift :: MonadUnliftIO m => WBackraised IO m

monoHoist :: forall (t :: TransKind) ma mb a b. (MonadTransUnlift t, MonadTunnelIO ma, MonadIO mb) => (ma a -> mb b) -> t ma a -> t mb b