import { List } from "immutable";
import { BasicFun, Fun } from "../../../fun/state";
import { Value } from "../../../value/state";
import { Errors } from "../errors/state";
import { Unit, Option, Sum } from "../../../../main";
export type ValueOrErrors<v, e> = ((Value<v> & {
    kind: "value";
}) | (Errors<e> & {
    kind: "errors";
})) & {
    Map: <a, b, e>(this: ValueOrErrors<a, e>, f: BasicFun<a, b>) => ValueOrErrors<b, e>;
    MapErrors: <a, e, e2>(this: ValueOrErrors<a, e>, f: BasicFun<List<e>, List<e2>>) => ValueOrErrors<a, e2>;
    Flatten: <a, e>(this: ValueOrErrors<ValueOrErrors<a, e>, e>) => ValueOrErrors<a, e>;
    Then: <a, b, e>(this: ValueOrErrors<a, e>, k: BasicFun<a, ValueOrErrors<b, e>>) => ValueOrErrors<b, e>;
};
export declare const ValueOrErrors: {
    Default: {
        return: <v, e>(_: v) => ValueOrErrors<v, e>;
        throwOne: <v, e>(_: e) => ValueOrErrors<v, e>;
        throw: <v, e>(_: List<e>) => ValueOrErrors<v, e>;
        ofOption: <v, e>(v: Option<v>, e: BasicFun<Unit, e>) => ValueOrErrors<v, e>;
    };
    Operations: {
        Return: <v, e>(_: v) => ValueOrErrors<v, e>;
        Throw: <v, e>(_: List<e>) => ValueOrErrors<v, e>;
        Map: <a, b, e>(f: BasicFun<a, b>) => Fun<ValueOrErrors<a, e>, ValueOrErrors<b, e>>;
        MapErrors: <a, e, e2>(f: BasicFun<List<e>, List<e2>>) => BasicFun<ValueOrErrors<a, e>, ValueOrErrors<a, e2>>;
        Flatten: <a, e>() => Fun<ValueOrErrors<ValueOrErrors<a, e>, e>, ValueOrErrors<a, e>>;
        Then: <a, b, e>(k: BasicFun<a, ValueOrErrors<b, e>>) => Fun<ValueOrErrors<a, e>, ValueOrErrors<b, e>>;
        Catch: <v, e>(_: ValueOrErrors<v, e>) => ValueOrErrors<Sum<v, List<e>>, e>;
        Fold: <v, e, c>(l: BasicFun<v, c>, r: BasicFun<List<e>, c>) => Fun<ValueOrErrors<v, e>, c>;
        All: <v, e>(_: List<ValueOrErrors<v, e>>) => ValueOrErrors<List<v>, e>;
    };
};
//# sourceMappingURL=state.d.ts.map