cond: Basic conditional and boolean operators with monadic variants.

[ bsd3, control, library, logic, monad ] [ Propose Tags ] [ Report a vulnerability ]

This library provides:

  • Implementations of various overloaded conditional operations

  • Lifted monadic variants of those operations and common boolean operators

  • A typeclass for boolean algebras.

Feel free to send ideas and suggestions for new conditional operators to the maintainer.

Monadic looping constructs are not included as part of this package, since the monad-loops package has a fairly complete collection of them already.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0, 0.0.1, 0.0.2, 0.1, 0.2, 0.3, 0.4, 0.4.0.1, 0.4.0.2, 0.4.1, 0.4.1.1, 0.5.0, 0.5.1
Change log CHANGELOG.md
Dependencies base (>=3 && <5) [details]
Tested with ghc ==9.6.3, ghc ==9.4.6, ghc ==9.2.8, ghc ==9.0.2, ghc ==8.10.7, ghc ==8.8.4, ghc ==8.6.5, ghc ==8.4.4, ghc ==8.2.2, ghc ==8.0.2, ghc ==7.10.3, ghc ==7.8.4, ghc ==7.6.3, ghc ==7.4.2, ghc ==7.2.2, ghc ==7.0.4
License BSD-3-Clause
Author Adam Curtis
Maintainer acurtis@spsu.edu, James Cranch <j.d.cranch@sheffield.ac.uk>
Category Control, Logic, Monad
Home page https://github.com/jcranch/cond
Source repo head: git clone https://github.com/jcranch/cond.git
Uploaded by jcranch at 2023-11-19T16:44:19Z
Distributions Debian:0.4.1.1, Fedora:0.4.1.1, LTSHaskell:0.5.1, NixOS:0.5.1, Stackage:0.5.1
Reverse Dependencies 17 direct, 19 indirect [details]
Downloads 15225 total (50 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-11-19 [all 1 reports]

Readme for cond-0.5.1

[back to package description]

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.