Ordering

Valid for: GN; Default: none; Notes: Dot only
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.
This module defines ordering of signatures, which lifts to ordering of terms and contexts.
This module defines ordering of signatures, which lifts to ordering of terms and contexts.
Specify an ordering of edges of a node: either the outgoing or the incoming edges of a node must appear left-to-right in the same order in which they are defined in the input. When specified as both a global graph or sub-graph level attribute, then it takes precedence over an attribute specified for an individual node.
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.
A sum type to help the specification of a column ordering (Ascending, or Descending)