Ordering -package:graphviz

Describes the way two values can be compared. These values can be used with a [callbackgLib.CompareFunc]. However, a GCompareFunc is allowed to return any integer values. For converting such a value to a GtkOrdering value, use Ordering.from_cmpfunc().

This module defines monad transformer which lift from query into query with ordering.

A value of type Ordering is encoded as follows in binary encoding.

0 ==> LT
1 ==> EQ
2 ==> GT

Pre-release

A value of type Ordering is encoded as follows in binary encoding.

0 ==> LT
1 ==> EQ
2 ==> GT

Pre-release

Undefined Ordering value.

Ordering data type for type literals that provides proof of their ordering.

the two values are equal

the first value is larger than the second

the first value is smaller than the second

Ordering over two distinct types with a proof they are equal.

Type to accumulate ordering context. Type c is ordering term record context type.

Arrow type corresponding to Orderings

Type for order-by term

Ordering data type for type literals that provides proof of their ordering.

Type to accumulate ordering context. Type c is ordering term record context type.

Lift to Orderings.