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 * as S from "./Schema.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;
        (input: string, options?: S.MakeOptions): 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;
        (input: string, options?: S.MakeOptions): 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.BrandedStringIdSchema<UserProfileId>;
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaWRzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaWRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBbUIsS0FBSyxLQUFLLEVBQUUsaUJBQWlCLEVBQVksS0FBSyxhQUFhLEVBQW1CLE1BQU0sbUJBQW1CLENBQUE7QUFDakksT0FBTyxLQUFLLEVBQUUsQ0FBQyxFQUFFLE1BQU0sMEJBQTBCLENBQUE7QUFFakQsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBQzVDLE9BQU8sS0FBSyxDQUFDLE1BQU0sYUFBYSxDQUFBO0FBR2hDLE1BQU0sV0FBVyxjQUFlLFNBQVEsYUFBYTtJQUNuRCxRQUFRLENBQUMsU0FBUyxFQUFFLE9BQU8sTUFBTSxDQUFBO0NBQ2xDO0FBRUQsTUFBTSxNQUFNLFNBQVMsR0FBRyxpQkFBaUIsQ0FBQTtBQUN6Qzs7Ozs7Ozs7O0dBU0c7QUFDSCxlQUFPLE1BQU0sU0FBUzs7WUFJRCxpQkFBaUI7Z0JBQ2IsTUFBTSxZQUFZLENBQUMsQ0FBQyxXQUFXLEdBQUcsaUJBQWlCOztJQU90RTs7Ozs7T0FLRzs7Ozs7OztJQUxIOzs7OztPQUtHOztDQUtlLENBQUE7QUFFeEIsTUFBTSxXQUFXLGtCQUFtQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGVBQWUsQ0FBQyxHQUFHLGFBQWEsQ0FBQztDQUFHO0FBQ2pHLE1BQU0sTUFBTSxhQUFhLEdBQUcsTUFBTSxHQUFHLGtCQUFrQixDQUFBO0FBQ3ZEOzs7OztHQUtHO0FBQ0gsZUFBTyxNQUFNLGFBQWEsd0NBQW1DLENBQUEifQ==