data-category-0.1.0: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com

Data.Category.Boolean

Description

2, or the Boolean category. It contains 2 objects, one for true and one for false. It contains 3 arrows, 2 identity arrows and one from false to true.

Synopsis

Documentation

data Fls Source

Fls, the object representing false.

Constructors

Fls 

Instances

data Tru Source

Tru, the object representing true.

Constructors

Tru 

Instances

data family Boolean a b :: *Source

The arrows of the boolean category.