Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type SubleqState a w m = (a, m) Source
type Machine a w m = State (SubleqState a w m) Source
runMachineStep :: Machine a w m Bool -> SubleqState a w m -> SubleqState a w m Source
runMachine :: Machine a w m Bool -> SubleqState a w m -> SubleqState a w m Source
runMachineWithHistory :: Machine a w m Bool -> SubleqState a w m -> (SubleqState a w m, [SubleqState a w m]) Source