@hackage cond0.5.0

Basic conditional and boolean operators with monadic variants.

Categories
- Monads
License
BSD-3-Clause
Maintainer
acurtis@spsu.edu, James Cranch <j.d.cranch@sheffield.ac.uk>
Links
Versions
- 0.5.1 Sun, 19 Nov 2023
- 0.5.0 Sun, 19 Nov 2023
- 0.4.1.1 Sun, 23 Nov 2014
- 0.4.1 Sun, 11 May 2014
- 0.4.0.2 Sat, 1 Dec 2012
- 0.4.0.1 Wed, 30 May 2012

Installation
In your cabal file:
Tested Compilers
Dependencies (1)
- base >=3 && <5
Dependents (21)
@hackage/log, @hackage/mappings, @hackage/prologue, @hackage/bdcs-api, @hackage/pandoc-vimhl, @hackage/quenya-verb, Show all…

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.