import type { UnionToIntersection } from "@effect-ts/core/Utils";
import type { Annotation } from "../_schema.js";
import type { Schema } from "../_schema/schema.js";
import * as Arbitrary from "../Arbitrary.js";
import * as Constructor from "../Constructor.js";
import * as Encoder from "../Encoder.js";
import * as Guard from "../Guard.js";
import * as Parser from "../Parser.js";
export interface SchemaDefaultSchema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api> extends Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api> {
    (_: ConstructorInput): ParsedShape;
    readonly Parser: Parser.Parser<ParserInput, any, ParsedShape>;
    readonly Constructor: Constructor.Constructor<ConstructorInput, ParsedShape, any>;
    readonly Encoder: Encoder.Encoder<ParsedShape, Encoded>;
    readonly Guard: Guard.Guard<ParsedShape>;
    readonly Arbitrary: Arbitrary.Gen<ParsedShape>;
    readonly annotate: <Meta>(identifier: Annotation<Meta>, meta: Meta) => DefaultSchema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
}
export type DefaultSchema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api> = SchemaDefaultSchema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api> & CarryFromApi<Api>;
declare const carryOver: readonly ["matchW", "matchS", "props"];
type CarryOverFromApi = typeof carryOver[number];
type CarryFromApi<Api> = UnionToIntersection<{
    [k in keyof Api]: k extends CarryOverFromApi ? {
        [h in k]: Api[h];
    } : never;
}[keyof Api]>;
export declare function withDefaults<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>): DefaultSchema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export {};
//# sourceMappingURL=withDefaults.d.ts.map