BSD3 licensed by Adam Curtis
Maintained by acurtis@spsu.edu

Module documentation for 0.4.1.1

Description

A library of boolean operations, lifted in a typeclass for boolean values. Also includes:

  • Lifted monadic variants of those operations.
  • Hoare's conditional choice operator.
  • A typeclass for boolean algebras.

See annotated documentation in code for information about individual entities.

comments powered byDisqus