import * as S from "effect/Schema";
import type { Simplify } from "effect/Types";
import { type WithDefaults } from "./ext.js";
import { type B } from "./schema.js";
import type { NonEmptyString255Brand, NonEmptyStringBrand } from "./strings.js";
/**
 * A string that is at least 1 character long and a maximum of 50.
 */
export interface NonEmptyString50Brand extends Simplify<B.Brand<"NonEmptyString50"> & NonEmptyString64Brand> {
}
/**
 * A string that is at least 1 character long and a maximum of 50.
 */
export type NonEmptyString50 = string & NonEmptyString50Brand;
/**
 * A string that is at least 1 character long and a maximum of 50.
 */
export declare const NonEmptyString50: WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString50>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString50>;
/**
 * A string that is at least 1 character long and a maximum of 64.
 */
export interface NonEmptyString64Brand extends Simplify<B.Brand<"NonEmptyString64"> & NonEmptyString80Brand> {
}
/**
 * A string that is at least 1 character long and a maximum of 64.
 */
export type NonEmptyString64 = string & NonEmptyString64Brand;
/**
 * A string that is at least 1 character long and a maximum of 64.
 */
export declare const NonEmptyString64: WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString64>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString64>;
/**
 * A string that is at least 1 character long and a maximum of 80.
 */
export interface NonEmptyString80Brand extends Simplify<B.Brand<"NonEmptyString80"> & NonEmptyString100Brand> {
}
/**
 * A string that is at least 1 character long and a maximum of 80.
 */
export type NonEmptyString80 = string & NonEmptyString80Brand;
/**
 * A string that is at least 1 character long and a maximum of 80.
 */
export declare const NonEmptyString80: WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString80>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString80>;
/**
 * A string that is at least 1 character long and a maximum of 100.
 */
export interface NonEmptyString100Brand extends Simplify<B.Brand<"NonEmptyString100"> & NonEmptyString255Brand> {
}
/**
 * A string that is at least 1 character long and a maximum of 100.
 */
export type NonEmptyString100 = string & NonEmptyString100Brand;
/**
 * A string that is at least 1 character long and a maximum of 100.
 */
export declare const NonEmptyString100: WithDefaults<import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString100>> & import("./brand.js").BrandedSchema<S.NonEmptyString, NonEmptyString100>;
/**
 * A string that is at least 3 character long and a maximum of 255.
 */
export interface Min3String255Brand extends Simplify<B.Brand<"Min3String255"> & NonEmptyString255Brand> {
}
/**
 * A string that is at least 3 character long and a maximum of 255.
 */
export type Min3String255 = string & Min3String255Brand;
/**
 * A string that is at least 3 character long and a maximum of 255.
 */
export declare const Min3String255: WithDefaults<import("./brand.js").BrandedSchema<S.String, Min3String255>> & import("./brand.js").BrandedSchema<S.String, Min3String255>;
/**
 * A string that is at least 6 characters long and a maximum of 50.
 */
export interface StringIdBrand extends Simplify<B.Brand<"StringId"> & NonEmptyString50Brand> {
}
/**
 * A string that is at least 6 characters long and a maximum of 50.
 */
export type StringId = string & StringIdBrand;
/**
 * A string that is at least 6 characters long and a maximum of 50.
 *
 * `.withConstructorDefault` => fresh `nanoid()` (construction-only; not
 * applied during decode — see file-level note).
 */
