import { Range } from './loc.js';
declare type ErrorDetails = {
    phase: string;
    range?: Range;
    message: string;
    src?: string;
    hint?: string;
};
declare const errorDetails: (phase: string, message: string, range?: Range, src?: string, hint?: string) => {
    phase: string;
    range: Range | undefined;
    message: string;
    src: string | undefined;
    hint: string | undefined;
};
declare type Error<T> = {
    tag: 'error';
    details: ErrorDetails[];
    andThen: <U>(f: (_: T) => Result<U>) => Result<U>;
    asyncAndThen: <U>(f: (_: T) => Promise<Result<U>>) => Promise<Result<U>>;
};
declare function detailsToCompleteString(details: ErrorDetails): string;
declare function allDetailsToCompleteString(details: ErrorDetails[]): string;
declare function detailsToMsgString(details: ErrorDetails): string;
declare function errorToString<T>(err: Error<T>): string;
declare type Ok<T> = {
    tag: 'ok';
    value: T;
    andThen: <U>(f: (_: T) => Result<U>) => Result<U>;
    asyncAndThen: <U>(f: (_: T) => Promise<Result<U>>) => Promise<Result<U>>;
};
declare type Result<T> = Error<T> | Ok<T>;
declare function errors<T>(errs: ErrorDetails[]): Error<T>;
declare function error<T>(phase: string, message: string, range?: Range, src?: string, hint?: string): Error<T>;
declare function ok<T>(x: T): Ok<T>;
declare function rethrow<T, U>(err: Error<T>): Error<U>;
declare function join<T>(arr: Result<T>[]): Result<T[]>;
declare function detailsToResult(errs: ErrorDetails[]): Result<null>;
declare class ICE extends Error {
    constructor(fn: string, reason: string, opts?: ErrorOptions);
}
export { Result, Error, ErrorDetails, errorDetails, error, errors, ok, detailsToCompleteString, allDetailsToCompleteString, detailsToMsgString, errorToString, rethrow, join, detailsToResult, ICE };
//# sourceMappingURL=result.d.ts.map