import { TypeLevel } from "@tsplus/stdlib/type-level";
import { Either } from "@tsplus/stdlib/data/Either/definition";
declare const validSym: unique symbol;
declare const namedSym: unique symbol;
/**
 * @tsplus derive nominal
 */
export interface Brand<in out K extends string> {
    [namedSym]: {
        [k in K]: K;
    };
}
export declare namespace Brand {
    type valid = typeof validSym;
    type name = typeof namedSym;
    type Validated<A, K extends string> = A & Brand.Valid<A, K>;
    /**
     * @tsplus derive nominal
     */
    interface Valid<in out A, in out K extends string> {
        [validSym]: {
            [k in K]: A;
        };
    }
    type IsValidated<P extends Valid<any, any>> = {
        [k in keyof P[Brand.valid]]: P extends P[Brand.valid][k] ? 0 : 1;
    }[keyof P[Brand.valid]] extends 0 ? unknown : never;
    type Unbranded<P> = P extends infer Q & Brands<P> ? Q : P;
    type Unnamed<P> = P extends infer Q & Names<P> ? Q : P;
    type Brands<P> = P extends Valid<any, any> ? TypeLevel.UnionToIntersection<{
        [k in keyof P[Brand.valid]]: P extends P[Brand.valid][k] ? k extends string ? Valid<P[Brand.valid][k], k> : never : never;
    }[keyof P[Brand.valid]]> : unknown;
    type Names<P> = P extends Brand<any> ? TypeLevel.UnionToIntersection<{
        [k in keyof P[Brand.name]]: k extends string ? Brand<k> : never;
    }[keyof P[Brand.name]]> : unknown;
    interface FailedValidation {
        readonly _tag: "FailedValidation";
        readonly brands: string[];
        readonly message: string;
    }
    /**
     * @tsplus type Brand.MakeValidated
     * @tsplus derive nominal
     */
    interface MakeValidated<in out A> {
        make: (value: Unnamed<Unbranded<A>>) => Either<FailedValidation, A>;
        unsafeMake: (value: Unnamed<Unbranded<A>>) => A;
    }
    /**
     * @tsplus type Brand.Make
     * @tsplus derive nominal
     */
    interface Make<in out A> {
        make: (value: Unnamed<Unbranded<A>>) => A;
    }
    /**
     * @tsplus type Brand.Validation
     * @tsplus derive nominal
     */
    interface Validation<in out A, in out K extends string> {
        readonly validate: (a: A) => a is A & Brand.Valid<A, K>;
    }
    type ValidatedWith<X extends Validation<any, any>> = X extends Validation<infer A, infer K> ? Validated<A, K> : never;
    /**
     * @tsplus type Brand/Ops
     */
    interface Ops {
        readonly validation: <A, K extends string>(predicate: (a: A) => boolean) => Brand.Validation<A, K>;
    }
}
export declare function validation<A, K extends string>(predicate: (a: A) => boolean): Brand.Validation<A, K>;
export declare const Brand: Brand.Ops;
export declare class FailedValidationException extends Error implements Brand.FailedValidation {
    readonly brands: string[];
    readonly _tag = "FailedValidation";
    constructor(brands: string[]);
}
export declare class FailedValidationError implements Brand.FailedValidation {
    readonly brands: string[];
    readonly _tag = "FailedValidation";
    constructor(brands: string[]);
    get message(): string;
}
export type MinLen<N extends number> = Brand.Valid<{
    length: number;
}, `MinLen(${N})`>;
export type MaxLen<N extends number> = Brand.Valid<{
    length: number;
}, `MaxLen(${N})`>;
export type RangeLen<X extends number, Y extends number> = MinLen<X> & MaxLen<Y>;
/**
 * @tsplus derive Brand.Validation<_, _> 10
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare function deriveMinLenValidation<B extends {
    length: number;
}, V extends `MinLen(${number})`>(...[min]: V extends `MinLen(${infer N extends number})` ? [N] : never): Brand.Validation<B, V>;
/**
 * @tsplus derive Brand.Validation<_, _> 10
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare function deriveMaxLenValidation<B extends {
    length: number;
}, V extends `MaxLen(${number})`>(...[max]: V extends `MaxLen(${infer N extends number})` ? [N] : never): Brand.Validation<B, V>;
export type Regex<R extends string> = Brand.Validated<string, `Regex(${R})`>;
/**
 * @tsplus derive Brand.Validation<_, _> 10
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare function deriveRegexValidation<B extends string, V extends `Regex(${string})`>(...[regexStr]: V extends `Regex(${infer R extends string})` ? [R] : never): Brand.Validation<B, V>;
export type Min<N extends number> = Brand.Validated<number, `Min(${N})`>;
export type Max<N extends number> = Brand.Validated<number, `Max(${N})`>;
export type Range<X extends number, Y extends number> = Min<X> & Max<Y>;
/**
 * @tsplus derive Brand.Validation<_, _> 10
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare function deriveMinValidation<B extends number, V extends `Min(${number})`>(...[min]: V extends `Min(${infer N extends number})` ? [N] : never): Brand.Validation<B, V>;
/**
 * @tsplus derive Brand.Validation<_, _> 10
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare function deriveMaxValidation<B extends number, V extends `Max(${number})`>(...[max]: V extends `Max(${infer N extends number})` ? [N] : never): Brand.Validation<B, V>;
/**
 * @tsplus derive Brand.MakeValidated<_> 10
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare function deriveMakeMakeValidated<A>(...[brands]: [
    brands: A extends Brand.Valid<any, any> ? {
        [k in (keyof A[Brand.valid]) & string]: Brand.Validation<A[Brand.valid][k], k>;
    } : {}
]): Brand.MakeValidated<A>;
/**
 * @tsplus derive Brand.Make<_> 10
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare function deriveMake<A>(..._: []): Brand.Make<A>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare const Positive: Brand.Validation<number, "Positive">;
export type Positive = Brand.ValidatedWith<typeof Positive>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare const Int: Brand.Validation<number, "Int">;
export type Int = Brand.ValidatedWith<typeof Int>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare const Finite: Brand.Validation<number, "Finite">;
export type Finite = Brand.ValidatedWith<typeof Finite>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Brand"
 */
export declare const UUID: Brand.Validation<string, "UUID">;
export type UUID = Brand.ValidatedWith<typeof UUID>;
export {};
//# sourceMappingURL=Brand.d.ts.map