@hackage / cond

Basic conditional and boolean operators with monadic variants.

Latest0.5.1

About

Metadata

  • Last updated , by jcranch
  • License BSD-3-Clause
  • Categories Monads

  • Maintained by: acurtis@spsu.edu, James Cranch <j.d.cranch@sheffield.ac.uk>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.6.3
  2. 9.4.6
  3. 9.2.8
  4. 9.0.2
  5. 8.10.7
  6. 8.8.4
  7. 8.6.5
  8. 8.4.4
  9. 8.2.2
  10. 8.0.2
  11. 7.10.3

Readme

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.