Basic conditional and boolean operators with monadic variants.

Latest on Hackage:

See all snapshots cond appears in

BSD-3-Clause licensed by Adam Curtis
Maintained by [email protected]

Module documentation for

This version can be pinned in stack with:[email protected]:f1e4ab2ff6e129570c317bdd737adfa18c253817769ecca27167668d0c0abaf3,1075


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.

Depends on 1 package(full list with versions):