Module

Prim.Boolean

The Prim.Boolean module is embedded in the PureScript compiler. Unlike Prim, it is not imported implicitly. It contains a type level Boolean data structure.

#Boolean

kind Boolean

The Boolean kind provides True/False types at the type level

#True

data True :: Boolean

The 'True' boolean type.

#False

data False :: Boolean

The 'False' boolean type.