cflp-2009.1.23: Constraint Functional-Logic Programming in Haskell

CFLP.Types.Bool

Documentation

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 BoolSource

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