cflp-2009.2.1: Constraint Functional-Logic Programming in Haskell Source code Contents Index

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 a Source

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

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

Produced by Haddock version 2.4.2