Control.Monad.Factory.Class

Description

Synopsis

class (Monad m, Monad n) => MonadFactory env n m | m -> env n where
- getEnv :: m env
- putEnv :: env -> m ()
- produce :: n component -> (component -> n ()) -> m component
defer :: MonadFactory env n m => n () -> m ()
asksEnv :: MonadFactory env n m => (env -> a) -> m a
withEnv :: MonadFactory env n m => (env -> m env) -> m ()
modifyEnv :: MonadFactory env n m => (env -> env) -> m ()
runEnv :: MonadFactory env n m => m c -> m (env, c)

Documentation

class (Monad m, Monad n) => MonadFactory env n m | m -> env n where Source #

Monads which allow to produce component under env, and env can be changed by this procedure.

Methods

Return the environment of the monad.

putEnv :: env -> m () Source #

Replace the environment inside the monad.

Arguments

Produce a resource component, with open and close.

Instances

MonadMask m => MonadFactory env m (Factory m env) Source #
Instance details Defined in Control.Monad.Factory Methods getEnv :: Factory m env env Source # putEnv :: env -> Factory m env () Source # produce :: m component -> (component -> m ()) -> Factory m env component Source #

defer :: MonadFactory env n m => n () -> m () Source #

Defer to run side effect when closeing resource.

asksEnv :: MonadFactory env n m => (env -> a) -> m a Source #

Asks sub value of env.

withEnv :: MonadFactory env n m => (env -> m env) -> m () Source #

Change environment env.

modifyEnv :: MonadFactory env n m => (env -> env) -> m () Source #

Modify environment env.

runEnv :: MonadFactory env n m => m c -> m (env, c) Source #

Run factory, return component c and updated environment env.