import { Opt } from "@effect-ts-app/core/Option";
import { Some, None } from "@fp-ts/data/Option";
import * as HashMap from "@effect-ts/core/Collections/Immutable/HashMap";
import type { Compute, UnionToIntersection } from "@effect-ts/core/Utils";
import * as S from "../_schema.js";
import type { Annotation } from "../_schema/annotation.js";
import type { LiteralApi } from "./literal.js";
import type { DefaultSchema } from "./withDefaults.js";
/**
 * @tsplus type ets/Schema/Property
 * @tsplus companion ets/Schema/PropertyOps
 */
export declare class Property<Self extends S.SchemaUPI, Optional extends "optional" | "required", As extends Opt<PropertyKey>, Def extends Opt<["parser" | "constructor" | "both", () => S.ParsedShapeOf<Self>]>> {
    readonly _as: As;
    readonly _schema: Self;
    readonly _optional: Optional;
    readonly _def: Def;
    readonly _map: HashMap.HashMap<Annotation<any>, any>;
    constructor(_as: As, _schema: Self, _optional: Optional, _def: Def, _map: HashMap.HashMap<Annotation<any>, any>);
}
export declare function propDef<Self extends S.SchemaAny, Optional extends "optional" | "required", As extends Opt<PropertyKey>, Def extends Opt<["parser" | "constructor" | "both", () => S.ParsedShapeOf<Self>]>>(prop: Property<Self, Optional, As, Def>, _: Optional extends "required" ? () => S.ParsedShapeOf<Self> : ["default can be set only for required properties", never]): Property<Self, Optional, As, Some<["both", () => S.ParsedShapeOf<Self>]>>;
export declare function propDef<K extends "parser" | "constructor" | "both", Self extends S.SchemaAny, Optional extends "optional" | "required", As extends Opt<PropertyKey>, Def extends Opt<["parser" | "constructor" | "both", () => S.ParsedShapeOf<Self>]>>(prop: Property<Self, Optional, As, Def>, _: Optional extends "required" ? () => S.ParsedShapeOf<Self> : ["default can be set only for required properties", never], k: K): Property<Self, Optional, As, Some<[K, () => S.ParsedShapeOf<Self>]>>;
export declare function propOpt<Self extends S.SchemaAny, Optional extends "optional" | "required", As extends Opt<PropertyKey>, Def extends Opt<["parser" | "constructor" | "both", () => S.ParsedShapeOf<Self>]>>(prop: Property<Self, Optional, As, Def>): Property<Self, "optional", As, Def>;
export declare function propReq<Self extends S.SchemaAny, Optional extends "optional" | "required", As extends Opt<PropertyKey>, Def extends Opt<["parser" | "constructor" | "both", () => S.ParsedShapeOf<Self>]>>(prop: Property<Self, Optional, As, Def>): Property<Self, "required", As, Def>;
export declare function propFrom<Self extends S.SchemaAny, Optional extends "optional" | "required", As extends Opt<PropertyKey>, Def extends Opt<["parser" | "constructor" | "both", () => S.ParsedShapeOf<Self>]>, As1 extends PropertyKey>(prop: Property<Self, Optional, As, Def>, as: As1): Property<Self, Optional, Some<As1>, Def>;
export declare function prop<Self extends S.SchemaUPI>(schema: Self): Property<Self, "required", None, None>;
export type AnyProperty = Property<any, any, any, any>;
export type PropertyRecord = Record<PropertyKey, AnyProperty>;
export type ShapeFromProperties<Props extends PropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: Props[k] extends AnyProperty ? Props[k]["_optional"] extends "optional" ? {
        readonly [h in k]?: S.ParsedShapeOf<Props[k]["_schema"]>;
    } : {
        readonly [h in k]: S.ParsedShapeOf<Props[k]["_schema"]>;
    } : never;
}[keyof Props]>, "flat">;
export type ConstructorFromProperties<Props extends PropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: k extends TagsFromProps<Props> ? never : Props[k] extends AnyProperty ? Props[k]["_optional"] extends "optional" ? {
        readonly [h in k]?: S.ParsedShapeOf<Props[k]["_schema"]>;
    } : Props[k]["_def"] extends Some<["constructor" | "both", any]> ? {
        readonly [h in k]?: S.ParsedShapeOf<Props[k]["_schema"]>;
    } : {
        readonly [h in k]: S.ParsedShapeOf<Props[k]["_schema"]>;
    } : never;
}[keyof Props]>, "flat">;
export type EncodedFromProperties<Props extends PropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: Props[k] extends AnyProperty ? Props[k]["_optional"] extends "optional" ? {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]?: S.EncodedOf<Props[k]["_schema"]>;
    } : {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]: S.EncodedOf<Props[k]["_schema"]>;
    } : never;
}[keyof Props]>, "flat">;
export type HasRequiredProperty<Props extends PropertyRecord> = unknown extends {
    [k in keyof Props]: Props[k] extends AnyProperty ? Props[k]["_optional"] extends "required" ? unknown : never : never;
}[keyof Props] ? true : false;
export type ParserErrorFromProperties<Props extends PropertyRecord> = S.CompositionE<S.PrevE<S.LeafE<S.UnknownRecordE>> | S.NextE<HasRequiredProperty<Props> extends true ? S.CompositionE<S.PrevE<S.MissingKeysE<{
    [k in keyof Props]: Props[k] extends AnyProperty ? Props[k]["_optional"] extends "optional" ? never : Props[k]["_def"] extends Some<["parser" | "both", any]> ? never : Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k : never;
}[keyof Props]>> | S.NextE<S.StructE<{
    [k in keyof Props]: Props[k] extends AnyProperty ? Props[k]["_optional"] extends "optional" ? S.OptionalKeyE<Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k, S.ParserErrorOf<Props[k]["_schema"]>> : Props[k]["_def"] extends Some<["parser" | "both", any]> ? S.OptionalKeyE<Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k, S.ParserErrorOf<Props[k]["_schema"]>> : S.RequiredKeyE<Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k, S.ParserErrorOf<Props[k]["_schema"]>> : never;
}[keyof Props]>>> : S.StructE<{
    [k in keyof Props]: Props[k] extends AnyProperty ? Props[k]["_optional"] extends "optional" ? S.OptionalKeyE<Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k, S.ParserErrorOf<Props[k]["_schema"]>> : Props[k]["_def"] extends Some<["parser" | "both", any]> ? S.OptionalKeyE<Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k, S.ParserErrorOf<Props[k]["_schema"]>> : S.RequiredKeyE<Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k, S.ParserErrorOf<Props[k]["_schema"]>> : never;
}[keyof Props]>>>;
export declare const propertiesIdentifier: S.Annotation<{
    props: PropertyRecord;
}>;
export type SchemaProperties<Props extends PropertyRecord> = DefaultSchema<unknown, ShapeFromProperties<Props>, ConstructorFromProperties<Props>, EncodedFromProperties<Props>, {
    props: Props;
}>;
export type TagsFromProps<Props extends PropertyRecord> = {
    [k in keyof Props]: Props[k]["_as"] extends None ? Props[k]["_optional"] extends "required" ? S.ApiOf<Props[k]["_schema"]> extends LiteralApi<infer KS> ? KS extends [string] ? k : never : never : never : never;
}[keyof Props];
export declare function isPropertyRecord(u: unknown): u is PropertyRecord;
export declare function tagsFromProps<Props extends PropertyRecord>(props: Props): Record<string, string>;
export declare function props<Props extends PropertyRecord>(props: Props): SchemaProperties<Props>;
export declare function propsPick<Props extends PropertyRecord, KS extends (keyof Props)[]>(...ks: KS): (self: Props) => import("@effect-ts/core/Utils").ComputeFlat<UnionToIntersection<{ [k in keyof Props]: k extends KS[number] ? { [h in k]: Props[h]; } : never; }[keyof Props]>>;
export declare function propsOmit<Props extends PropertyRecord, KS extends (keyof Props)[]>(...ks: KS): (self: Props) => import("@effect-ts/core/Utils").ComputeFlat<UnionToIntersection<{ [k in keyof Props]: k extends KS[number] ? never : { [h in k]: Props[h]; }; }[keyof Props]>>;
export type ParserInputFromProperties<Props extends PropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: Props[k] extends AnyProperty ? Props[k]["_optional"] extends "optional" ? {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]?: S.EncodedOf<Props[k]["_schema"]>;
    } : Props[k]["_def"] extends Some<["parser" | "both", any]> ? {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]?: S.EncodedOf<Props[k]["_schema"]>;
    } : {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]: S.EncodedOf<Props[k]["_schema"]>;
    } : never;
}[keyof Props]>, "flat">;
//# sourceMappingURL=properties.d.ts.map