Control.Monad.Operational.Simple

A simpler, non-transformer version of this package's Control.Monad.Operational's Program type, using Free directly.

Documentation

module Control.Operational.Class

newtype Program instr a

Constructors

Program

Fields

toFree :: Free (Yoneda instr) a

Intepret the program as a Free monad.

Instances

Operational instr (Program instr)

Monad (Program instr)

Functor (Program instr)

Applicative (Program instr)

interpret :: forall m instr a. (Functor m, Monad m) => (forall x. instr x -> m x) -> Program instr a -> m a

Interpret a Program by translating each instruction to a Monad action. Does not use view.

fromProgram :: (Operational instr m, Functor m, Monad m) => Program instr a -> m a

Lift a Program to any Operational instance at least as powerful as Monad.

data ProgramView instr a where

Constructors

Return :: a -> ProgramView instr a

:>>= :: instr a -> (a -> Program instr b) -> ProgramView instr b

view :: Program instr a -> ProgramView instr a