TotallyOrderedType

Usage

TotallyOrderedType: Category

Description

TotallyOrderedType is the category of totally ordered types, i.e. partially ordered types where every pair $x\ne y$ is comparable.

Exports

PartiallyOrderedType
compare:	(%,%) $\to$ MachineInteger	comparison
max:	(%,%) $\to$ %	greater element
min:	(%,%) $\to$ %	smaller element