Control.Monad.Operational.Mini

Simple operational monad

Documentation

newtype Program t a

Program t is a Monad that represents a sequence of imperatives. To construct imperatives, use singleton :: t a -> Program t a.

Constructors

Program

Fields

unProgram :: forall r. (a -> r) -> (forall x. t x -> (x -> r) -> r) -> r

Instances

t :! (Program t)

Monad (Program t)

Functor (Program t)

Applicative (Program t)

interpret :: Monad m => (forall x. t x -> m x) -> Program t a -> m a

Interpret a Program using the given transformation.

cloneProgram :: t :! m => Program t a -> m a

data ReifiedProgram t a where

Reified version of Program. It is useful for testing.

Constructors

Return :: a -> ReifiedProgram t a

:>>= :: t a -> (a -> ReifiedProgram t b) -> ReifiedProgram t b

Instances

t :! (ReifiedProgram t)

Monad (ReifiedProgram t)

Functor (ReifiedProgram t)

Applicative (ReifiedProgram t)

fromReified :: ReifiedProgram t a -> Program t a

module Control.Monad.Operational.Class