import { int } from "./primitives.js";
export declare enum Relation {
    UNRELATED = 0,
    LESS = 1,
    EQUAL = 2,
    GREATER = 3
}
export type Total = Relation.LESS | Relation.EQUAL | Relation.GREATER;
export declare function relationAsNumber(r: Relation): number | undefined;
export declare function invertRelation(relation: Relation): Relation;
export interface Thing<T> {
    name: string;
    is(value: any): value is T;
    assert(value: any): asserts value is T;
    display(value: T): string;
}
export interface Equality<T> extends Thing<T> {
    /** Here we can assume that `is(x)` and `is(y)` both hold.  */
    equal(x: T, y: T): boolean;
}
export interface Compare<T> {
    compare(x: T, y: T): Relation;
}
export interface Order<T> extends Equality<T>, Compare<T> {
    /**
     * Here we can assume that `is(x)` and `is(y)` both hold.
     * Must be compatible with {@link Equality.equals}:
     * `equal(x, y) === (compare(x, y) === Relation.EQUAL)`
     **/
    compare(x: T, y: T): Relation;
}
export interface Hash<T> extends Equality<T> {
    /**
     * Here we can assume that `is(x)` holds.
     * Must be compatible with {@link Equality.equals}:
     * `equal(x, y)` implies `hash(x) === hash(y)`
     */
    hash(x: T): int;
}
export interface Data<T> extends Order<T>, Hash<T> {
}
export declare function mkThing<T>(name: string | undefined, check: (value: any) => boolean, display?: (value: T) => string): Thing<T>;
export declare function assertThings<T>(thing: Thing<T>, ...values: T[]): void;
export declare function mkEquality<T>(name: string | undefined, check: (x: T) => boolean, equal: (x: T, y: T) => boolean, display?: (value: T) => string): Equality<T>;
export declare function mkOrder<T>(name: string | undefined, check: (x: T) => boolean, compare: (x: T, y: T) => Relation, display?: (value: T) => string): Order<T>;
export declare function mkHash<T>(name: string | undefined, check: (x: T) => boolean, equal: (x: T, y: T) => boolean, hashing: (x: T) => int, display?: (value: T) => string): Hash<T>;
export declare function mkOrderAndHash<T>(name: string | undefined, check: (x: T) => boolean, compare: (x: T, y: T) => Relation, hash: (x: T) => int, display?: (value: T) => string): Order<T> & Hash<T>;
export declare function mkData<T>(name: string | undefined, check: (x: T) => boolean, compare: (x: T, y: T) => Relation, hash: (x: T) => int, display?: (value: T) => string): Data<T>;