jcranch · GitHub

Folders and files

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
src		src
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
cabal.haskell-ci		cabal.haskell-ci
cond.cabal		cond.cabal

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.

About

Basic conditional operators with monadic variants.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages

Read the original on github.com ↗