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

Monad (Program t)

Functor (Program t)

Applicative (Program t)

Tower (Program t)

type Floors (Program t) = (:) (* -> *) t ((:) (* -> *) (ReifiedProgram t) ((:) (* -> *) Identity ([] (* -> *))))

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

Interpret a Program using the given transformation.

cloneProgram :: (Monad m, Elevate 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 infixl 1

Instances

Monad (ReifiedProgram t)

Functor (ReifiedProgram t)

Applicative (ReifiedProgram t)

Tower (ReifiedProgram t)

type Floors (ReifiedProgram t) = (:) (* -> *) t ((:) (* -> *) (Program t) ((:) (* -> *) Identity ([] (* -> *))))

fromReified :: ReifiedProgram t a -> Program t a

module Control.Monad.Operational.Class

module Control.Monad.Operational.TH