Module

Prim.Ordering

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

#Ordering 

kind Ordering

The Ordering kind represents the three possibilites of comparing two types of the same kind: LT (less than), EQ (equal to), and GT (greater than).

#LT 

data LT :: Ordering

The 'less than' ordering type.

#EQ 

data EQ :: Ordering

The 'equal to' ordering type.

#GT 

data GT :: Ordering

The 'greater than' ordering type.

Modules