type SchemaPathPart = string | number;
type SchemaIssue = {
    readonly path: readonly SchemaPathPart[];
    readonly expected: string;
    readonly received: string;
    readonly message: string;
};
type SchemaResult<A> = {
    readonly success: true;
    readonly data: A;
} | {
    readonly success: false;
    readonly issues: readonly SchemaIssue[];
};
type AnySchema = Schema<any, any>;
type InferSchema<S> = S extends Schema<infer A, any> ? A : never;
type SchemaShape = Record<string, AnySchema>;
type OptionalKeys<Shape extends SchemaShape> = {
    [K in keyof Shape]: Shape[K] extends Schema<any, true> ? K : never;
}[keyof Shape];
type RequiredKeys<Shape extends SchemaShape> = Exclude<keyof Shape, OptionalKeys<Shape>>;
type Simplify<T> = {
    [K in keyof T]: T[K];
} & {};
type InferObject<Shape extends SchemaShape> = Simplify<{
    [K in RequiredKeys<Shape>]: InferSchema<Shape[K]>;
} & {
    [K in OptionalKeys<Shape>]?: Exclude<InferSchema<Shape[K]>, undefined>;
}>;
type JsonValidatorResult<A> = {
    readonly success: true;
    readonly data: A;
} | {
    readonly success: false;
    readonly error: string;
    readonly issues?: readonly SchemaIssue[];
};
type JsonValidator<A> = (data: unknown) => JsonValidatorResult<A>;
type JsonSchemaLike<A> = Schema<A, any> | JsonValidator<A>;
type AnyJsonSchemaLike = JsonSchemaLike<any>;
type InferJsonSchema<V> = V extends Schema<infer A, any> ? A : V extends JsonValidator<infer A> ? A : never;
type StringSchemaOptions = {
    readonly minLength?: number;
    readonly maxLength?: number;
    readonly pattern?: RegExp;
    readonly name?: string;
};
type NumberSchemaOptions = {
    readonly min?: number;
    readonly max?: number;
    readonly int?: boolean;
    readonly finite?: boolean;
    readonly name?: string;
};
type ObjectSchemaOptions = {
    readonly unknownKeys?: "strip" | "passthrough" | "strict";
    readonly name?: string;
};
declare class SchemaValidationException extends Error {
    readonly issues: readonly SchemaIssue[];
    constructor(issues: readonly SchemaIssue[]);
}
declare class ConfigValidationError extends Error {
    readonly _tag = "ConfigValidationError";
    readonly configName: string;
    readonly issues: readonly SchemaIssue[];
    constructor(configName: string, issues: readonly SchemaIssue[]);
}
declare function isConfigValidationError(error: unknown): error is ConfigValidationError;
declare function formatConfigError(error: unknown): string;
declare const makeSchemaIssue: (path: readonly SchemaPathPart[], expected: string, received: unknown, message?: string) => SchemaIssue;
declare function formatIssues(issues: readonly SchemaIssue[]): string;
declare function stringSchema(options?: StringSchemaOptions): Schema<string>;
declare function nonEmptyStringSchema(options?: Omit<StringSchemaOptions, "minLength">): Schema<string>;
declare function emailSchema(): Schema<string>;
declare function uuidSchema(): Schema<string>;
declare function urlSchema(): Schema<string>;
declare function dateIsoSchema(): Schema<string>;
declare function numberSchema(options?: NumberSchemaOptions): Schema<number>;
declare function intSchema(options?: Omit<NumberSchemaOptions, "int">): Schema<number>;
declare function positiveSchema(options?: NumberSchemaOptions): Schema<number>;
declare function booleanSchema(name?: string): Schema<boolean>;
declare function unknownSchema(): Schema<unknown>;
declare function anySchema(): Schema<any>;
declare function literalSchema<const Value extends string | number | boolean | null>(value: Value): Schema<Value>;
declare function enumSchema<const Values extends readonly [string | number, ...(string | number)[]]>(values: Values): Schema<Values[number]>;
declare function arraySchema<S extends AnySchema>(item: S): Schema<Array<InferSchema<S>>>;
declare function objectSchema<Shape extends SchemaShape>(shape: Shape, options?: ObjectSchemaOptions): Schema<InferObject<Shape>>;
declare function recordSchema<S extends AnySchema>(valueSchema: S): Schema<Record<string, InferSchema<S>>>;
declare function unionSchema<const Members extends readonly [AnySchema, AnySchema, ...AnySchema[]]>(members: Members): Schema<InferSchema<Members[number]>>;
declare function customSchema<A>(guard: (input: unknown) => input is A, expected: string, message?: string): Schema<A>;
declare const schema: Readonly<{
    string: typeof stringSchema;
    nonEmptyString: typeof nonEmptyStringSchema;
    email: typeof emailSchema;
    url: typeof urlSchema;
    uuid: typeof uuidSchema;
    dateIso: typeof dateIsoSchema;
    number: typeof numberSchema;
    int: typeof intSchema;
    positive: typeof positiveSchema;
    boolean: typeof booleanSchema;
    literal: typeof literalSchema;
    enum: typeof enumSchema;
    array: typeof arraySchema;
    object: typeof objectSchema;
    record: typeof recordSchema;
    union: typeof unionSchema;
    optional: <S extends AnySchema>(inner: S) => Schema<InferSchema<S> | undefined, true>;
    nullable: <S extends AnySchema>(inner: S) => Schema<InferSchema<S> | null, S["isOptional"]>;
    unknown: typeof unknownSchema;
    any: typeof anySchema;
    custom: typeof customSchema;
}>;
declare const s: Readonly<{
    string: typeof stringSchema;
    nonEmptyString: typeof nonEmptyStringSchema;
    email: typeof emailSchema;
    url: typeof urlSchema;
    uuid: typeof uuidSchema;
    dateIso: typeof dateIsoSchema;
    number: typeof numberSchema;
    int: typeof intSchema;
    positive: typeof positiveSchema;
    boolean: typeof booleanSchema;
    literal: typeof literalSchema;
    enum: typeof enumSchema;
    array: typeof arraySchema;
    object: typeof objectSchema;
    record: typeof recordSchema;
    union: typeof unionSchema;
    optional: <S extends AnySchema>(inner: S) => Schema<InferSchema<S> | undefined, true>;
    nullable: <S extends AnySchema>(inner: S) => Schema<InferSchema<S> | null, S["isOptional"]>;
    unknown: typeof unknownSchema;
    any: typeof anySchema;
    custom: typeof customSchema;
}>;
type Schema<A, Optional extends boolean = false> = {
    readonly _tag: "Schema";
    readonly kind: string;
    readonly name?: string;
    readonly isOptional: Optional;
    readonly _parse: (input: unknown, path: readonly SchemaPathPart[]) => SchemaResult<A>;
    readonly safeParse: (input: unknown) => SchemaResult<A>;
    readonly parse: (input: unknown) => A;
    readonly optional: () => Schema<A | undefined, true>;
    readonly nullable: () => Schema<A | null, Optional>;
    readonly array: () => Schema<A[], false>;
    readonly refine: (predicate: (value: A) => boolean, message?: string) => Schema<A, Optional>;
    readonly transform: <B>(fn: (value: A) => B, expected?: string) => Schema<B, false>;
};
declare const Schema: Readonly<{
    string: typeof stringSchema;
    nonEmptyString: typeof nonEmptyStringSchema;
    email: typeof emailSchema;
    url: typeof urlSchema;
    uuid: typeof uuidSchema;
    dateIso: typeof dateIsoSchema;
    number: typeof numberSchema;
    int: typeof intSchema;
    positive: typeof positiveSchema;
    boolean: typeof booleanSchema;
    literal: typeof literalSchema;
    enum: typeof enumSchema;
    array: typeof arraySchema;
    object: typeof objectSchema;
    record: typeof recordSchema;
    union: typeof unionSchema;
    optional: <S extends AnySchema>(inner: S) => Schema<InferSchema<S> | undefined, true>;
    nullable: <S extends AnySchema>(inner: S) => Schema<InferSchema<S> | null, S["isOptional"]>;
    unknown: typeof unknownSchema;
    any: typeof anySchema;
    custom: typeof customSchema;
}>;
declare function isSchema(value: unknown): value is AnySchema;
declare function validateValue<A>(data: unknown, validator: JsonSchemaLike<A>): SchemaResult<A>;
declare function parseConfig<A>(configName: string, validator: JsonSchemaLike<A>, value: unknown): A;

export { type AnyJsonSchemaLike, type AnySchema, ConfigValidationError, type InferJsonSchema, type InferObject, type InferSchema, type JsonSchemaLike, type JsonValidator, type JsonValidatorResult, type NumberSchemaOptions, type ObjectSchemaOptions, Schema, type SchemaIssue, type SchemaPathPart, type SchemaResult, type SchemaShape, SchemaValidationException, type StringSchemaOptions, formatConfigError, formatIssues, isConfigValidationError, isSchema, makeSchemaIssue, parseConfig, s, schema, validateValue };