import { type TupleOf } from '@bemedev/core/lib/globals/types.js';
import { type Add_F, type CheckerMap, type CheckerMapHeritage, type Concat, type MapLength, type Merge, type ToObject, type Transform } from './types';
declare class Monad<const T extends CheckerMap = CheckerMap> {
    #private;
    constructor(...checkers: T);
    /**
     * @deprecated
     * For typings
     */
    get rawCheckers(): T;
    get checkers(): ToObject<T>;
    get order(): (string | number)[];
    get copy(): Monad<T>;
    or: (monad: this | T) => Monad<T>;
    and: (monad: this | T) => Monad<T>;
    add: Add_F<T>;
    mergeAnd: <const U extends CheckerMapHeritage<T>>(monad: Monad<U> | U) => Monad<Merge<T, U, true>>;
    mergeOr: <const U extends CheckerMapHeritage<T>>(monad: Monad<U> | U) => Monad<Merge<T, U, false>>;
    concat: <const U extends CheckerMap>(monad: Monad<U> | U) => Monad<[...Concat<T, U>]>;
    safeParse: (...args: TupleOf<unknown, MapLength<T>>) => string | number | undefined;
    parse: (...args: TupleOf<unknown, MapLength<T>>) => string | number;
    transform: <const Transformers extends Transform<T>>(transformers: Transformers) => import("./types").Parser_F<T, { [K in keyof Transformers]: ReturnType<Transformers[K]>; }[keyof Transformers]>;
}
export type { Monad };
export declare const createMonad: <const T extends CheckerMap<any> = CheckerMap<any>>(...checkers: T) => Monad<T>;
//# sourceMappingURL=monad.d.ts.map