export declare const StringId: WithDefaults<import("./brand.js").BrandedSchema<S.String, StringId> & {
    make: (s?: string) => StringId;
    /**
     * Construction-only default: fresh `nanoid()`-shaped `StringId`. Applied
     * only when the field is omitted from `.make(...)` input. NOT applied
     * during decode — cannot be used to JIT-migrate database fields. See
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
}> & import("./brand.js").BrandedSchema<S.String, StringId> & {
    make: (s?: string) => StringId;
    /**
     * Construction-only default: fresh `nanoid()`-shaped `StringId`. Applied
     * only when the field is omitted from `.make(...)` input. NOT applied
     * during decode — cannot be used to JIT-migrate database fields. See
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
};
/**
 * Build a `StringId` schema whose values are required to start with a fixed
 * `prefix` (joined with `separator`, default `-`).
 *
 * The returned schema exposes `.withConstructorDefault` that mints a fresh
 * prefixed id. Construction-only — not applied during decode; see file-level
 * note.
 */
export declare function prefixedStringId<Type extends StringId>(): <Prefix extends string, Separator extends string = "-">(prefix: Prefix, name: string, separator?: Separator) => WithDefaults<S.refine<Type, WithDefaults<import("./brand.js").BrandedSchema<S.String, StringId> & {
    make: (s?: string) => StringId;
    /**
     * Construction-only default: fresh `nanoid()`-shaped `StringId`. Applied
     * only when the field is omitted from `.make(...)` input. NOT applied
     * during decode — cannot be used to JIT-migrate database fields. See
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
}> & import("./brand.js").BrandedSchema<S.String, StringId> & {
    make: (s?: string) => StringId;
    /**
     * Construction-only default: fresh `nanoid()`-shaped `StringId`. Applied
     * only when the field is omitted from `.make(...)` input. NOT applied
     * during decode — cannot be used to JIT-migrate database fields. See
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
}>> & S.refine<Type, WithDefaults<import("./brand.js").BrandedSchema<S.String, StringId> & {
    make: (s?: string) => StringId;
    /**
     * Construction-only default: fresh `nanoid()`-shaped `StringId`. Applied
     * only when the field is omitted from `.make(...)` input. NOT applied
     * during decode — cannot be used to JIT-migrate database fields. See
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
}> & import("./brand.js").BrandedSchema<S.String, StringId> & {
    make: (s?: string) => StringId;
    /**
     * Construction-only default: fresh `nanoid()`-shaped `StringId`. Applied
     * only when the field is omitted from `.make(...)` input. NOT applied
     * during decode — cannot be used to JIT-migrate database fields. See
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<import("./brand.js").BrandedSchema<S.String, StringId>>;
}> & PrefixedStringUtils<Type, Prefix, Separator>;
/**
 * Build a branded `StringId` schema for the given branded `Id` type.
 *
 * Exposes `.withConstructorDefault` that mints a fresh `nanoid()`-shaped id.
 * Construction-only — not applied during decode; see file-level note.
 */
export declare const brandedStringId: <Id>() => WithDefaults<S.Codec<Id, string, never, never> & {
    /**
     * Construction-only default: fresh `nanoid()`-shaped id. Applied only
     * when the field is omitted from `.make(...)` input. NOT applied
     * during decode — cannot be used to JIT-migrate database fields. See
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<S.Codec<Id, string> & S.WithoutConstructorDefault>;
    make: () => Id;
} & WithDefaults<S.Codec<Id, string, never, never>>> & S.Codec<Id, string, never, never> & {
    /**
     * Construction-only default: fresh `nanoid()`-shaped id. Applied only
     * when the field is omitted from `.make(...)` input. NOT applied
     * during decode — cannot be used to JIT-migrate database fields. See
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<S.Codec<Id, string> & S.WithoutConstructorDefault>;
    make: () => Id;
} & WithDefaults<S.Codec<Id, string, never, never>>;
export interface PrefixedStringUtils<Type extends StringId, Prefix extends string, Separator extends string> {
    readonly make: () => Type;
    readonly unsafeFrom: (str: string) => Type;
    prefixSafe: <REST extends string>(str: `${Prefix}${Separator}${REST}`) => Type;
    readonly prefix: Prefix;
    /**
     * Construction-only default: fresh prefixed id. Applied only when the
     * field is omitted from `.make(...)` input. NOT applied during decode —
     * cannot be used to JIT-migrate database fields. See file-level note.
     */
    readonly withConstructorDefault: S.withConstructorDefault<S.Codec<Type, string> & S.WithoutConstructorDefault>;
}
export interface UrlBrand extends Simplify<B.Brand<"Url"> & NonEmptyStringBrand> {
}
export type Url = string & UrlBrand;
export declare const Url: WithDefaults<S.refine<Url, S.String>> & S.refine<Url, S.String>;
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9yZVN0cmluZ3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9TY2hlbWEvbW9yZVN0cmluZ3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBY0EsT0FBTyxLQUFLLENBQUMsTUFBTSxlQUFlLENBQUE7QUFDbEMsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBSTVDLE9BQU8sRUFBbUIsS0FBSyxZQUFZLEVBQUUsTUFBTSxVQUFVLENBQUE7QUFDN0QsT0FBTyxFQUFFLEtBQUssQ0FBQyxFQUFFLE1BQU0sYUFBYSxDQUFBO0FBQ3BDLE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLG1CQUFtQixFQUFFLE1BQU0sY0FBYyxDQUFBO0FBSS9FOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHFCQUFzQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGtCQUFrQixDQUFDLEdBQUcscUJBQXFCLENBQUM7Q0FBRztBQUUvRzs7R0FFRztBQUNILE1BQU0sTUFBTSxnQkFBZ0IsR0FBRyxNQUFNLEdBQUcscUJBQXFCLENBQUE7QUFFN0Q7O0dBRUc7QUFDSCxlQUFPLE1BQU0sZ0JBQWdCLCtKQU81QixDQUFBO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcscUJBQXNCLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsa0JBQWtCLENBQUMsR0FBRyxxQkFBcUIsQ0FBQztDQUFHO0FBRS9HOztHQUVHO0FBQ0gsTUFBTSxNQUFNLGdCQUFnQixHQUFHLE1BQU0sR0FBRyxxQkFBcUIsQ0FBQTtBQUU3RDs7R0FFRztBQUNILGVBQU8sTUFBTSxnQkFBZ0IsK0pBTzVCLENBQUE7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxxQkFBc0IsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxrQkFBa0IsQ0FBQyxHQUFHLHNCQUFzQixDQUFDO0NBQUc7QUFFaEg7O0dBRUc7QUFDSCxNQUFNLE1BQU0sZ0JBQWdCLEdBQUcsTUFBTSxHQUFHLHFCQUFxQixDQUFBO0FBRTdEOztHQUVHO0FBRUgsZUFBTyxNQUFNLGdCQUFnQiwrSkFPNUIsQ0FBQTtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLHNCQUF1QixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLG1CQUFtQixDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUVsSDs7R0FFRztBQUNILE1BQU0sTUFBTSxpQkFBaUIsR0FBRyxNQUFNLEdBQUcsc0JBQXNCLENBQUE7QUFFL0Q7O0dBRUc7QUFDSCxlQUFPLE1BQU0saUJBQWlCLGlLQU83QixDQUFBO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcsa0JBQW1CLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsZUFBZSxDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUUxRzs7R0FFRztBQUNILE1BQU0sTUFBTSxhQUFhLEdBQUcsTUFBTSxHQUFHLGtCQUFrQixDQUFBO0FBRXZEOztHQUVHO0FBQ0gsZUFBTyxNQUFNLGFBQWEseUlBUXpCLENBQUE7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxhQUFjLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsVUFBVSxDQUFDLEdBQUcscUJBQXFCLENBQUM7Q0FBRztBQUUvRjs7R0FFRztBQUNILE1BQU0sTUFBTSxRQUFRLEdBQUcsTUFBTSxHQUFHLGFBQWEsQ0FBQTtBQVk3Qzs7Ozs7R0FLRztBQUNILGVBQU8sTUFBTSxRQUFRO2VBaEJLLE1BQU0sS0FBRyxRQUFRO0lBNEJ2Qzs7Ozs7T0FLRzs7OztJQUxIOzs7OztPQUtHOztDQUlpQixDQUFBO0FBTXhCOzs7Ozs7O0dBT0c7QUFDSCx3QkFBZ0IsZ0JBQWdCLENBQUMsSUFBSSxTQUFTLFFBQVEsTUFDNUMsTUFBTSxTQUFTLE1BQU0sRUFBRSxTQUFTLFNBQVMsTUFBTSxHQUFHLEdBQUcsVUFDbkQsTUFBTSxRQUNSLE1BQU0sY0FDQSxTQUFTO2VBdkRDLE1BQU0sS0FBRyxRQUFRO0lBNEJ2Qzs7Ozs7T0FLRzs7OztJQUxIOzs7OztPQUtHOzs7O0lBTEg7Ozs7O09BS0c7Ozs7SUFMSDs7Ozs7T0FLRzs7a0RBc0VOO0FBRUQ7Ozs7O0dBS0c7QUFDSCxlQUFPLE1BQU0sZUFBZSxHQUMxQixFQUFFO0lBSUU7Ozs7O09BS0c7NEJBQ3FCLENBQUMsQ0FBQyxzQkFBc0IsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLEVBQUUsRUFBRSxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMseUJBQXlCLENBQUM7VUFDN0YsTUFBTSxFQUFFOztJQVBkOzs7OztPQUtHOzs7bURBSU4sQ0FBQTtBQUVILE1BQU0sV0FBVyxtQkFBbUIsQ0FDbEMsSUFBSSxTQUFTLFFBQVEsRUFDckIsTUFBTSxTQUFTLE1BQU0sRUFDckIsU0FBUyxTQUFTLE1BQU07SUFFeEIsUUFBUSxDQUFDLElBQUksRUFBRSxNQUFNLElBQUksQ0FBQTtJQUN6QixRQUFRLENBQUMsVUFBVSxFQUFFLENBQUMsR0FBRyxFQUFFLE1BQU0sS0FBSyxJQUFJLENBQUE7SUFDMUMsVUFBVSxFQUFFLENBQUMsSUFBSSxTQUFTLE1BQU0sRUFBRSxHQUFHLEVBQUUsR0FBRyxNQUFNLEdBQUcsU0FBUyxHQUFHLElBQUksRUFBRSxLQUFLLElBQUksQ0FBQTtJQUM5RSxRQUFRLENBQUMsTUFBTSxFQUFFLE1BQU0sQ0FBQTtJQUN2Qjs7OztPQUlHO0lBQ0gsUUFBUSxDQUFDLHNCQUFzQixFQUFFLENBQUMsQ0FBQyxzQkFBc0IsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLElBQUksRUFBRSxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMseUJBQXlCLENBQUMsQ0FBQTtDQUMvRztBQUVELE1BQU0sV0FBVyxRQUFTLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLEdBQUcsbUJBQW1CLENBQUM7Q0FBRztBQUVuRixNQUFNLE1BQU0sR0FBRyxHQUFHLE1BQU0sR0FBRyxRQUFRLENBQUE7QUFNbkMsZUFBTyxNQUFNLEdBQUcsaUVBZWIsQ0FBQSJ9