Modulemonad-control-1.0.3.1

Control.Monad.Trans.Control

6 types
2 classes
17 values

Packagemonad-control-1.0.3.1
Exports25
LicenceBSD-3-Clause

valuecaptureM :: MonadBaseControl b m => m (StM m ())

valuecaptureT :: (MonadTransControl t, Monad (t m), Monad m) => t m (StT t ())

valuecontrol :: MonadBaseControl b m => (RunInBase m b -> b (StM m a)) -> m a

valuecontrolT

:: (MonadTransControl t, Monad (t m), Monad m)
=> Run t -> m (StT t a)
-> t m a

valuedefaultLiftBaseWith

:: (MonadTransControl t, MonadBaseControl b m)
=> RunInBaseDefault t m b -> b a
-> t m a

valuedefaultLiftWith

:: (Monad m, MonadTransControl n)
=> forall b. n m b -> t m b
-> forall (o :: Type -> Type) b. t o b -> n o b
-> RunDefault t n -> m a
-> t m a

valuedefaultLiftWith2

:: (Monad m, Monad (n' m), MonadTransControl n, MonadTransControl n')
=> forall b. n (n' m) b -> t m b
-> forall (o :: Type -> Type) b. t o b -> n (n' o) b
-> RunDefault2 t n n' -> m a
-> t m a

valuedefaultRestoreM

:: (MonadTransControl t, MonadBaseControl b m)
=> ComposeSt t m a
-> t m a

valuedefaultRestoreT

:: (Monad m, MonadTransControl n)
=> n m a -> t m a
-> m (StT n a)
-> t m a

valuedefaultRestoreT2

:: (Monad m, Monad (n' m), MonadTransControl n, MonadTransControl n')
=> n (n' m) a -> t m a
-> m (StT n' (StT n a))
-> t m a

valueembed :: MonadBaseControl b m => (a -> m c) -> m (a -> b (StM m c))

valueembed_ :: MonadBaseControl b m => (a -> m ()) -> m (a -> b ())

valueliftBaseDiscard :: MonadBaseControl b m => (b () -> b a) -> m () -> m a

valueliftBaseOp

:: MonadBaseControl b m
=> (a -> b (StM m c)) -> b (StM m d)
-> a -> m c
-> m d

valueliftBaseOpDiscard

:: MonadBaseControl b m
=> (a -> b ()) -> b c
-> a -> m ()
-> m c

valueliftBaseOp_

:: MonadBaseControl b m
=> b (StM m a) -> b (StM m c)
-> m a
-> m c

valueliftThrough

:: (MonadTransControl t, Monad (t m), Monad m)
=> m (StT t a) -> m (StT t b)
-> t m a
-> t m b

typetype ComposeSt (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a = StM m (StT t a)

classclass MonadBase b m => MonadBaseControl (b :: Type -> Type) (m :: Type -> Type) | m -> b where

Associated types

type family StM (m :: Type -> Type) a

Methods

liftBaseWith :: (RunInBase m b -> b a) -> m a
restoreM :: StM m a -> m a

Instances19MonadBaseControl, …

MonadBaseControl Identity IdentityDefined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl Maybe MaybeDefined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl STM STMDefined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl IO IODefined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl [] []Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl b m => MonadBaseControl b (MaybeT m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl b m => MonadBaseControl b (ExceptT e m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl b m => MonadBaseControl b (IdentityT m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl b m => MonadBaseControl b (ReaderT r m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl b m => MonadBaseControl b (StateT s m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl b m => MonadBaseControl b (StateT s m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
(Monoid w, MonadBaseControl b m) => MonadBaseControl b (WriterT w m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
(Monoid w, MonadBaseControl b m) => MonadBaseControl b (WriterT w m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
(Monoid w, MonadBaseControl b m) => MonadBaseControl b (RWST r w s m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
(Monoid w, MonadBaseControl b m) => MonadBaseControl b (RWST r w s m)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl (ST s) (ST s)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl (Either e) (Either e)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl (ST s) (ST s)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadBaseControl ((->) r) ((->) r)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control

classclass MonadTrans t => MonadTransControl (t :: (Type -> Type) -> Type -> Type) where

Associated types

type family StT (t :: (Type -> Type) -> Type -> Type) a

Methods

liftWith :: Monad m => (Run t -> m a) -> t m a
restoreT :: Monad m => m (StT t a) -> t m a

Instances10MonadTransControl, …

MonadTransControl MaybeTDefined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
Monoid w => MonadTransControl (WriterT w)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
Monoid w => MonadTransControl (WriterT w)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadTransControl IdentityTDefined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadTransControl (ExceptT e)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadTransControl (ReaderT r)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadTransControl (StateT s)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
MonadTransControl (StateT s)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
Monoid w => MonadTransControl (RWST r w s)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control
Monoid w => MonadTransControl (RWST r w s)Defined in monad-control-1.0.3.1 · Control.Monad.Trans.Control

typetype Run (t :: (Type -> Type) -> Type -> Type) = forall (n :: Type -> Type) b. Monad n => t n b -> n (StT t b)

type

type RunDefault (t :: (Type -> Type) -> Type -> Type) (t' :: (Type -> Type) -> Type -> Type) = forall (n :: Type -> Type) b. Monad n => t n b -> n (StT t' b)

type

type RunDefault2 (t :: (Type -> Type) -> Type -> Type) (n :: (Type -> Type) -> Type -> Type) (n' :: (Type -> Type) -> Type -> Type) = forall (m :: Type -> Type) b. (Monad m, Monad (n' m)) => t m b -> m (StT n' (StT n b))

typetype RunInBase (m :: Type -> Type) (b :: Type -> Type) = forall a. m a -> b (StM m a)

type

type RunInBaseDefault (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) (b :: Type -> Type) = forall a. t m a -> b (ComposeSt t m a)