File: README.md

package info (click to toggle)
haskell-cond 0.4.1.1-8
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 76 kB
  • sloc: haskell: 249; makefile: 2
file content (10 lines) | stat: -rw-r--r-- 307 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
# 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.