Control.Monad.Script

Script is an unrolled stack of reader, writer, state, error, and prompt monads, meant as a basis for building more specific DSLs. Also comes in monad transformer flavor with ScriptT.

The addition of prompt to the monad team makes it straightforward to build effectful computations which defer the actual effects (and effect types) to an evaluator function that is both precisely controlled and easily extended. This allows us to build testable and composable API layers.

The name Script is meant to evoke the script of a play. In the theater sense a script is not a list of instructions so much as a list of suggestions, and every cast gives a unique interpretation. Similarly a Script is a pure value that gets an effectful interpretation from a user-supplied evaluator.

Script

type Script e r w s p = ScriptT e r w s p Identity

Opaque stack of error (e), reader (r), writer (w), state (s), and prompt (p) monads.

execScript

Arguments

:: s

Initial state

-> r

Environment

-> (forall u. p u -> u)

Pure evaluator

-> Script e r w s p t

-> (Either e t, s, w)

Execute a Script with a specified initial state and environment, and with a pure evaluator.

execScriptM

Arguments

:: Monad eff

=> s

Initial state

-> r

Environment

-> (forall u. p u -> eff u)

Monadic evaluator

-> Script e r w s p t

-> eff (Either e t, s, w)

Execute a Script with a specified inital state and environment, and with a monadic evaluator.

ScriptT

data ScriptT e r w s p m a

Opaque transformer stack of error (e), reader (r), writer (w), state (s), and prompt (p) monads.

Instances

Monoid w => Monad (ScriptT e r w s p m)

Defined in Control.Monad.Script

Methods

(>>=) :: ScriptT e r w s p m a -> (a -> ScriptT e r w s p m b) -> ScriptT e r w s p m b

(>>) :: ScriptT e r w s p m a -> ScriptT e r w s p m b -> ScriptT e r w s p m b

return :: a -> ScriptT e r w s p m a

fail :: String -> ScriptT e r w s p m a

Monoid w => Functor (ScriptT e r w s p m)

Defined in Control.Monad.Script

Methods

fmap :: (a -> b) -> ScriptT e r w s p m a -> ScriptT e r w s p m b

(<$) :: a -> ScriptT e r w s p m b -> ScriptT e r w s p m a

Monoid w => Applicative (ScriptT e r w s p m)

Defined in Control.Monad.Script

Methods

pure :: a -> ScriptT e r w s p m a

(<*>) :: ScriptT e r w s p m (a -> b) -> ScriptT e r w s p m a -> ScriptT e r w s p m b

liftA2 :: (a -> b -> c) -> ScriptT e r w s p m a -> ScriptT e r w s p m b -> ScriptT e r w s p m c

(*>) :: ScriptT e r w s p m a -> ScriptT e r w s p m b -> ScriptT e r w s p m b

(<*) :: ScriptT e r w s p m a -> ScriptT e r w s p m b -> ScriptT e r w s p m a

Show (ScriptT e r w s p m a)

Defined in Control.Monad.Script

Methods

showsPrec :: Int -> ScriptT e r w s p m a -> ShowS

show :: ScriptT e r w s p m a -> String

showList :: [ScriptT e r w s p m a] -> ShowS

(Monad m, Monoid w, Arbitrary a, CoArbitrary a) => Arbitrary (ScriptT e r w s p m a)

Defined in Control.Monad.Script

Methods

arbitrary :: Gen (ScriptT e r w s p m a)

shrink :: ScriptT e r w s p m a -> [ScriptT e r w s p m a]

execScriptT

Arguments

:: Monad m

=> s

Initial state

-> r

Environment

-> (forall u. p u -> u)

Pure effect evaluator

-> ScriptT e r w s p m t

-> m (Either e t, s, w)

Execute a ScriptT with a specified initial state and environment, and with a pure evaluator.

execScriptTM

Arguments

:: (Monad (m eff), Monad eff)

=> s

Initial state

-> r

Environment

-> (forall u. p u -> eff u)

Monadic effect evaluator

-> (forall u. eff u -> m eff u)

Lift effects to the inner monad

-> ScriptT e r w s p (m eff) t

-> m eff (Either e t, s, w)

Execute a ScriptT with a specified inital state and environment, and with a monadic evaluator. In this case the inner monad m will typically be a monad transformer over the effect monad n.

