cflp-2009.1.16: Constraint Functional-Logic Programming in Haskell
Data.LazyNondet.Types.Bool
true :: Monad m => Nondet cs m BoolSource
false :: Monad m => Nondet cs m BoolSource
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 BoolSource
(===) :: Update cs m m => Nondet cs m a -> Nondet cs m a -> Context cs -> Nondet cs m BoolSource