monadiccp-0.3: Package for Constraint Programming

Control.CP.SearchTree

Documentation

data Tree s a Source

Constructors

Fail 
Return a 
Try (Tree s a) (Tree s a) 
Add (Constraint s) (Tree s a) 
NewVar (Term s -> Tree s a) 
Label (s (Tree s a)) 

Instances

Solver s => Monad (Tree s) 
Solver s => Functor (Tree s) 
Show (Tree s a) 

bindTree :: Solver s => Tree s a -> (a -> Tree s b) -> Tree s bSource

insertTree :: Solver s => Tree s a -> Tree s () -> Tree s aSource

(/\) :: Solver s => Tree s a -> Tree s b -> Tree s bSource

(\/) :: Solver s => Tree s a -> Tree s a -> Tree s aSource

disj :: Solver s => [Tree s a] -> Tree s aSource

conj :: Solver s => [Tree s ()] -> Tree s ()Source

disj2 :: Solver s => [Tree s a] -> Tree s aSource

exists :: (Term s -> Tree s a) -> Tree s aSource

exist :: Solver s => Int -> ([Term s] -> Tree s a) -> Tree s aSource

forall :: Solver s => [Term s] -> (Term s -> Tree s ()) -> Tree s ()Source

label :: Solver s => s (Tree s a) -> Tree s aSource

prim :: Solver s => s a -> Tree s aSource