Control.Monad.Base.Control

Documentation

class (Basic1 m, Monad m, Monad (Base m)) => MonadBaseControl m where

Minimal complete definition

liftBaseWith, restoreM

Associated Types

type StM m a

Methods

liftBaseWith :: (RunInBase m -> Base m a) -> m a

restoreM :: StM m a -> m a

Instances

MonadBaseControl []

Defined in Control.Monad.Base.Control

Associated Types

type StM [] a :: *

Methods

liftBaseWith :: (RunInBase [] -> Base [] a) -> [a]

restoreM :: StM [] a -> [a]

MonadBaseControl Maybe

Defined in Control.Monad.Base.Control

Associated Types

type StM Maybe a :: *

Methods

liftBaseWith :: (RunInBase Maybe -> Base Maybe a) -> Maybe a

restoreM :: StM Maybe a -> Maybe a

MonadBaseControl IO

Defined in Control.Monad.Base.Control

Associated Types

type StM IO a :: *

Methods

liftBaseWith :: (RunInBase IO -> Base IO a) -> IO a

restoreM :: StM IO a -> IO a

MonadBaseControl Identity

Defined in Control.Monad.Base.Control

Associated Types

type StM Identity a :: *

Methods

liftBaseWith :: (RunInBase Identity -> Base Identity a) -> Identity a

restoreM :: StM Identity a -> Identity a

MonadBaseControl STM

Defined in Control.Monad.Base.Control

Associated Types

type StM STM a :: *

Methods

liftBaseWith :: (RunInBase STM -> Base STM a) -> STM a

restoreM :: StM STM a -> STM a

MonadBaseControl ReadPrec

Defined in Control.Monad.Base.Control

Associated Types

type StM ReadPrec a :: *

Methods

liftBaseWith :: (RunInBase ReadPrec -> Base ReadPrec a) -> ReadPrec a

restoreM :: StM ReadPrec a -> ReadPrec a

MonadBaseControl ReadP

Defined in Control.Monad.Base.Control

Associated Types

type StM ReadP a :: *

Methods

liftBaseWith :: (RunInBase ReadP -> Base ReadP a) -> ReadP a

restoreM :: StM ReadP a -> ReadP a

MonadBaseControl NonEmpty

Defined in Control.Monad.Base.Control

Associated Types

type StM NonEmpty a :: *

Methods

liftBaseWith :: (RunInBase NonEmpty -> Base NonEmpty a) -> NonEmpty a

restoreM :: StM NonEmpty a -> NonEmpty a

MonadBaseControl (Either a)

Defined in Control.Monad.Base.Control

Associated Types

type StM (Either a) a :: *

Methods

liftBaseWith :: (RunInBase (Either a) -> Base (Either a) a0) -> Either a a0

restoreM :: StM (Either a) a0 -> Either a a0

Monoid a => MonadBaseControl ((,) a)

Defined in Control.Monad.Base.Control

Associated Types

type StM ((,) a) a :: *

Methods

liftBaseWith :: (RunInBase ((,) a) -> Base ((,) a) a0) -> (a, a0)

restoreM :: StM ((,) a) a0 -> (a, a0)

MonadBaseControl (ST a)

Defined in Control.Monad.Base.Control

Associated Types

type StM (ST a) a :: *

Methods

liftBaseWith :: (RunInBase (ST a) -> Base (ST a) a0) -> ST a a0

restoreM :: StM (ST a) a0 -> ST a a0

MonadBaseControl (ST a)

Defined in Control.Monad.Base.Control

Associated Types

type StM (ST a) a :: *

Methods

liftBaseWith :: (RunInBase (ST a) -> Base (ST a) a0) -> ST a a0

restoreM :: StM (ST a) a0 -> ST a a0

MonadBaseControl (Proxy :: * -> *)

Defined in Control.Monad.Base.Control

Associated Types

type StM Proxy a :: *

Methods

liftBaseWith :: (RunInBase Proxy -> Base Proxy a) -> Proxy a

