Ideas.Common.Predicate

Contents

• Predicate representation
• Exports from Boolean algebra

Description

Synopsis

• data Predicate a
• predicate :: (a -> Bool) -> Predicate a
• predicateView :: View a b -> Predicate a
• evalPredicate :: Predicate a -> a -> Bool
• class BoolValue a where
  • true :: a
  • false :: a
  • fromBool :: Bool -> a
  • isTrue :: a -> Bool
  • isFalse :: a -> Bool
• class BoolValue a => Boolean a where
  • (<&&>) :: a -> a -> a
  • (<||>) :: a -> a -> a
  • complement :: a -> a
• ands :: Boolean a => [a] -> a
• ors :: Boolean a => [a] -> a
• implies :: Boolean a => a -> a -> a
• equivalent :: Boolean a => a -> a -> a

Predicate representation

Exports from Boolean algebra