cflp-2009.1.24: Constraint Functional-Logic Programming in Haskell

CFLP.Types.Bool

Documentation

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

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

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

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

not :: CFLP s => Data s Bool -> Context (Ctx s) -> Data s Bool Source

(===) :: CFLP s => Data s a -> Data s a -> Context (Ctx s) -> Data s Bool Source