import { Maybe, Guard, Convert, CastSettings } from "./internal.js";
import { Collection, Primitive, PrimitiveValue, SimpleType, SimpleTypeOf, Struct } from "./types.js";
declare type CastSome<T extends readonly Cast<unknown>[]> = T extends Guard<any>[] ? Guard<T[number] extends Guard<infer R> ? R : never> : T extends Cast<any>[] ? Cast<T[number] extends Cast<infer R> ? R : never> : never;
export declare type TCastAll<T extends Collection<Cast>> = {
    [I in keyof T]: T[I] extends Cast<infer V> ? V : never;
};
export declare type TCastMap<T> = T extends SimpleType ? SimpleTypeOf<T> : T extends Cast<infer R> ? R : T extends {
    [k in keyof T]: any;
} ? {
    [k in keyof T]: TCastMap<T[k]>;
} : unknown;
export declare type Casted<T> = T extends Cast<infer R> ? R : unknown;
export declare class Cast<out T = unknown> {
    private readonly _cast;
    protected static readonly castError: Error;
    protected static readonly defaults: CastSettings;
    constructor(_cast: (value: unknown, settings: CastSettings) => Maybe<T>);
    private static get build();
    static readonly asUnknown: Cast<unknown>;
    static readonly asNever: Cast<never>;
    private static unwrapArray;
    private static wrapArray;
    static lazy<T>(fun: (s: CastSettings) => Cast<T>): Cast<T>;
    cast(value: unknown): Maybe<T>;
    cast(value: unknown, settings: CastSettings): Maybe<T>;
    config(config: Partial<CastSettings>): Cast<T>;
    static just<T>(value: T): Cast<T>;
    static nothing<T = never>(error?: Error): Cast<T>;
    static try<T>(get: () => T): Cast<T>;
    parse(json: string): Maybe<T>;
    bind<R>(next: (t: T, s: CastSettings) => Cast<R>): Cast<R>;
    compose<R>(next: Cast<R>): Cast<R>;
    or<R>(right: Convert<R>): Convert<T | R>;
    or<R>(right: Cast<R>): Cast<T | R>;
    /**
     * Unions a list of casts by combining them with the `or` operator.
     * @param options An array of casts.
     * @returns The union of the given casts.
     */
    static some<T extends readonly Cast<unknown>[]>(...options: T): CastSome<T>;
    /**
     * Creates a cast that outputs a collection by applying each cast in the given collection to the input value.
     * @param casts A collection of casts.
     * @returns A cast that outputs a collection of results, or nothing if any cast fails.
     */
    static all<T extends Collection<Convert>>(casts: T): Convert<TCastAll<T>>;
    static all<T extends Collection<Cast>>(casts: T): Cast<TCastAll<T>>;
    /**
     * Creates a convert that outputs an array containing the successful results of applying each cast in the given collection to the input value.
     * @param casts An array of casts.
     * @returns A convert that outputs an array of successfully results
     */
    static any<T>(casts: Cast<T>[]): Convert<T[]>;
    if(condition: (input: T) => unknown): Cast<T>;
    and<R>(guard: Guard<R>): Cast<T & R>;
    merge<R extends {}>(this: Cast<{}>, cast: Cast<R>): Cast<T & R>;
    map<R>(next: (t: T) => R): Cast<R>;
    else<R>(other: R): Convert<T | R>;
    elseThrow(getError?: (error: Error) => Error): Convert<T>;
    get toMaybe(): Convert<Maybe<T>>;
    static get asPrimitiveValue(): Cast<PrimitiveValue>;
    static get asString(): Cast<string>;
    static get asNumber(): Cast<number>;
    static get asFinite(): Cast<number>;
    static get asInteger(): Cast<number>;
    static get asBigInt(): Cast<bigint>;
    static get asBoolean(): Cast<boolean>;
    static get asDate(): Cast<Date>;
    static get asArray(): Cast<unknown[]>;
    static asConst<T extends Primitive>(value: T): Cast<T>;
    static asEnum<T extends readonly Primitive[]>(...options: T): Cast<T[number]>;
    private static makeCollectionOf;
    static asArrayOf<T>(cast: Cast<T>): Cast<T[]>;
    static asStructOf<T>(cast: Cast<T>): Cast<Struct<T>>;
    private static makeCollectionLike;
    /**
     * Given an object or tuple of casts, it produces a cast that outputs an object or tuple having the same shape as the given casts.
     * @param casts an object or tuple of casts
     * @returns a cast that produces an object or tuple matching the shape of the given casts
     */
    static asCollectionLike<T extends Collection<Cast>>(casts: T): Cast<TCastAll<T>>;
    /**
     * Produces a cast that filters out values from the input that could not be casted by the given cast.
     * @param cast the cast to use for filtering
     * @returns a cast that filters out values that could not be casted by the given cast
     */
    static asArrayWhere<T>(cast: Cast<T>): Cast<T[]>;
    /**
     * Creates a `Cast` based on a sample value.
     * @param alt a sample value
     * @returns a `Cast` based on the given sample value
     */
    static as<T>(alt: T): Cast<TCastMap<T>>;
    get asPrimitiveValue(): Cast<PrimitiveValue>;
    get asString(): Cast<string>;
    get asNumber(): Cast<number>;
    get asFinite(): Cast<number>;
    get asInteger(): Cast<number>;
    get asBigInt(): Cast<bigint>;
    get asBoolean(): Cast<boolean>;
    get asDate(): Cast<Date>;
    get asArray(): Cast<unknown[]>;
    asConst<T extends PrimitiveValue>(value: T): Cast<T>;
    asEnum<T extends readonly Primitive[]>(...options: T): Cast<T[number]>;
    asArrayOf<T>(cast: Cast<T>): Cast<T[]>;
    asStructOf<T>(cast: Cast<T>): Cast<Struct<T>>;
    asCollectionLike<T extends Collection<Cast>>(casts: T): Cast<TCastAll<T>>;
    asArrayWhere<T>(cast: Cast<T>): Cast<T[]>;
    as<T>(alt: T): Cast<TCastMap<T>>;
}
export {};