Safe Haskell | Safe-Inferred |
---|
Control.Operational.Class
- class Operational instr p | p -> instr where
- singleton :: instr a -> p a
Documentation
class Operational instr p | p -> instr whereSource
The class of operational programs.
Instances
Operational instr (ProgramAp instr) | |
Operational instr (ProgramAlt instr) | |
Operational instr (Program instr) | |
Operational instr (ProgramP instr) | |
Monad m => Operational instr (ProgramT instr m) |