import { LazyArg } from "@effect-ts-app/core/Function";
import { Opt } from "@effect-ts-app/core/Option";
import { ROSet, Ord, Equal } from "@effect-ts-app/core/Prelude";
import * as NonEmptySet from "@effect-ts-app/core/NonEmptySet";
import type { ComputeFlat } from "@effect-ts/core/Utils";
import type { None, Some } from "@fp-ts/data/Option";
import type { FromProperty } from "./_api.js";
import * as MO from "./_schema.js";
import type { Property, UUID } from "./_schema.js";
import * as Eq from "@effect-ts/core/Equal";
export declare function partialConstructor<ConstructorInput, ParsedShape>(model: {
    new (inp: ConstructorInput): ParsedShape;
}): <PartialConstructorInput extends Partial<ConstructorInput>>(partConstructor: PartialConstructorInput) => (restConstructor: ComputeFlat<Omit<ConstructorInput, keyof PartialConstructorInput>>) => ParsedShape;
export declare function partialConstructor_<ConstructorInput, ParsedShape, PartialConstructorInput extends Partial<ConstructorInput>>(model: {
    new (inp: ConstructorInput): ParsedShape;
}, partConstructor: PartialConstructorInput): (restConstructor: ComputeFlat<Omit<ConstructorInput, keyof PartialConstructorInput>>) => ParsedShape;
export declare function partialConstructorF<ConstructorInput, ParsedShape>(constr: (inp: ConstructorInput) => ParsedShape): <PartialConstructorInput extends Partial<ConstructorInput>>(partConstructor: PartialConstructorInput) => (restConstructor: ComputeFlat<Omit<ConstructorInput, keyof PartialConstructorInput>>) => ParsedShape;
export declare function partialConstructorF_<ConstructorInput, ParsedShape, PartialConstructorInput extends Partial<ConstructorInput>>(constr: (inp: ConstructorInput) => ParsedShape, partConstructor: PartialConstructorInput): (restConstructor: ComputeFlat<Omit<ConstructorInput, keyof PartialConstructorInput>>) => ParsedShape;
export declare function derivePartialConstructor<ConstructorInput, ParsedShape>(model: {
    [MO.schemaField]: MO.Schema<any, ParsedShape, ConstructorInput, any, any>;
    new (inp: ConstructorInput): ParsedShape;
}): <PartialConstructorInput extends Partial<ConstructorInput>>(partConstructor: PartialConstructorInput) => (restConstructor: ComputeFlat<Omit<ConstructorInput, keyof PartialConstructorInput>>) => ParsedShape;
export declare function derivePartialConstructor_<ConstructorInput, ParsedShape, PartialConstructorInput extends Partial<ConstructorInput>>(model: {
    [MO.schemaField]: MO.Schema<any, ParsedShape, ConstructorInput, any, any>;
    new (inp: ConstructorInput): ParsedShape;
}, partConstructor: PartialConstructorInput): (restConstructor: ComputeFlat<Omit<ConstructorInput, keyof PartialConstructorInput>>) => ParsedShape;
export type GetPartialConstructor<A extends (...args: any) => any> = Parameters<ReturnType<A>>[0];
export declare function makeUuid(): MO.UUID;
type LazyPartial<T> = {
    [P in keyof T]?: LazyArg<T[P]>;
};
export declare function withDefaultConstructorFields<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: MO.Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>): <Changes extends LazyPartial<ConstructorInput>>(kvs: Changes) => MO.Schema<ParserInput, ParsedShape, Omit<ConstructorInput, keyof Changes> & Partial<Pick<ConstructorInput, keyof Changes>>, Encoded, Api>;
export declare function makeCurrentDate(): Date;
export declare function defaultConstructor<Self extends MO.SchemaUPI, As extends Opt<PropertyKey>, Def extends Opt<["parser" | "constructor" | "both", () => MO.ParsedShapeOf<Self>]>>(p: MO.Property<Self, "required", As, Def>): (makeDefault: () => MO.ParsedShapeOf<Self>) => MO.Property<Self, "required", As, Some<["constructor", () => MO.ParsedShapeOf<Self>]>>;
type SupportedDefaults = ROSet<any> | ReadonlyArray<any> | Some<any> | None | Date | boolean | UUID;
export declare function findAnnotation<A>(schema: MO.SchemaAny, id: MO.Annotation<A>): A | undefined;
export type SupportedDefaultsSchema = MO.Schema<any, SupportedDefaults, any, any, any>;
export type DefaultProperty = FromProperty<any, any, any, any>;
export type DefaultPropertyRecord = Record<PropertyKey, DefaultProperty>;
export type WithDefault<ParsedShape extends SupportedDefaults, ConstructorInput, Encoded, Api, As extends Opt<PropertyKey>> = MO.Property<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", As, Some<["constructor", () => ParsedShape]>>;
export type WithInputDefault<ParsedShape extends SupportedDefaults, ConstructorInput, Encoded, Api, As extends Opt<PropertyKey>> = MO.Property<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", As, Some<["both", () => ParsedShape]>>;
export declare function withDefault<ParsedShape extends SupportedDefaults, ConstructorInput, Encoded, Api, As extends Opt<PropertyKey>, Def extends Opt<[
    "parser" | "constructor" | "both",
    () => MO.ParsedShapeOf<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>>
]>>(p: MO.Property<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", As, Def>): WithDefault<ParsedShape, ConstructorInput, Encoded, Api, As>;
export declare function withInputDefault<ParsedShape extends SupportedDefaults, ConstructorInput, Encoded, Api, As extends Opt<PropertyKey>, Def extends Opt<[
    "parser" | "constructor" | "both",
    () => MO.ParsedShapeOf<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>>
]>>(p: MO.Property<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", As, Def>): WithInputDefault<ParsedShape, ConstructorInput, Encoded, Api, As>;
export declare function optProp<Self extends MO.SchemaUPI>(schema: Self): Property<Self, "optional", None, None>;
export declare function defaultProp<ParsedShape, ConstructorInput, Encoded, Api>(schema: MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, makeDefault: () => ParsedShape): MO.Property<MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["constructor", () => ParsedShape]>>;
export declare function defaultProp<ParsedShape extends SupportedDefaults, ConstructorInput, Encoded, Api>(schema: MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>): FromProperty<MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["constructor", () => ParsedShape]>>;
export declare function defaultProp<ParsedShape, ConstructorInput, Encoded, Api>(schema: MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>): null extends ParsedShape ? FromProperty<MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["constructor", () => ParsedShape]>> : ["Not a supported type, see SupportedTypes", never];
export declare function defaultProp<ParsedShape, ConstructorInput, Encoded, Api>(schema: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, makeDefault: () => ParsedShape): MO.Property<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["constructor", () => ParsedShape]>>;
export declare function defaultProp<ParsedShape extends SupportedDefaults, ConstructorInput, Encoded, Api>(schema: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>): FromProperty<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["constructor", () => ParsedShape]>>;
export declare function defaultProp<ParsedShape, ConstructorInput, Encoded, Api>(schema: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>): null extends ParsedShape ? FromProperty<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["constructor", () => ParsedShape]>> : ["Not a supported type, see SupportedTypes", never];
export declare function defaultInputProp<ParsedShape, ConstructorInput, Encoded, Api>(schema: MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, makeDefault: () => ParsedShape): MO.Property<MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["both", () => ParsedShape]>>;
export declare function defaultInputProp<ParsedShape extends SupportedDefaults, ConstructorInput, Encoded, Api>(schema: MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>): FromProperty<MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["both", () => ParsedShape]>>;
export declare function defaultInputProp<ParsedShape, ConstructorInput, Encoded, Api>(schema: MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>): null extends ParsedShape ? FromProperty<MO.SchemaDefaultSchema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["both", () => ParsedShape]>> : ["Not a supported type, see SupportedTypes", never];
export declare function defaultInputProp<ParsedShape, ConstructorInput, Encoded, Api>(schema: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, makeDefault: () => ParsedShape): MO.Property<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["both", () => ParsedShape]>>;
export declare function defaultInputProp<ParsedShape extends SupportedDefaults, ConstructorInput, Encoded, Api>(schema: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>): FromProperty<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["both", () => ParsedShape]>>;
export declare function defaultInputProp<ParsedShape, ConstructorInput, Encoded, Api>(schema: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>): null extends ParsedShape ? FromProperty<MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, "required", None, Some<["both", () => ParsedShape]>> : ["Not a supported type, see SupportedTypes", never];
export declare function makeOptional<NER extends Record<string, MO.AnyProperty>>(t: NER): {
    [K in keyof NER]: MO.Property<NER[K]["_schema"], "optional", NER[K]["_as"], NER[K]["_def"]>;
};
export declare function makeRequired<NER extends Record<string, MO.AnyProperty>>(t: NER): {
    [K in keyof NER]: MO.Property<NER[K]["_schema"], "required", NER[K]["_as"], NER[K]["_def"]>;
};
export declare function createUnorder<T>(): Ord<T>;
export declare function makeSet<ParsedShape, ConstructorInput, Encoded, Api>(type: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, ord: Ord<ParsedShape>, eq?: Equal<ParsedShape>): MO.SchemaDefaultSchema<unknown, NonEmptySet.Set<ParsedShape>, NonEmptySet.Set<ParsedShape>, readonly Encoded[], {
    self: Api;
    eq: import("@effect-ts-app/core/Prelude").Equal<ParsedShape>;
    ord: import("@effect-ts-app/core/Prelude").Ord<ParsedShape>;
}> & import("@effect-ts-app/core/Set").SetSchemaExtensions<ParsedShape>;
export declare function makeUnorderedStringSet<A extends string>(type: MO.Schema<unknown, // ParserInput,
A, any, // ConstructorInput,
any, // Encoded
any>): MO.SchemaDefaultSchema<unknown, NonEmptySet.Set<A>, NonEmptySet.Set<A>, readonly any[], {
    self: any;
    eq: import("@effect-ts-app/core/Prelude").Equal<A>;
    ord: import("@effect-ts-app/core/Prelude").Ord<A>;
}> & import("@effect-ts-app/core/Set").SetSchemaExtensions<A>;
export declare function makeUnorderedSet<ParsedShape, ConstructorInput, Encoded, Api>(type: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, eq: Eq.Equal<ParsedShape>): MO.SchemaDefaultSchema<unknown, NonEmptySet.Set<ParsedShape>, NonEmptySet.Set<ParsedShape>, readonly Encoded[], {
    self: Api;
    eq: import("@effect-ts-app/core/Prelude").Equal<ParsedShape>;
    ord: import("@effect-ts-app/core/Prelude").Ord<ParsedShape>;
}> & import("@effect-ts-app/core/Set").SetSchemaExtensions<ParsedShape>;
export declare function makeNonEmptySet<ParsedShape, ConstructorInput, Encoded, Api>(type: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, ord: Ord<ParsedShape>, eq?: Equal<ParsedShape>): MO.SchemaDefaultSchema<unknown, NonEmptySet.Set<ParsedShape> & NonEmptySet.NonEmptyBrand, NonEmptySet.Set<ParsedShape>, readonly Encoded[], {
    self: Api;
    eq: import("@effect-ts-app/core/Prelude").Equal<ParsedShape>;
    ord: import("@effect-ts-app/core/Prelude").Ord<ParsedShape>;
}> & NonEmptySet.NonEmptySetSchemaExtensions<ParsedShape>;
export declare function makeUnorderedStringNonEmptySet<A extends string>(type: MO.Schema<unknown, // ParserInput,
A, any, // ConstructorInput,
any, // Encoded
any>): MO.SchemaDefaultSchema<unknown, NonEmptySet.Set<A> & NonEmptySet.NonEmptyBrand, NonEmptySet.Set<A>, readonly any[], {
    self: any;
    eq: import("@effect-ts-app/core/Prelude").Equal<A>;
    ord: import("@effect-ts-app/core/Prelude").Ord<A>;
}> & NonEmptySet.NonEmptySetSchemaExtensions<A>;
export declare function makeUnorderedNonEmptySet<ParsedShape, ConstructorInput, Encoded, Api>(type: MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>, eq: Eq.Equal<ParsedShape>): MO.SchemaDefaultSchema<unknown, NonEmptySet.Set<ParsedShape> & NonEmptySet.NonEmptyBrand, NonEmptySet.Set<ParsedShape>, readonly Encoded[], {
    self: Api;
    eq: import("@effect-ts-app/core/Prelude").Equal<ParsedShape>;
    ord: import("@effect-ts-app/core/Prelude").Ord<ParsedShape>;
}> & NonEmptySet.NonEmptySetSchemaExtensions<ParsedShape>;
export declare const constArray: import("@fp-ts/data/Function").LazyArg<(<A = never>() => A[])>;
export type ParserInputFromSchemaProperties<T> = T extends {
    Api: {
        props: infer Props;
    };
} ? Props extends MO.PropertyRecord ? MO.ParserInputFromProperties<Props> : never : never;
/**
 * We know that the Parser will work from `unknown`, but we also want to expose the knowledge that we can parse from a ParserInput of type X
 * as such we can use fromProps, fromProp, fromArray etc, but still embed this Schema into one that parses from unknown.
 */
export type AsUPI<ParsedShape, ConstructorInput, Encoded, Api> = MO.Schema<unknown, ParsedShape, ConstructorInput, Encoded, Api>;
/**
 * @see AsUPI
 */
export declare const asUpi: <ParsedShape, ConstructorInput, Encoded, Api>(s: MO.Schema<any, ParsedShape, ConstructorInput, Encoded, Api>) => AsUPI<ParsedShape, ConstructorInput, Encoded, Api>;
export {};
//# sourceMappingURL=ext.d.ts.map