Ideas.Common.Predicate

Representation for predicates

Predicate representation

data Predicate a

Instances

Identify (Predicate a)

HasId (Predicate a)

Boolean (Predicate a)

BoolValue (Predicate a)

predicate :: (a -> Bool) -> Predicate a

predicateView :: View a b -> Predicate a

evalPredicate :: Predicate a -> a -> Bool

Exports from Boolean algebra

class BoolValue a where

Methods

true :: a

false :: a

fromBool :: Bool -> a

isTrue :: a -> Bool

isFalse :: a -> Bool

Instances

BoolValue Bool

BoolValue a => BoolValue (Smart a)

BoolValue (Predicate a)

BoolValue b => BoolValue (a -> b)

class BoolValue a => Boolean a where

Methods

(<&&>) :: a -> a -> a

(<||>) :: a -> a -> a

complement :: a -> a

Instances

Boolean Bool

(Boolean a, CoBoolean a) => Boolean (Smart a)

Boolean (Predicate a)

Boolean b => Boolean (a -> b)

ands :: Boolean a => [a] -> a

ors :: Boolean a => [a] -> a

implies :: Boolean a => a -> a -> a

equivalent :: Boolean a => a -> a -> a