restoreM :: StM Proxy a -> Proxy a

MonadBaseControl f => MonadBaseControl (MaybeT f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (MaybeT f) a :: *

Methods

liftBaseWith :: (RunInBase (MaybeT f) -> Base (MaybeT f) a) -> MaybeT f a

restoreM :: StM (MaybeT f) a -> MaybeT f a

(MonadBaseControl f, Monoid a) => MonadBaseControl (WriterT a f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (WriterT a f) a :: *

Methods

liftBaseWith :: (RunInBase (WriterT a f) -> Base (WriterT a f) a0) -> WriterT a f a0

restoreM :: StM (WriterT a f) a0 -> WriterT a f a0

(MonadBaseControl f, Monoid a) => MonadBaseControl (AccumT a f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (AccumT a f) a :: *

Methods

liftBaseWith :: (RunInBase (AccumT a f) -> Base (AccumT a f) a0) -> AccumT a f a0

restoreM :: StM (AccumT a f) a0 -> AccumT a f a0

(MonadBaseControl f, Monoid a) => MonadBaseControl (WriterT a f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (WriterT a f) a :: *

Methods

liftBaseWith :: (RunInBase (WriterT a f) -> Base (WriterT a f) a0) -> WriterT a f a0

restoreM :: StM (WriterT a f) a0 -> WriterT a f a0

MonadBaseControl f => MonadBaseControl (StateT a f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (StateT a f) a :: *

Methods

liftBaseWith :: (RunInBase (StateT a f) -> Base (StateT a f) a0) -> StateT a f a0

restoreM :: StM (StateT a f) a0 -> StateT a f a0

MonadBaseControl f => MonadBaseControl (StateT a f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (StateT a f) a :: *

Methods

liftBaseWith :: (RunInBase (StateT a f) -> Base (StateT a f) a0) -> StateT a f a0

restoreM :: StM (StateT a f) a0 -> StateT a f a0

MonadBaseControl f => MonadBaseControl (IdentityT f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (IdentityT f) a :: *

Methods

liftBaseWith :: (RunInBase (IdentityT f) -> Base (IdentityT f) a) -> IdentityT f a

restoreM :: StM (IdentityT f) a -> IdentityT f a

MonadBaseControl f => MonadBaseControl (ExceptT a f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (ExceptT a f) a :: *

Methods

liftBaseWith :: (RunInBase (ExceptT a f) -> Base (ExceptT a f) a0) -> ExceptT a f a0

restoreM :: StM (ExceptT a f) a0 -> ExceptT a f a0

MonadBaseControl ((->) a :: * -> *)

Defined in Control.Monad.Base.Control

Associated Types

type StM ((->) a) a :: *

Methods

liftBaseWith :: (RunInBase ((->) a) -> Base ((->) a) a0) -> a -> a0

restoreM :: StM ((->) a) a0 -> a -> a0

MonadBaseControl f => MonadBaseControl (ReaderT a f)

Defined in Control.Monad.Base.Control

Associated Types

type StM (ReaderT a f) a :: *

Methods

liftBaseWith :: (RunInBase (ReaderT a f) -> Base (ReaderT a f) a0) -> ReaderT a f a0

restoreM :: StM (ReaderT a f) a0 -> ReaderT a f a0

type RunInBase m = forall a. m a -> Base m (StM m a)

newtype ComposeSt t m a

Constructors

ComposeSt

Fields

• unComposeSt :: StM m (StT t a)

type RunInBaseDefault t m = forall a. t m a -> Base m (ComposeSt t m a)

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

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

control :: MonadBaseControl m => (RunInBase m -> Base m (StM m a)) -> m a

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

liftBaseOp_ :: MonadBaseControl m => (Base m (StM m a) -> Base m (StM m b)) -> m a -> m b

liftBaseDiscard :: MonadBaseControl m => (Base m () -> Base m a) -> m () -> m a

liftBaseOpDiscard :: MonadBaseControl m => ((a -> Base m ()) -> Base m b) -> (a -> m ()) -> m b