Ideas.Common.Algebra.Boolean

Boolean algebra

class BoolValue a

class Boolean a

ands

ors

implies

equivalent

CoBoolean (matching)

class CoBoolean a

conjunctions

disjunctions

Monoids monoid

class DualMonoid a

data And a

data Or a