Control.Operational.Class

Documentation

class Operational instr p | p -> instr where

The class of operational programs.

Methods

singleton :: instr a -> p a

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)