Portability	non-portable
Stability	experimental
Maintainer	sjoerd@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.

Documentation

data BF Source

data BT Source

data Boolean a b whereSource

Constructors

IdFls :: Boolean BF BF
FlsTru :: Boolean BF BT
IdTru :: Boolean BT BT

Instances

Category Boolean	`Boolean` is the category with true and false as objects, and an arrow from false to true.
HasBinaryCoproducts Boolean
HasBinaryProducts Boolean
HasInitialObject Boolean	False is the initial object in the Boolean category.
HasTerminalObject Boolean	True is the terminal object in the Boolean category.
Show (Obj Boolean a)