import { AST, LiteralValue } from "@fncts/schema/AST";
import { Schema, OptionalSchema } from "@fncts/schema/Schema/definition";
import { ASTAnnotation } from "@fncts/schema/ASTAnnotation";
import { Vector } from "@fncts/base/collection/immutable/Vector";
import { Parser } from "@fncts/schema/Parser/definition";
import { ASTAnnotationMap } from "@fncts/schema/ASTAnnotationMap";
import { Refinement } from "@fncts/base/data/Refinement/definition";
import { Predicate } from "@fncts/base/data/Predicate/definition";
import { Maybe } from "@fncts/base/data/Maybe/definition";
import { ParseResult } from "@fncts/schema/ParseResult";
import type { ParseOptions } from "../AST.js";
import type { Brand, Validation } from "@fncts/base/data/Branded";
/**
 * @tsplus static fncts.schema.SchemaOps fromAST
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function make<A>(ast: AST): Schema<A>;
/**
 * @tsplus pipeable fncts.schema.Schema annotate
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function annotate<V>(annotation: ASTAnnotation<V>, value: V): <A>(self: Schema<A>) => Schema<A>;
/**
 * @tsplus static fncts.schema.SchemaOps declaration
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function declaration(typeParameters: Vector<Schema<any>>, decode: (...typeParameters: ReadonlyArray<Schema<any>>) => Parser<any>, encode: (...typeParameters: ReadonlyArray<Schema<any>>) => Parser<any>, annotations?: ASTAnnotationMap): Schema<any>;
/**
 * @tsplus pipeable fncts.schema.Schema filter
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function filter<A, B extends A>(refinement: Refinement<A, B>): (self: Schema<A>) => Schema<B>;
export declare function filter<A>(predicate: Predicate<A>): (self: Schema<A>) => Schema<A>;
/**
 * @tsplus pipeable fncts.schema.Schema brand
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function brand<A, K extends string>(validation: Validation<A, K>): (self: Schema<A>) => Schema<A & Brand.Valid<A, K>>;
/**
 * @tsplus static fncts.schema.SchemaOps literal
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function literal<Literals extends ReadonlyArray<LiteralValue>>(...literals: Literals): Schema<Literals[number]>;
/**
 * @tsplus static fncts.schema.SchemaOps never
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const never: Schema<never>;
/**
 * @tsplus static fncts.schema.SchemaOps unknown
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const unknown: Schema<unknown>;
/**
 * @tsplus static fncts.schema.SchemaOps any
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const any: Schema<any>;
/**
 * @tsplus static fncts.schema.SchemaOps undefined
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const _undefined: Schema<undefined>;
export { _undefined as undefined };
/**
 * @tsplus static fncts.schema.SchemaOps null
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const _null: Schema<null>;
export { _null as null };
/**
 * @tsplus static fncts.schema.SchemaOps void
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const _void: Schema<void>;
export { _void as void };
/**
 * @tsplus static fncts.schema.SchemaOps string
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const string: Schema<string>;
/**
 * @tsplus static fncts.schema.SchemaOps number
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const number: Schema<number>;
/**
 * @tsplus static fncts.schema.SchemaOps boolean
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const boolean: Schema<boolean>;
/**
 * @tsplus static fncts.schema.SchemaOps bigint
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const bigint: Schema<bigint>;
/**
 * @tsplus static fncts.schema.SchemaOps symbol
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const symbol: Schema<symbol>;
/**
 * @tsplus static fncts.schema.SchemaOps object
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const object: Schema<object>;
/**
 * @tsplus static fncts.schema.SchemaOps date
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const date: Schema<Date>;
/**
 * @tsplus implicit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare const implicitDate: Schema<Date>;
/**
 * @tsplus derive fncts.schema.Schema<|> 30
 * @tsplus static fncts.schema.SchemaOps union
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function union<A extends ReadonlyArray<unknown>>(...members: {
    [K in keyof A]: Schema<A[K]>;
}): Schema<A[number]>;
/**
 * @tsplus getter fncts.schema.Schema nullable
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function nullable<A>(self: Schema<A>): Schema<A | null>;
/**
 * @tsplus static fncts.schema.SchemaOps uniqueSymbol
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function uniqueSymbol<S extends symbol>(symbol: S, annotations?: ASTAnnotationMap): Schema<S>;
/**
 * @tsplus getter fncts.schema.Schema optional
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function optional<A>(self: Schema<A>): OptionalSchema<A>;
/**
 * @tsplus fluent fncts.schema.Schema isOptional
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function isOptional<A>(self: Schema<A>): self is OptionalSchema<A>;
export type OptionalSchemaKeys<T> = {
    [K in keyof T]: T[K] extends OptionalSchema<any> ? K : never;
}[keyof T];
/**
 * @tsplus getter fncts.schema.Schema parseOptional
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function parseOptional<A>(self: Schema<A>): Schema<Maybe<A>>;
/**
 * @tsplus fluent fncts.schema.Schema isParseOptional
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function isParseOptional<A>(self: Schema<A>): boolean;
export type Spread<A> = {
    [K in keyof A]: A[K];
} extends infer B ? B : never;
/**
 * @tsplus static fncts.schema.SchemaOps struct
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function struct<Fields extends Record<PropertyKey, Schema<any>>>(fields: Fields): Schema<Spread<{
    readonly [K in Exclude<keyof Fields, OptionalSchemaKeys<Fields>>]: Schema.Infer<Fields[K]>;
} & {
    readonly [K in OptionalSchemaKeys<Fields>]?: Schema.Infer<Fields[K]>;
}>>;
/**
 * @tsplus static fncts.schema.SchemaOps tuple
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function tuple<Elements extends ReadonlyArray<Schema<any>>>(...elements: Elements): Schema<{
    readonly [K in keyof Elements]: Schema.Infer<Elements[K]>;
}>;
/**
 * @tsplus static fncts.schema.SchemaOps lazy
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function lazy<A>(f: () => Schema<A>, annotations?: ASTAnnotationMap): Schema<A>;
/**
 * @tsplus static fncts.schema.SchemaOps array
 * @tsplus getter fncts.schema.Schema array
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function array<A>(item: Schema<A>): Schema<ReadonlyArray<A>>;
/**
 * @tsplus static fncts.schema.SchemaOps mutableArray
 * @tsplus getter fncts.schema.Schema mutableArray
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function mutableArray<A>(item: Schema<A>): Schema<Array<A>>;
/**
 * @tsplus static fncts.schema.SchemaOps record
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function record<K extends string | symbol, V>(key: Schema<K>, value: Schema<V>): Schema<{
    readonly [k in K]: V;
}>;
/**
 * @tsplus static fncts.schema.SchemaOps enum
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function enum_<A extends {
    [x: string]: string | number;
}>(enums: A): Schema<A[keyof A]>;
export { enum_ as enum };
type Join<T> = T extends [infer Head, ...infer Tail] ? `${Head & (string | number | bigint | boolean | null | undefined)}${Tail extends [] ? "" : Join<Tail>}` : never;
/**
 * @tsplus static fncts.schema.SchemaOps templateLiteral
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function templateLiteral<T extends [Schema<any>, ...Array<Schema<any>>]>(...[head, ...tail]: T): Schema<Join<{
    [K in keyof T]: Schema.Infer<T[K]>;
}>>;
/**
 * @tsplus static fncts.schema.SchemaOps keyof
 * @tsplus getter fncts.schema.Schema keyof
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function keyof<A>(self: Schema<A>): Schema<keyof A>;
/**
 * @tsplus pipeable fncts.schema.Schema extend
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function extend<B>(that: Schema<B>): <A>(self: Schema<A>) => Schema<Spread<A & B>>;
/**
 * @tsplus pipeable fncts.schema.Schema instanceOf
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function instanceOf<A extends abstract new (...args: any) => any>(constructor: A): (self: Schema<object>) => Schema<InstanceType<A>>;
/**
 * @tsplus pipeable fncts.schema.Schema transformOrFail
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function transformOrFail<A, B>(to: Schema<B>, decode: (input: A, options?: ParseOptions) => ParseResult<B>, encode: (input: B, options?: ParseOptions) => ParseResult<A>): (from: Schema<A>) => Schema<B>;
/**
 * @tsplus pipeable fncts.schema.Schema transform
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function transform<A, B>(to: Schema<B>, decode: (input: A, options?: ParseOptions) => B, encode: (input: B, options?: ParseOptions) => A): (from: Schema<A>) => Schema<B>;
/**
 * @tsplus pipeable fncts.schema.Schema pick
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function pick<A, Keys extends ReadonlyArray<keyof A>>(...keys: Keys): (self: Schema<A>) => Schema<Pick<A, Keys[number]>>;
/**
 * @tsplus pipeable fncts.schema.Schema omit
 * @tsplus location "@fncts/schema/Schema/api"
 */
export declare function omit<A, Keys extends ReadonlyArray<keyof A>>(...keys: Keys): (self: Schema<A>) => Schema<Omit<A, Keys[number]>>;