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 "../custom.js";
import type { Annotation } from "../custom/_schema/annotation.js";
export declare class FromProperty<Self extends S.SchemaAny, 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 fromPropFrom<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: FromProperty<Self, Optional, As, Def>, as: As1): FromProperty<Self, Optional, Some<As1>, Def>;
export declare function fromProp<Self extends S.SchemaAny>(schema: Self): FromProperty<Self, "required", None, None>;
export type AnyFromProperty = FromProperty<any, any, any, any>;
export type FromPropertyRecord = Record<PropertyKey, AnyFromProperty>;
export type ShapeFromFromProperties<Props extends FromPropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: Props[k] extends AnyFromProperty ? 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 ConstructorFromFromProperties<Props extends FromPropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: k extends TagsFromFromProps<Props> ? never : Props[k] extends AnyFromProperty ? 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 EncodedFromFromProperties<Props extends FromPropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: Props[k] extends AnyFromProperty ? 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 HasRequiredFromProperty<Props extends FromPropertyRecord> = unknown extends {
    [k in keyof Props]: Props[k] extends AnyFromProperty ? Props[k]["_optional"] extends "required" ? unknown : never : never;
}[keyof Props] ? true : false;
export declare const fromPropertiesIdentifier: S.Annotation<{
    props: FromPropertyRecord;
}>;
export type SchemaFromProperties<Props extends FromPropertyRecord> = S.DefaultSchema<ParserInputFromFromProperties<Props>, ShapeFromFromProperties<Props>, ConstructorFromFromProperties<Props>, EncodedFromFromProperties<Props>, {
    props: Props;
}>;
export type TagsFromFromProps<Props extends FromPropertyRecord> = {
    [k in keyof Props]: Props[k]["_as"] extends None ? Props[k]["_optional"] extends "required" ? S.ApiOf<Props[k]["_schema"]> extends S.LiteralApi<infer KS> ? KS extends [string] ? k : never : never : never : never;
}[keyof Props];
export declare function isFromPropertyRecord(u: unknown): u is FromPropertyRecord;
export declare function tagsFromFromProps<Props extends FromPropertyRecord>(props: Props): Record<string, string>;
export declare function fromProps<Props extends FromPropertyRecord>(props: Props): SchemaFromProperties<Props>;
export declare function fromPropsPick<Props extends FromPropertyRecord, 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 fromPropsOmit<Props extends FromPropertyRecord, 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 ParserInputFromFromProperties<Props extends FromPropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: Props[k] extends AnyFromProperty ? Props[k]["_optional"] extends "optional" ? {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]?: S.ParsedShapeOf<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.ParsedShapeOf<Props[k]["_schema"]>;
    } : {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]: S.ParsedShapeOf<Props[k]["_schema"]>;
    } : never;
}[keyof Props]>, "flat">;
type IsAnyOrUnknown<T> = any extends T ? never : T;
type AorB<A, B> = IsAnyOrUnknown<A> extends never ? B : A;
export type ParserInputFromParserInputOrEncodedFromProperties<Props extends FromPropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: Props[k] extends AnyFromProperty ? Props[k]["_optional"] extends "optional" ? {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]?: AorB<S.ParserInputOf<Props[k]["_schema"]>, 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]?: AorB<S.ParserInputOf<Props[k]["_schema"]>, S.EncodedOf<Props[k]["_schema"]>>;
    } : {
        readonly [h in Props[k]["_as"] extends Some<any> ? Props[k]["_as"]["value"] : k]: AorB<S.ParserInputOf<Props[k]["_schema"]>, S.EncodedOf<Props[k]["_schema"]>>;
    } : never;
}[keyof Props]>, "flat">;
export type ParserInputFromParserInputOrEncodedFromSchema<T> = T extends {
    Api: {
        props: infer Props;
    };
} ? Props extends FromPropertyRecord ? ParserInputFromParserInputOrEncodedFromProperties<Props> : never : never;
export type ParserInputFromEncodedFromProperties<Props extends FromPropertyRecord> = Compute<UnionToIntersection<{
    [k in keyof Props]: Props[k] extends AnyFromProperty ? 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">;
export type ParserInputFromEncodedFromSchema<T> = T extends {
    Api: {
        props: infer Props;
    };
} ? Props extends FromPropertyRecord ? ParserInputFromEncodedFromProperties<Props> : never : never;
export {};
//# sourceMappingURL=fromProps.d.ts.map