Safe Haskell | Safe-Inferred |
---|

# Documentation

class Monad solver => Solver solver whereSource

add :: Constraint solver -> solver BoolSource

add a constraint to the current state, and return whether the resulting state is consistent

run a computation

mark :: solver (Label solver)Source

mark the current state, and return its label

markn :: Int -> solver (Label solver)Source

mark the current state as discontinued, yet return a label that is usable n times

goto :: Label solver -> solver ()Source

go to the state with given label