import type { Refinement } from "@effect-ts/system/Function";
import type * as fc from "fast-check";
import type { ParserEnv } from "../Parser.js";
import type * as Th from "../These.js";
import type { Annotation } from "./annotation.js";
import type { AnyError } from "./error.js";
import type { ApiSelfType, Schema, SchemaAny } from "./schema.js";
export declare function opaque<Shape>(): <ConstructorInput, ParserInput, Encoded, Api>(schema: Schema<ParserInput, Shape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, Shape, ConstructorInput, Encoded, Api & ApiSelfType<Shape>>;
export declare function named<Name extends string>(name: Name): <ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function identity<A>(guard: (_: unknown) => _ is A): Schema<A, A, A, A, {}>;
export declare function constructor<NewConstructorInput, ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(f: (_: NewConstructorInput) => Th.These<any, ParsedShape>): (self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, ParsedShape, NewConstructorInput, Encoded, Api>;
export declare function constructor_<NewConstructorInput, ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>, f: (_: NewConstructorInput) => Th.These<any, ParsedShape>): Schema<ParserInput, ParsedShape, NewConstructorInput, Encoded, Api>;
export declare function parser<NewParserInput, ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(f: (_: NewParserInput, env?: ParserEnv) => Th.These<any, ParsedShape>): (self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<NewParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function parser_<NewParserInput, ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>, f: (_: NewParserInput) => Th.These<any, ParsedShape>): Schema<NewParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function arbitrary<A extends ParsedShape, ParsedShape>(f: (_: typeof fc) => fc.Arbitrary<A>): <ParserInput, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function arbitrary_<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>, f: (_: typeof fc) => fc.Arbitrary<ParsedShape>): Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function encoder<ParsedShape, A>(f: (_: ParsedShape) => A): <ParserInput, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, ParsedShape, ConstructorInput, A, Api>;
export declare function encoder_<ParserInput, ParsedShape, ConstructorInput, Encoded, Api, A>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>, f: (_: ParsedShape) => A): Schema<ParserInput, ParsedShape, ConstructorInput, A, Api>;
export declare function refine<E extends AnyError, NewParsedShape extends ParsedShape, ParsedShape>(refinement: Refinement<ParsedShape, NewParsedShape>, error: (value: ParsedShape) => E): <ParserInput, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, NewParsedShape, ConstructorInput, Encoded, Api>;
export declare function mapParserError<E extends AnyError, E1 extends AnyError>(f: (e: E) => E1): <ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function mapConstructorError<E extends AnyError, E1 extends AnyError>(f: (e: E) => E1): <ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function mapApi<E, E1>(f: (e: E) => E1): <ParserInput, ParsedShape, ConstructorInput, Encoded>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, E>) => Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, E1>;
export declare function identified_<ParserInput, ParsedShape, ConstructorInput, Encoded, Api, Meta>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>, identifier: Annotation<Meta>, meta: Meta): Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function annotate<Meta>(annotation: Annotation<Meta>, meta: Meta): <Self extends SchemaAny & {
    readonly annotate: <Meta>(annotation: Annotation<Meta>, meta: Meta) => SchemaAny;
}>(self: Self) => ReturnType<Self["annotate"]>;
export declare function guard_<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>, guard: (u: unknown) => u is ParsedShape): Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function guard<ParsedShape>(guard: (u: unknown) => u is ParsedShape): <ParserInput, ConstructorInput, Encoded, Api>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>;
export declare function into_<ParserInput, ParsedShape, ConstructorInput, Encoded, Api, ThatParsedShape, ThatConstructorInput, ThatApi>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>, that: Schema<ParsedShape, ThatParsedShape, ThatConstructorInput, ParsedShape, ThatApi>): Schema<ParserInput, ThatParsedShape, ThatConstructorInput, Encoded, ThatApi>;
export declare function into<Api, ThatParsedShape, ThatConstructorInput, ThatApi, ParsedShape>(that: Schema<ParsedShape, ThatParsedShape, ThatConstructorInput, ParsedShape, ThatApi>): <ParserInput, ConstructorInput, Encoded>(self: Schema<ParserInput, ParsedShape, ConstructorInput, Encoded, Api>) => Schema<ParserInput, ThatParsedShape, ThatConstructorInput, Encoded, ThatApi>;
//# sourceMappingURL=primitives.d.ts.map