monadiccp-0.4: Package for Constraint Programming

Control.CP.Solver

class Monad solver => Solver solver whereSource

Associated Types

type Constraint solver :: *Source

type Label solver :: *Source

Methods

add :: Constraint solver -> solver BoolSource

run :: solver a -> aSource

mark :: solver (Label solver)Source

goto :: Label solver -> solver ()Source

Instances

class Solver solver => Term solver term whereSource

newvar :: solver termSource