## Boolean

A general boolean algebra class and some instances for haskell. The main module is Boolean.Algebra.

Boolean.Algebrasrc doc

This is 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 definitons 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.Booleansrc doc

This module provides a data constructor which lifts any type into a boolean algebra and some operations on said lifted type.

Boolean.FuzzyBoolsrc doc

Boolean.Setsrc doc

This 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 programatic aproximation.A generalized set can be thought of as a map from keys to boolean values. perhaps the 'map with default' should be seperated out?

Boolean.TestCasessrc doc

some test cases to test the Boolean.* modules.Boolean.TrueSetsrc doc

## Download

Boolean.tar.gz

All Documentation## Darcs Repository

Darcs is the revision control system used for the development of Boolean.

You may Browse the darcs Repository or fetch the development version with the command

darcs get http://repetae.net/john/repos/BooleanYou can learn more about darcs at the darcs homepage

The changelog of the project is also available as a RSS feed

Copyright © 1995-2004 John Meacham