Ideas.Common.Predicate

Representation for predicates

Predicate representation

data Predicate a

Instances

Boolean (Predicate a)

Methods

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

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

complement :: Predicate a -> Predicate a

BoolValue (Predicate a)

Methods

true :: Predicate a

false :: Predicate a

fromBool :: Bool -> Predicate a

isTrue :: Predicate a -> Bool

isFalse :: Predicate a -> Bool

HasId (Predicate a)

Methods

getId :: Predicate a -> Id

changeId :: (Id -> Id) -> Predicate a -> Predicate a

Identify (Predicate a)

Methods

(@>) :: IsId n => n -> Predicate a -> 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

Minimal complete definition

isTrue, isFalse

Methods

true :: a

false :: a

fromBool :: Bool -> a

isTrue :: a -> Bool

isFalse :: a -> Bool

Instances

BoolValue Bool

Methods

true :: Bool

false :: Bool

fromBool :: Bool -> Bool

isTrue :: Bool -> Bool

isFalse :: Bool -> Bool

BoolValue (Predicate a)

Methods

true :: Predicate a

false :: Predicate a

fromBool :: Bool -> Predicate a

isTrue :: Predicate a -> Bool

isFalse :: Predicate a -> Bool

BoolValue b => BoolValue (a -> b)

Methods

true :: a -> b

false :: a -> b

fromBool :: Bool -> a -> b

isTrue :: (a -> b) -> Bool

isFalse :: (a -> b) -> Bool

class BoolValue a => Boolean a where

Minimal complete definition

(<&&>), (<||>), complement

Methods

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

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

complement :: a -> a

Instances

Boolean Bool

Methods

(<&&>) :: Bool -> Bool -> Bool

(<||>) :: Bool -> Bool -> Bool

complement :: Bool -> Bool

Boolean (Predicate a)

Methods

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

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

complement :: Predicate a -> Predicate a

Boolean b => Boolean (a -> b)

Methods

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

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

complement :: (a -> b) -> a -> b

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

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

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

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