KumaChan/stdlib/core/comparison.km

export function is:[T]
    &(T,T) => Bool
    native 'is';

type Op=
    [in T]
    &(T,T) => Bool;

type Op<
    [in T]
    &(T,T) => Bool;

export function !=:
    [T] { = : Op=[T] }
    &(T,T) => Bool
    &(a,b) => { not { = (a, b) } };

export function >:
    [T] { < : Op<[T] }
    &(T,T) => Bool
    &(a,b) => { < (b, a) };

export function <=:
    [T] { < : Op<[T] }
    &(T,T) => Bool
    &(a,b) => { not { < (b, a) } };

export function >=:
    [T] { < : Op<[T] }
    &(T,T) => Bool
    &(a,b) => { not { < (a, b) } };

export function min:
    [T] { < : Op<[T] }
    &(T,T) => T
    &(a,b) => (if { < (a, b) }: a, else: b);

export function max:
    [T] { < : Op<[T] }
    &(T,T) => T
    &(a,b) => (if { < (b, a) }: a, else: b);