Control.Monad.Runnable

Documentation

class Monad m => Runnable m where

A class of monads that have a run function.

The runMonad function gives the result inside of IO. The only reason for this is to allow an instance for IO to be written. Other instances do not perform any aditional IO.

Instances for Identity, IO and (Runnable m, RunnableTrans t, Monad (t m)) => Runnable (t m) are given so users should only provide additional RunnableTrans instances instead of Runnable ones.

Minimal complete definition

currentMonadicState, restoreMonadicState

Associated Types

type MonadicState m :: *

The type of value that needs to be provided to run this monad.

type MonadicResult m a :: *

The type of the result you get when you run this monad.

Methods

currentMonadicState :: m (MonadicState m)

Get the current state value.

restoreMonadicState :: MonadicResult m a -> m a

If given a result, reconstruct a monadic compitation.

runMonad :: MonadicState m -> m a -> IO (MonadicResult m a)

Given the required state value and a computation, run the computation up to the IO effect. This should effectively run each layer in the transformer stack. The MonadicState should hold all the needed information to do so.

A more formal description of what it means to run a transformer is given for the runTransformer function.

runMonad :: PureRunnable m => MonadicState m -> m a -> IO (MonadicResult m a)

Given the required state value and a computation, run the computation up to the IO effect. This should effectively run each layer in the transformer stack. The MonadicState should hold all the needed information to do so.

A more formal description of what it means to run a transformer is given for the runTransformer function.

Instances

Runnable IO

Associated Types

type MonadicState (IO :: * -> *) :: *

type MonadicResult (IO :: * -> *) a :: *

Methods

currentMonadicState :: IO (MonadicState IO)

restoreMonadicState :: MonadicResult IO a -> IO a

runMonad :: MonadicState IO -> IO a -> IO (MonadicResult IO a)

Runnable Identity

Associated Types

type MonadicState (Identity :: * -> *) :: *

type MonadicResult (Identity :: * -> *) a :: *

Methods

currentMonadicState :: Identity (MonadicState Identity)

restoreMonadicState :: MonadicResult Identity a -> Identity a

runMonad :: MonadicState Identity -> Identity a -> IO (MonadicResult Identity a)

(Runnable m, RunnableTrans t, Monad (t m)) => Runnable (t m)

Associated Types

type MonadicState (t m :: * -> *) :: *

type MonadicResult (t m :: * -> *) a :: *

Methods

currentMonadicState :: t m (MonadicState (t m))

restoreMonadicState :: MonadicResult (t m) a -> t m a

runMonad :: MonadicState (t m) -> t m a -> IO (MonadicResult (t m) a)

class Runnable m => PureRunnable m where

Minimal complete definition

runPureMonad

Methods

runPureMonad :: MonadicState m -> m a -> MonadicResult m a

Instances

PureRunnable Identity

Methods

runPureMonad :: MonadicState Identity -> Identity a -> MonadicResult Identity a

(PureRunnable m, RunnableTrans t, Monad (t m)) => PureRunnable (t m)

Methods

runPureMonad :: MonadicState (t m) -> t m a -> MonadicResult (t m) a

class MonadTrans t => RunnableTrans t where

A class of transformers that can run their effects in the underlying monad.

The following laws need to hold:

1

Running a computation that only uses the effects of the transformer (represented here by stating that the computation is polymorphic in the underlying monad) using the current state, and then restoring the result is the same as doing nothing.

t :: forall m. Monad m => t m a
t == (currentTransState >>= lift . runTransformer t >>= restoreTransState)

2

Running a computation that only uses the effects of the underlying monad (represented here by stating that the computation is polymorphic in the transformer) using any state, and then restoring the result is the same as doing nothing.

t :: forall t. MonadTrans t => t m a -> t m a
t == (lift (runTransformer t s) >>= restoreTransState)

Minimal complete definition

currentTransState, restoreTransState, runTransformer

Associated Types

type TransformerState t (m :: * -> *) :: *

The type of value that needs to be provided to run this transformer.

type TransformerResult t a :: *

The type of the result you get when you run this transformer.

Methods

currentTransState :: Monad m => t m (TransformerState t m)

Get the current state value.

restoreTransState :: Monad m => TransformerResult t a -> t m a

Given a result, interpret it as a computation. This restores the state of the transformer.

runTransformer :: Monad m => t m a -> TransformerState t m -> m (TransformerResult t a)

Given the required state value and a computation, run the effects of the transformer in the underlying monad.

Instances

RunnableTrans MaybeT

Associated Types

