import { type Codec, NonEmptyString255, type StringIdBrand } from "effect-app/Schema";
import type { B } from "effect-app/Schema/schema";
import type { Simplify } from "effect/Types";
import { S } from "./index.js";
export interface RequestIdBrand extends StringIdBrand {
    readonly RequestId: unique symbol;
}
export type RequestId = NonEmptyString255;
/**
 * Schema for a request id.
 *
 * A request id may be made from a span id, which does not comply with the
 * `StringId` schema (hence the looser `NonEmptyString255` base).
 *
 * `.withConstructorDefault` => fresh `StringId` (construction-only; not
 * applied during decode — cannot be used to JIT-migrate database fields).
 * See `./Schema/ext.ts` for the full policy note.
 */
export declare const RequestId: S.WithDefaults<Codec<NonEmptyString255, string, never, never> & {
    make: () => NonEmptyString255;
    /**
     * Construction-only default: fresh `StringId`. Applied only when the
     * field is omitted from `.make(...)` input. NOT applied during decode —
     * cannot be used to JIT-migrate database fields. See `./Schema/ext.ts`
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<S.Top & S.WithoutConstructorDefault>;
}> & Codec<NonEmptyString255, string, never, never> & {
    make: () => NonEmptyString255;
    /**
     * Construction-only default: fresh `StringId`. Applied only when the
     * field is omitted from `.make(...)` input. NOT applied during decode —
     * cannot be used to JIT-migrate database fields. See `./Schema/ext.ts`
     * file-level note.
     */
    withConstructorDefault: S.withConstructorDefault<S.Top & S.WithoutConstructorDefault>;
};
export interface UserProfileIdBrand extends Simplify<B.Brand<"UserProfileId"> & StringIdBrand> {
}
export type UserProfileId = string & UserProfileIdBrand;
/**
 * Branded `StringId` for user profiles.
 *
 * Exposes `.withConstructorDefault` (fresh id) — construction-only; not
 * applied during decode. See `./Schema/ext.ts` for the full policy note.
 */
export declare const UserProfileId: S.WithDefaults<Codec<UserProfileId, string, never, never> & {
    withConstructorDefault: S.withConstructorDefault<Codec<UserProfileId, string, never, never> & S.WithoutConstructorDefault>;
    make: () => UserProfileId;
} & S.WithDefaults<Codec<UserProfileId, string, never, never>>> & Codec<UserProfileId, string, never, never> & {
    withConstructorDefault: S.withConstructorDefault<Codec<UserProfileId, string, never, never> & S.WithoutConstructorDefault>;
    make: () => UserProfileId;
} & S.WithDefaults<Codec<UserProfileId, string, never, never>>;
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaWRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaWRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBbUIsS0FBSyxLQUFLLEVBQUUsaUJBQWlCLEVBQVksS0FBSyxhQUFhLEVBQW1CLE1BQU0sbUJBQW1CLENBQUE7QUFDakksT0FBTyxLQUFLLEVBQUUsQ0FBQyxFQUFFLE1BQU0sMEJBQTBCLENBQUE7QUFFakQsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBQzVDLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxZQUFZLENBQUE7QUFHOUIsTUFBTSxXQUFXLGNBQWUsU0FBUSxhQUFhO0lBQ25ELFFBQVEsQ0FBQyxTQUFTLEVBQUUsT0FBTyxNQUFNLENBQUE7Q0FDbEM7QUFFRCxNQUFNLE1BQU0sU0FBUyxHQUFHLGlCQUFpQixDQUFBO0FBQ3pDOzs7Ozs7Ozs7R0FTRztBQUNILGVBQU8sTUFBTSxTQUFTO2dCQUlrQixpQkFBaUI7SUFHbkQ7Ozs7O09BS0c7Ozs7SUFMSDs7Ozs7T0FLRzs7Q0FLZSxDQUFBO0FBRXhCLE1BQU0sV0FBVyxrQkFBbUIsU0FBUSxRQUFRLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxlQUFlLENBQUMsR0FBRyxhQUFhLENBQUM7Q0FBRztBQUNqRyxNQUFNLE1BQU0sYUFBYSxHQUFHLE1BQU0sR0FBRyxrQkFBa0IsQ0FBQTtBQUN2RDs7Ozs7R0FLRztBQUNILGVBQU8sTUFBTSxhQUFhOzs7Ozs7OERBQW1DLENBQUEifQ==