Zafu/Abstract/Ord

`Zafu/Abstract/Ord`

source code:

src/Zafu/Abstract/Ord.bosatsu

public dependencies: Zafu/Abstract/Eq

Index

Types: Ord
Values: cmp, eq, gt, gteq, laws_Ord, lt, lteq, max, min, ord_by, ord_from_cmp, ord_specialized, ord_to_eq, reverse

Types

`Ord[a]`

type Ord[a: *]

Values

`cmp`

references: Comparison, Ord

def cmp[a](inst: Ord[a], left: a, right: a) -> Comparison

`eq`

references: Bool, Ord

def eq[a](inst: Ord[a], left: a, right: a) -> Bool

`gt`

references: Bool, Ord

def gt[a](inst: Ord[a], left: a, right: a) -> Bool

`gteq`

references: Bool, Ord

def gteq[a](inst: Ord[a], left: a, right: a) -> Bool

`laws_Ord`

Basic Ord law checker for three sample values.

references: Ord, Test

def laws_Ord[a](inst: Ord[a], x: a, y: a, z: a) -> Test

`lt`

references: Bool, Ord

def lt[a](inst: Ord[a], left: a, right: a) -> Bool

`lteq`

references: Bool, Ord

def lteq[a](inst: Ord[a], left: a, right: a) -> Bool

`max`

references: Ord

def max[a](inst: Ord[a], left: a, right: a) -> a

`min`

references: Ord

def min[a](inst: Ord[a], left: a, right: a) -> a

`ord_by`

references: Ord

def ord_by[a, b](inst: Ord[a], project: b -> a) -> Ord[b]

`ord_from_cmp`

Constructor from comparison function; all other operations are derived.

references: Comparison, Ord

def ord_from_cmp[a](cmp_fn: (a, a) -> Comparison) -> Ord[a]

`ord_specialized`

Constructor for cases where specialized operations are provided.

references: Bool, Comparison, Ord

def ord_specialized[a](
    cmp_fn: (a, a) -> Comparison,
    lt_fn: (a, a) -> Bool,
    lteq_fn: (a, a) -> Bool,
    gt_fn: (a, a) -> Bool,
    gteq_fn: (a, a) -> Bool,
    min_fn: (a, a) -> a,
    max_fn: (a, a) -> a
) -> Ord[a]

`ord_to_eq`

references: Ord, Zafu/Abstract/Eq::Eq

def ord_to_eq[a](inst: Ord[a]) -> Zafu/Abstract/Eq::Eq[a]

`reverse`

references: Ord

def reverse[a](inst: Ord[a]) -> Ord[a]