cflp-2009.1.19: Constraint Functional-Logic Programming in Haskell

Data.LazyNondet.Types.Bool

Documentation

true :: Monad m => Nondet cs m Bool Source

false :: Monad m => Nondet cs m Bool Source

pTrue :: (Context cs -> Nondet cs m a) -> Match Bool cs m aSource

pFalse :: (Context cs -> Nondet cs m a) -> Match Bool cs m aSource

not :: Update cs m m => Nondet cs m Bool -> Context cs -> Nondet cs m Bool Source

(===) :: Update cs m m => Nondet cs m a -> Nondet cs m a -> Context cs -> Nondet cs m Bool Source