Bool is:module

The Bool type and related functions.

Basic operations on type-level Booleans.

Convenient commonly used and very helpful functions to work with Bool and also with monads.

TextShow instance for Bool. Since: 2

Booleans. Note that the operations from this module conflict with Data.Type.Bool.

Can be an alternative to the enumset package.

Boolean functions. Type families are defined in Data.Type.Bool module in base package. For term-level reflections see defun-bool package.

The Bool type and related functions.

Basic operations on type-level Booleans.

Additions to Data.Type.Bool.

Bidirectional version of Data.Bool.

Useful combinators for boolean expressions