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.