lift :: (Monoid w, Monad m) => m a -> ScriptT e r w s p m a

Lift a computation in the base monad.

Error

except :: Monoid w => Either e a -> ScriptT e r w s p m a

Inject an Either into a Script.

triage :: Monoid w => (e1 -> e2) -> ScriptT e1 r w s p m a -> ScriptT e2 r w s p m a

Run an action, applying a function to any error.

throw :: Monoid w => e -> ScriptT e r w s p m a

Raise an error.

catch :: Monoid w => ScriptT e r w s p m a -> (e -> ScriptT e r w s p m a) -> ScriptT e r w s p m a

Run an action, applying a handler in case of an error result.

Reader

ask :: Monoid w => ScriptT e r w s p m r

Retrieve the environment.

local :: (r -> r) -> ScriptT e r w s p m a -> ScriptT e r w s p m a

Run an action with a locally adjusted environment of the same type.

transport :: (r2 -> r1) -> ScriptT e r1 w s p m a -> ScriptT e r2 w s p m a

Run an action with a locally adjusted environment of a possibly different type.

reader :: Monoid w => (r -> a) -> ScriptT e r w s p m a

Retrieve the image of the environment under a given function.

Writer

tell :: w -> ScriptT e r w s p m ()

Write to the log.

draft :: Monoid w => ScriptT e r w s p m a -> ScriptT e r w s p m (a, w)

Run an action and attach the log to the result, setting the log to mempty.

listen :: ScriptT e r w s p m a -> ScriptT e r w s p m (a, w)

Run an action and attach the log to the result.

pass :: ScriptT e r w s p m (a, w -> w) -> ScriptT e r w s p m a

Run an action that returns a value and a log-adjusting function, and apply the function to the local log.

censor :: (w -> w) -> ScriptT e r w s p m a -> ScriptT e r w s p m a

Run an action, applying a function to the local log.

State

get :: Monoid w => ScriptT e r w s p m s

Retrieve the current state.

put :: Monoid w => s -> ScriptT e r w s p m ()

Replace the state.

modify :: Monoid w => (s -> s) -> ScriptT e r w s p m ()

Modify the current state lazily.

modify' :: Monoid w => (s -> s) -> ScriptT e r w s p m ()

Modify the current state strictly.

gets :: Monoid w => (s -> a) -> ScriptT e r w s p m a

Retrieve the image of the current state under a given function.

Prompt

prompt :: Monoid w => p a -> ScriptT e r w s p m a

Inject an atomic effect.

Testing

checkScript

Arguments

:: s

Initial state

-> r

Environment

-> (forall u. p u -> u)

Pure evaluator

-> ((Either e t, s, w) -> q)

Condense

-> (q -> Bool)

Result check

-> Script e r w s p t

-> Bool

Turn a Script with a pure evaluator into a Bool; for testing with QuickCheck. Wraps execScript.

checkScriptM

Arguments

:: Monad eff

=> s

Initial state

-> r

Environment

-> (forall u. p u -> eff u)

Moandic effect evaluator

-> (eff (Either e t, s, w) -> IO q)

Condense to IO

-> (q -> Bool)

Result check

-> Script e r w s p t

-> Property

Turn a Script with a monadic evaluator into a Property; for testing with QuickCheck. Wraps execScriptM.

checkScriptT

Arguments

:: Monad m

=> s

Initial state

-> r

Environment

-> (forall u. p u -> u)

Pure effect evaluator

-> (m (Either e t, s, w) -> IO q)

Condense to IO

-> (q -> Bool)

Result check

-> ScriptT e r w s p m t

-> Property

Turn a ScriptT with a pure evaluator into a Property; for testing with QuickCheck. Wraps execScriptT.

checkScriptTM

Arguments

:: (Monad (m eff), Monad eff)

=> s

Initial state

-> r

Environment

-> (forall u. p u -> eff u)

Moandic effect evaluator

-> (forall u. eff u -> m eff u)

Lift effects to the inner monad

-> (m eff (Either e t, s, w) -> IO q)

Condense to IO

-> (q -> Bool)

Result check

-> ScriptT e r w s p (m eff) t

-> Property

Turn a ScriptT with a monadic evaluator into a Property; for testing with QuickCheck. Wraps execScriptTM.