monadiccp-0.1: Package for Constraint Programming
Language.CP.SearchTree
data Tree s a Source
Constructors
Instances
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
false :: Tree s aSource
true :: Tree s ()Source
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
add :: Solver s => Constraint s -> Tree s ()Source