type TransformerState (MaybeT :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (MaybeT :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => MaybeT m (TransformerState MaybeT m)

restoreTransState :: Monad m => TransformerResult MaybeT a -> MaybeT m a

runTransformer :: Monad m => MaybeT m a -> TransformerState MaybeT m -> m (TransformerResult MaybeT a)

RunnableTrans ListT

Associated Types

type TransformerState (ListT :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (ListT :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => ListT m (TransformerState ListT m)

restoreTransState :: Monad m => TransformerResult ListT a -> ListT m a

runTransformer :: Monad m => ListT m a -> TransformerState ListT m -> m (TransformerResult ListT a)

RunnableTrans (ExceptT e)

Associated Types

type TransformerState (ExceptT e :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (ExceptT e :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => ExceptT e m (TransformerState (ExceptT e) m)

restoreTransState :: Monad m => TransformerResult (ExceptT e) a -> ExceptT e m a

runTransformer :: Monad m => ExceptT e m a -> TransformerState (ExceptT e) m -> m (TransformerResult (ExceptT e) a)

Monoid s => RunnableTrans (WriterT s)

Associated Types

type TransformerState (WriterT s :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (WriterT s :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => WriterT s m (TransformerState (WriterT s) m)

restoreTransState :: Monad m => TransformerResult (WriterT s) a -> WriterT s m a

runTransformer :: Monad m => WriterT s m a -> TransformerState (WriterT s) m -> m (TransformerResult (WriterT s) a)

RunnableTrans (StateT s)

Associated Types

type TransformerState (StateT s :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (StateT s :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => StateT s m (TransformerState (StateT s) m)

restoreTransState :: Monad m => TransformerResult (StateT s) a -> StateT s m a

runTransformer :: Monad m => StateT s m a -> TransformerState (StateT s) m -> m (TransformerResult (StateT s) a)

Error e => RunnableTrans (ErrorT e)

Associated Types

type TransformerState (ErrorT e :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (ErrorT e :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => ErrorT e m (TransformerState (ErrorT e) m)

restoreTransState :: Monad m => TransformerResult (ErrorT e) a -> ErrorT e m a

runTransformer :: Monad m => ErrorT e m a -> TransformerState (ErrorT e) m -> m (TransformerResult (ErrorT e) a)

RunnableTrans (IdentityT *)

Associated Types

type TransformerState (IdentityT * :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (IdentityT * :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => IdentityT * m (TransformerState (IdentityT *) m)

restoreTransState :: Monad m => TransformerResult (IdentityT *) a -> IdentityT * m a

runTransformer :: Monad m => IdentityT * m a -> TransformerState (IdentityT *) m -> m (TransformerResult (IdentityT *) a)

RunnableTrans (StateT s)

Associated Types

type TransformerState (StateT s :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (StateT s :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => StateT s m (TransformerState (StateT s) m)

restoreTransState :: Monad m => TransformerResult (StateT s) a -> StateT s m a

runTransformer :: Monad m => StateT s m a -> TransformerState (StateT s) m -> m (TransformerResult (StateT s) a)

Monoid s => RunnableTrans (WriterT s)

Associated Types

type TransformerState (WriterT s :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (WriterT s :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => WriterT s m (TransformerState (WriterT s) m)

restoreTransState :: Monad m => TransformerResult (WriterT s) a -> WriterT s m a

runTransformer :: Monad m => WriterT s m a -> TransformerState (WriterT s) m -> m (TransformerResult (WriterT s) a)

RunnableTrans (RuntimeImplemented e)

Associated Types

type TransformerState (RuntimeImplemented e :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (RuntimeImplemented e :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => RuntimeImplemented e m (TransformerState (RuntimeImplemented e) m)

restoreTransState :: Monad m => TransformerResult (RuntimeImplemented e) a -> RuntimeImplemented e m a

runTransformer :: Monad m => RuntimeImplemented e m a -> TransformerState (RuntimeImplemented e) m -> m (TransformerResult (RuntimeImplemented e) a)

RunnableTrans (ReaderT * s)

Associated Types

type TransformerState (ReaderT * s :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (ReaderT * s :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => ReaderT * s m (TransformerState (ReaderT * s) m)

restoreTransState :: Monad m => TransformerResult (ReaderT * s) a -> ReaderT * s m a

runTransformer :: Monad m => ReaderT * s m a -> TransformerState (ReaderT * s) m -> m (TransformerResult (ReaderT * s) a)

Monoid w => RunnableTrans (RWST r w s)

Associated Types

type TransformerState (RWST r w s :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (RWST r w s :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => RWST r w s m (TransformerState (RWST r w s) m)

restoreTransState :: Monad m => TransformerResult (RWST r w s) a -> RWST r w s m a

runTransformer :: Monad m => RWST r w s m a -> TransformerState (RWST r w s) m -> m (TransformerResult (RWST r w s) a)

Monoid w => RunnableTrans (RWST r w s)

Associated Types

type TransformerState (RWST r w s :: (* -> *) -> * -> *) (m :: * -> *) :: *

type TransformerResult (RWST r w s :: (* -> *) -> * -> *) a :: *

Methods

currentTransState :: Monad m => RWST r w s m (TransformerState (RWST r w s) m)

restoreTransState :: Monad m => TransformerResult (RWST r w s) a -> RWST r w s m a

runTransformer :: Monad m => RWST r w s m a -> TransformerState (RWST r w s) m -> m (TransformerResult (RWST r w s) a)