Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (MonadTransTunnel t, TransConstraint MonadFail t, TransConstraint MonadIO t, TransConstraint MonadFix t, TransConstraint Monad t, MonadExtract (Tunnel t)) => MonadTransUnlift t where Source #
liftWithUnlift :: forall m r. MonadIO m => (Unlift MonadTunnelIO t -> m r) -> t m r Source #
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) Source #
Return an unlifting function that discards the transformer's effects (such as state change or output).
Instances
toDiscardingUnlift :: forall t. MonadTransUnlift t => Unlift MonadUnliftIO t -> Unlift MonadUnliftIO t Source #
wLiftWithUnlift :: forall t m. (MonadTransUnlift t, MonadTunnelIO m) => WBackraised m (t m) Source #
composeUnliftRaised :: (MonadTransUnlift t, MonadUnliftIO m) => Unlift Functor t -> (m --> n) -> t m --> n Source #
composeUnliftRaisedCommute :: (MonadTransUnlift t, MonadUnliftIO m, MonadUnliftIO n) => Unlift Functor t -> (m --> n) -> t m --> n Source #
class (MonadFail m, MonadIO m, MonadFix m, MonadTunnelIO m, MonadExtract (TunnelIO m)) => MonadUnliftIO m where Source #
liftIOWithUnlift :: IO -/-> m Source #
Lift with an unlifting function that accounts for the effects over IO
.
getDiscardingIOUnlift :: m (WRaised m IO) Source #
Return an unlifting function that discards the effects over IO
.
Instances
MonadUnliftIO IO Source # | |
Defined in Control.Monad.Ology.General.Trans.Unlift | |
MonadTransUnlift t => TransConstraint MonadUnliftIO t Source # | |
Defined in Control.Monad.Ology.General.Trans.Unlift hasTransConstraint :: forall (m :: Type -> Type). MonadUnliftIO m => Dict (MonadUnliftIO (t m)) Source # | |
(MonadTransUnlift t, MonadUnliftIO m, MonadFail (t m), MonadIO (t m), MonadFix (t m)) => MonadUnliftIO (t m) Source # | |
Defined in Control.Monad.Ology.General.Trans.Unlift liftIOWithUnlift :: IO -/-> t m Source # getDiscardingIOUnlift :: t m (WRaised (t m) IO) Source # |
wLiftIOWithUnlift :: MonadUnliftIO m => WBackraised IO m Source #
monoHoist :: forall (t :: TransKind) ma mb a b. (MonadTransUnlift t, MonadTunnelIO ma, MonadIO mb) => (ma a -> mb b) -> t ma a -> t mb b Source #