Boolean

• Boolean.TrueSet
• Boolean.Algebra—the main module of the Boolean hierachy and provides a class which abstracts common operations on boolean algebras. note, we redefine some prelude functions, but the new definitions mean the same thing for Bool so it will not hurt existing code.

  To use properly:

  import Boolean.Algebra
  import Prelude hiding((&&),(||),not,and,or,any,all)

• Boolean.TestCases—some test cases to test the Boolean.* modules.
• Boolean.FuzzyBool
• Boolean.Boolean—provides a data constructor which lifts any type into a boolean algebra and some operations on said lifted type.
• Boolean.Set—creates the boolean algebra of sets from any base boolean algebra. note that the sets created are ”true” sets in the mathematical sense, not the usual programmatic approximation. A generalized set can be thought of as a map from keys to boolean values.

 2007–2009 Alexey Beshenov.
Contact: al@cadadr.org.