free-operational-0.5.0.0: Operational Applicative, Alternative, Monad and MonadPlus from free types.

Safe HaskellSafe-Inferred

Control.Operational.Class

Synopsis

Documentation

class Operational instr p | p -> instr whereSource

The class of operational programs.

Methods

singleton :: instr a -> p aSource

Make a program out of an instruction.

Instances

Operational instr (ProgramAp instr) 
Operational instr (ProgramAlt instr) 
Operational instr (Program instr) 
Operational instr (ProgramP instr) 
Monad m => Operational instr (ProgramT instr m)