import * as S from "effect/Schema";
import type { Simplify } from "effect/Types";
import { type B } from "./schema.js";
export interface PositiveIntBrand extends Simplify<B.Brand<"PositiveInt"> & NonNegativeIntBrand & PositiveNumberBrand> {
}
/** Positive integer. `.withConstructorDefault` => `1` (construction-only). */
export declare const PositiveInt: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, PositiveInt>> & import("./brand.js").BrandedSchema<S.Int, PositiveInt> & {
    /**
     * Construction-only default `1`. 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("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, PositiveInt>> & import("./brand.js").BrandedSchema<S.Int, PositiveInt>>;
};
export type PositiveInt = number & PositiveIntBrand;
export interface NonNegativeIntBrand extends Simplify<B.Brand<"NonNegativeInt"> & IntBrand & NonNegativeNumberBrand> {
}
/** Non-negative integer. `.withConstructorDefault` => `0` (construction-only). */
export declare const NonNegativeInt: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, NonNegativeInt>> & import("./brand.js").BrandedSchema<S.Int, NonNegativeInt> & {
    /**
     * Construction-only default `0`. 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("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, NonNegativeInt>> & import("./brand.js").BrandedSchema<S.Int, NonNegativeInt>>;
};
export type NonNegativeInt = number & NonNegativeIntBrand;
export interface IntBrand extends Simplify<B.Brand<"Int">> {
}
/** Integer. `.withConstructorDefault` => `0` (construction-only). */
export declare const Int: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, Int>> & import("./brand.js").BrandedSchema<S.Int, Int> & {
    /**
     * Construction-only default `0`. 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("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Int, Int>> & import("./brand.js").BrandedSchema<S.Int, Int>>;
};
export type Int = number & IntBrand;
export interface PositiveNumberBrand extends Simplify<B.Brand<"PositiveNumber"> & NonNegativeNumberBrand> {
}
/** Positive finite number. `.withConstructorDefault` => `1` (construction-only). */
export declare const PositiveNumber: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>> & import("./brand.js").BrandedSchema<S.Finite, PositiveNumber> & {
    /**
     * Construction-only default `1`. 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("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>> & import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>>;
};
export type PositiveNumber = number & PositiveNumberBrand;
export interface NonNegativeNumberBrand extends Simplify<B.Brand<"NonNegativeNumber">> {
}
/** Non-negative finite number. `.withConstructorDefault` => `0` (construction-only). */
export declare const NonNegativeNumber: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>> & import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber> & {
    /**
     * Construction-only default `0`. 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("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>> & import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>>;
};
export type NonNegativeNumber = number & NonNegativeNumberBrand;
/** @deprecated Not an actual decimal */
export declare const NonNegativeDecimal: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>> & import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber> & {
    /**
     * Construction-only default `0`. 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("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>> & import("./brand.js").BrandedSchema<S.Finite, NonNegativeNumber>>;
};
/** @deprecated Not an actual decimal */
export type NonNegativeDecimal = NonNegativeNumber;
/** @deprecated Not an actual decimal */
export declare const PositiveDecimal: import("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>> & import("./brand.js").BrandedSchema<S.Finite, PositiveNumber> & {
    /**
     * Construction-only default `1`. 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("./ext.js").WithDefaults<import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>> & import("./brand.js").BrandedSchema<S.Finite, PositiveNumber>>;
};
/** @deprecated Not an actual decimal */
export type PositiveDecimal = PositiveNumber;
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibnVtYmVycy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL1NjaGVtYS9udW1iZXJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sS0FBSyxDQUFDLE1BQU0sZUFBZSxDQUFBO0FBQ2xDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGNBQWMsQ0FBQTtBQUc1QyxPQUFPLEVBQUUsS0FBSyxDQUFDLEVBQUUsTUFBTSxhQUFhLENBQUE7QUFFcEMsTUFBTSxXQUFXLGdCQUNmLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsYUFBYSxDQUFDLEdBQUcsbUJBQW1CLEdBQUcsbUJBQW1CLENBQUM7Q0FDcEY7QUFDRiw4RUFBOEU7QUFDOUUsZUFBTyxNQUFNLFdBQVc7SUFPcEI7Ozs7T0FJRzs7Q0FHTixDQUFBO0FBQ0QsTUFBTSxNQUFNLFdBQVcsR0FBRyxNQUFNLEdBQUcsZ0JBQWdCLENBQUE7QUFFbkQsTUFBTSxXQUFXLG1CQUFvQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGdCQUFnQixDQUFDLEdBQUcsUUFBUSxHQUFHLHNCQUFzQixDQUFDO0NBQUc7QUFDdkgsa0ZBQWtGO0FBQ2xGLGVBQU8sTUFBTSxjQUFjO0lBVXZCOzs7O09BSUc7O0NBR04sQ0FBQTtBQUNELE1BQU0sTUFBTSxjQUFjLEdBQUcsTUFBTSxHQUFHLG1CQUFtQixDQUFBO0FBRXpELE1BQU0sV0FBVyxRQUFTLFNBQVEsUUFBUSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLENBQUM7Q0FBRztBQUM3RCxxRUFBcUU7QUFDckUsZUFBTyxNQUFNLEdBQUc7SUFHWjs7OztPQUlHOztDQUdOLENBQUE7QUFDRCxNQUFNLE1BQU0sR0FBRyxHQUFHLE1BQU0sR0FBRyxRQUFRLENBQUE7QUFFbkMsTUFBTSxXQUFXLG1CQUFvQixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLGdCQUFnQixDQUFDLEdBQUcsc0JBQXNCLENBQUM7Q0FBRztBQUM1RyxvRkFBb0Y7QUFDcEYsZUFBTyxNQUFNLGNBQWM7SUFVdkI7Ozs7T0FJRzs7Q0FHTixDQUFBO0FBQ0QsTUFBTSxNQUFNLGNBQWMsR0FBRyxNQUFNLEdBQUcsbUJBQW1CLENBQUE7QUFFekQsTUFBTSxXQUFXLHNCQUF1QixTQUFRLFFBQVEsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLG1CQUFtQixDQUFDLENBQUM7Q0FBRztBQUN6Rix3RkFBd0Y7QUFDeEYsZUFBTyxNQUFNLGlCQUFpQjtJQVkxQjs7OztPQUlHOztDQUdOLENBQUE7QUFDRCxNQUFNLE1BQU0saUJBQWlCLEdBQUcsTUFBTSxHQUFHLHNCQUFzQixDQUFBO0FBRS9ELHdDQUF3QztBQUN4QyxlQUFPLE1BQU0sa0JBQWtCO0lBWDNCOzs7O09BSUc7O0NBTzRDLENBQUE7QUFDbkQsd0NBQXdDO0FBQ3hDLE1BQU0sTUFBTSxrQkFBa0IsR0FBRyxpQkFBaUIsQ0FBQTtBQUVsRCx3Q0FBd0M7QUFDeEMsZUFBTyxNQUFNLGVBQWU7SUF4Q3hCOzs7O09BSUc7O0NBb0NzQyxDQUFBO0FBQzdDLHdDQUF3QztBQUN4QyxNQUFNLE1BQU0sZUFBZSxHQUFHLGNBQWMsQ0FBQSJ9