std/core/order▲toc

Standard orderstd/core/types/order: V functions.

.

fun order2/int( x : order2std/core/types/order2: V -> V<a> ) : intstd/core/types/int: V

Convert an order2std/core/types/order2: V -> V to an intstd/core/types/int: V (-1, 0, or 1).

fun (!=)( x : orderstd/core/types/order: V, y : orderstd/core/types/order: V ) : boolstd/core/types/bool: V
fun (<)( x : orderstd/core/types/order: V, y : orderstd/core/types/order: V ) : boolstd/core/types/bool: V
fun (<=)( x : orderstd/core/types/order: V, y : orderstd/core/types/order: V ) : boolstd/core/types/bool: V
fun (==)( x : orderstd/core/types/order: V, y : orderstd/core/types/order: V ) : boolstd/core/types/bool: V
fun (>)( x : orderstd/core/types/order: V, y : orderstd/core/types/order: V ) : boolstd/core/types/bool: V
fun (>=)( x : orderstd/core/types/order: V, y : orderstd/core/types/order: V ) : boolstd/core/types/bool: V
fun int( x : orderstd/core/types/order: V ) : intstd/core/types/int: V
fun order2( x : a, y : a, ^?cmp : (a, a) -> orderstd/core/types/order: V ) : order2std/core/types/order2: V -> V<a>

Given a comparison function, we can order 2 elements.

private import std/core/typesstd/core/types, std/core/intstd/core/int