export declare type Task<E, T> = Succeed<T> | Fail<E> | Binding<E, T> | Chain<E, any, T> | OnError<any, T, E> | Receive<unknown, E, T>;
interface Succeed<T> {
    readonly $: '_TASK__SUCCEED_';
    readonly __value: T;
}
export declare const succeed: <T>(value: T) => Task<never, T>;
interface Fail<E> {
    readonly $: '_TASK__FAIL_';
    readonly __error: E;
}
export declare const fail: <E>(error: E) => Task<E, never>;
interface Binding<E, T> {
    readonly $: '_TASK__BINDING';
    __kill: void | (() => void);
    __callback(bind: (task: Task<E, T>) => void): void | (() => void);
}
export declare const binding: <E, T>(callback: (done: (task: Task<E, T>) => void) => void | (() => void)) => Task<E, T>;
interface Chain<E, T, R> {
    readonly $: '_TASK__CHAIN_';
    readonly __task: Task<E, T>;
    __callback(value: T): Task<E, R>;
}
export declare const chain: <E, T, R>(callback: (value: T) => Task<E, R>, task: Task<E, T>) => Task<E, R>;
interface OnError<E, T, S> {
    readonly $: '_TASK__ON_ERROR_';
    readonly __task: Task<E, T>;
    __callback(error: E): Task<S, T>;
}
export declare const onError: <E, T, S>(callback: (error: E) => Task<S, T>, task: Task<E, T>) => Task<S, T>;
interface Receive<M, E, T> {
    readonly $: '_TASK__RECEIVE_';
    __callback(msg: M): Task<E, T>;
}
export declare const receive: <M, E, T>(callback: (msg: M) => Task<E, T>) => Task<E, T>;
declare type Stack<E, T> = Head | Ok<E, any, T> | Err<any, T, E>;
interface Head {
    readonly $: '_STACK_HEAD_';
}
interface Ok<E, T, R> {
    readonly $: '_STACK_OK_';
    readonly __next: Stack<E, T>;
    __callback(value: T): Task<E, R>;
}
interface Err<E, T, S> {
    readonly $: '_STACK_ERR_';
    readonly __next: Stack<E, T>;
    __callback(error: E): Task<S, T>;
}
export interface Process<E = unknown, T = unknown, M = unknown> {
    __root?: Task<E, T>;
    __stack: Stack<E, T>;
    readonly __mailbox: Array<M>;
}
export declare const rawSpawn: <E, T, M>(task: Task<E, T>) => Process<E, T, M>;
export declare const spawn: <E, T>(task: Task<E, T>) => Task<never, Process<E, T, unknown>>;
export declare const rawSend: <E, T, M>(proc: Process<E, T, M>, msg: M) => void;
export declare const send: <E, T, M>(proc: Process<E, T, M>, msg: M) => Task<never, void>;
export declare const kill: <E, T>(proc: Process<E, T, unknown>) => Task<never, void>;
export {};