Control.CP.Solver

Documentation

class Monad solver => Solver solver where

Associated Types

type Constraint solver :: *

type Label solver :: *

Methods

add :: Constraint solver -> solver Bool

run :: solver a -> a

mark :: solver (Label solver)

goto :: Label solver -> solver ()

Instances

Solver FD

HTerm t => Solver (Herbrand t)

(Solver s, HTerm t) => Solver (HerbrandT t s)

class Solver solver => Term solver term where

Methods

newvar :: solver term

Instances

Term FD FD_Term

HTerm t => Term (Herbrand t) t

(HTerm t, Solver s, Term s st) => Term (HerbrandT t s) (R st)

(HTerm t, Solver s) => Term (HerbrandT t s) (L t)