Ideas.Common.Predicate

Predicate representation

data Predicate a

predicate

predicateView

evalPredicate

Exports from Boolean algebra

class BoolValue a

class Boolean a

ands

ors

implies

equivalent