import { AbstractMonad } from "./monad";
export declare type FreerMatch<F, A, K> = {
    pure: (a: A) => K;
    bind: (u: F, k: (a: any) => Freer<F, A>) => K;
};
export declare abstract class Freer<F, A> extends AbstractMonad<A> {
    static of<B>(b: B): Freer<any, B>;
    of<B>(b: B): Freer<F, B>;
    abstract match<K>(m: FreerMatch<F, A, K>): K;
    abstract map<B>(f: (a: A) => B): Freer<F, B>;
    multi: false;
    static multi: boolean;
    abstract chain<B>(f: (a: A) => Freer<F, B>): Freer<F, B>;
}
export declare class Pure<F, A> extends Freer<F, A> {
    private a;
    constructor(a: A);
    match<K>(m: FreerMatch<F, A, K>): K;
    map<B>(f: (a: A) => B): Freer<F, B>;
    chain<B>(f: (a: A) => Freer<F, B>): Freer<F, B>;
}
export declare class Bind<F, A> extends Freer<F, A> {
    val: any;
    f: (a: any) => Freer<F, A>;
    constructor(val: any, f: (a: any) => Freer<F, A>);
    match<K>(m: FreerMatch<F, A, K>): K;
    map<B>(f: (a: A) => B): Freer<F, B>;
    chain<B>(f: (a: A) => Freer<F, B>): Freer<F, B>;
}
export declare function liftF<F, A>(fa: any): Freer<F, A>;