Control.Monad.Operational

Synopsis

Overview

Monad

type Program instr

singleton

type ProgramView instr

view

interpretWithMonad

Monad transformer

data ProgramT instr m a

data ProgramViewT instr m a

viewT

liftProgram