BSD-3-Clause licensed by Adam Curtis
Maintained by acurtis@spsu.edu
This version can be pinned in stack with:cond-0.4.1.1@sha256:f1e4ab2ff6e129570c317bdd737adfa18c253817769ecca27167668d0c0abaf3,1075

Module documentation for 0.4.1.1

  • Control
    • Control.Conditional
  • Data
    • Data.Algebra
      • Data.Algebra.Boolean
Depends on 1 package(full list with versions):
Used by 1 package in lts-0.7(full list with versions):

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.