@stripe/extensibility-sdk 1.0.1 → 1.3.0

package/dist/extensibility-sdk-extensions-billing-bill-discount_calculation-internal.d.ts

@@ -0,0 +1,666 @@
+import { __integerBrand } from '@formspec/core';
+
+/**
+ * Opaque brand key used as a property key in SDK branded types.
+ *
+ * @remarks
+ * You do not need to use this directly — it is already embedded in
+ * branded values returned by factory functions like {@link (Integer:type)}.from().
+ *
+ * String-literal const (not `unique symbol`) so that independent
+ * declaration rollups (root vs subpath) produce structurally compatible
+ * branded types.
+ *
+ * @public
+ */
+declare const __brand: '__brand';
+
+/**
+ * Unique brand key for the `Decimal` type.
+ *
+ * Using a dedicated key (rather than the shared `__brand`) lets formspec's
+ * structural brand-detection distinguish `Decimal` from other SDK branded
+ * types (e.g., `Ref`) that also carry `[__brand]`.
+ *
+ * String-literal const (not `unique symbol`) so that independent
+ * declaration rollups (root vs subpath) produce structurally compatible
+ * branded types.
+ *
+ * @internal
+ */
+declare const __decimalBrand: '__decimalBrand';
+
+/**
+ * Distinct brand key for PositiveInteger so an Integer is not assignable to
+ * PositiveInteger without going through the guard. PositiveInteger is a
+ * subtype of Integer (it carries both brands), so it can be used wherever
+ * Integer is expected.
+ *
+ * String-literal const (not `unique symbol`) so that independent
+ * declaration rollups (root vs subpath) produce structurally compatible
+ * branded types.
+ *
+ * For internal use only — may be removed in a future release.
+ *
+ * @public
+ */
+declare const __positiveIntegerBrand: '__positiveIntegerBrand';
+
+/**
+ * Opaque type-tag key used by SDK scalar types to carry Stripe type metadata.
+ *
+ * @remarks
+ * You do not need to use this directly — it is already embedded in
+ * branded values returned by factory functions like {@link (Integer:type)}.from().
+ *
+ * String-literal const (not `unique symbol`) so that independent
+ * declaration rollups (root vs subpath) produce structurally compatible
+ * branded types.
+ *
+ * @public
+ */
+declare const __stripeType: '__stripeType';
+
+/** @public */
+declare type AnyTimeRange = {
+    at: Date;
+    value: 'oneTime';
+} | {
+    endDate: Date;
+    startDate: Date;
+    value: 'timeRange';
+} | {
+    otherValue: string;
+    value: 'other';
+};
+
+/**
+ * Context values threaded into config application at runtime.
+ *
+ * The platform dispatch layer builds this from the extension context
+ * (`_configAppContextFromContext`) and passes it through the config
+ * transformer into `_applyConfig`.
+ *
+ * @internal
+ */
+declare interface _ConfigApplicationContext {
+    /** ISO 8601 clock time for Billing test clocks. */
+    clockTime?: string;
+}
+
+/** @public */
+declare interface Context {
+    type: string;
+    id: string;
+    livemode: boolean;
+    stripeContext?: string;
+    clockTime?: string;
+}
+
+/** @public */
+declare type Currency = 'aed' | 'afn' | 'all' | 'amd' | 'ang' | 'aoa' | 'apt' | 'arb' | 'ars' | 'aud' | 'avax' | 'awg' | 'azn' | 'bam' | 'bbd' | 'bdt' | 'bgn' | 'bhd' | 'bif' | 'bmd' | 'bnb' | 'bnd' | 'bob' | 'bov' | 'brl' | 'bsd' | 'btc' | 'btn' | 'buidl' | 'bwp' | 'byn' | 'byr' | 'bzd' | 'cad' | 'cdf' | 'celo' | 'che' | 'chf' | 'chw' | 'clf' | 'clp' | 'cny' | 'cop' | 'cou' | 'crc' | 'cuc' | 'cup' | 'cve' | 'czk' | 'dai' | 'djf' | 'dkk' | 'dop' | 'dzd' | 'eek' | 'egp' | 'ern' | 'etb' | 'eth' | 'eur' | 'eurc' | 'fjd' | 'fkp' | 'frxusd' | 'gbp' | 'gel' | 'ghc' | 'ghs' | 'gip' | 'gmd' | 'gnf' | 'gtq' | 'gyd' | 'hkd' | 'hnl' | 'hrk' | 'htg' | 'huf' | 'hype' | 'idr' | 'ils' | 'inr' | 'iqd' | 'irr' | 'isk' | 'jmd' | 'jod' | 'jpy' | 'kes' | 'kgs' | 'khr' | 'kmf' | 'kpw' | 'krw' | 'kwd' | 'kyd' | 'kzt' | 'lak' | 'lbp' | 'lkr' | 'lrd' | 'lsl' | 'ltl' | 'lvl' | 'lyd' | 'lzd' | 'm' | 'mad' | 'mdl' | 'mga' | 'mkd' | 'mmk' | 'mnt' | 'mon' | 'mop' | 'mro' | 'mru' | 'mur' | 'mvr' | 'mwk' | 'mxn' | 'mxv' | 'myr' | 'mzn' | 'nad' | 'ngn' | 'nio' | 'nok' | 'npr' | 'nzd' | 'omr' | 'open_usd' | 'ord' | 'pab' | 'pen' | 'pgk' | 'php' | 'pkr' | 'pln' | 'pol' | 'pyg' | 'pyusd' | 'qar' | 'rd' | 're' | 'ron' | 'rsd' | 'rub' | 'rwf' | 'sar' | 'sbd' | 'scr' | 'sdg' | 'sek' | 'sgd' | 'shp' | 'sle' | 'sll' | 'sol' | 'sos' | 'srd' | 'ssp' | 'std' | 'stn' | 'sui' | 'svc' | 'syp' | 'szl' | 'thb' | 'tjs' | 'tmt' | 'tnd' | 'top' | 'trx' | 'try' | 'ttd' | 'twd' | 'tzs' | 'uah' | 'ugx' | 'usd' | 'usdb' | 'usdc' | 'usdg' | 'usdp' | 'usdsui' | 'usdt' | 'usn' | 'ustb' | 'uyi' | 'uyu' | 'uzs' | 'vef' | 'ves' | 'vnd' | 'vuv' | 'wst' | 'xaf' | 'xcd' | 'xcg' | 'xeur' | 'xlm' | 'xof' | 'xpf' | 'xpl' | 'xusd' | 'yer' | 'zar' | 'zmk' | 'zmw' | 'zwd' | 'zwg' | 'zwl';
+
+/**
+ * Arbitrary-precision decimal type for billing calculations.
+ *
+ * @remarks
+ * `Decimal` values are created by the {@link (Decimal:variable) | Decimal companion object}
+ * and store values as `coefficient × 10^exponent` using `BigInt`. They avoid
+ * every common binary floating-point pitfall — `Decimal.from('0.1').add(Decimal.from('0.2'))`
+ * is exactly `0.3`.
+ *
+ * Instances are immutable (frozen) and all arithmetic returns a new
+ * `Decimal`. The public type carries two brand symbols so the type system
+ * prevents accidental assignment from plain `number`, `string`, or
+ * `bigint`.
+ *
+ * Create values via the companion object:
+ *
+ * @example
+ * ```ts
+ * import { Decimal, RoundDirection } from '@stripe/extensibility-sdk';
+ *
+ * const price = Decimal.from('19.99');
+ * const tax   = price.mul(Decimal.from('0.0825'));
+ * const total = price.add(tax);
+ *
+ * console.log(total.toFixed(2, 'half-up'));   // "21.64"
+ * console.log(JSON.stringify({ total }));          // '{"total":"21.639175"}'
+ * console.log(total.toFixed(2, 'half-even')); // "21.64"
+ * ```
+ *
+ * @public
+ */
+declare interface Decimal {
+    /**
+     * Nominal brand tag.
+     * @internal
+     */
+    readonly [__brand]: 'Decimal';
+    /** @internal */
+    readonly [__decimalBrand]: true;
+    /**
+     * Stripe type discriminator.
+     * @internal
+     */
+    readonly [__stripeType]: 'decimal';
+    /**
+     * Return the sum of this value and `other`.
+     * @public
+     */
+    add(other: DecimalLike): Decimal;
+    /**
+     * Return the difference of this value and `other`.
+     * @public
+     */
+    sub(other: DecimalLike): Decimal;
+    /**
+     * Return the product of this value and `other`.
+     * @public
+     */
+    mul(other: DecimalLike): Decimal;
+    /**
+     * Return the quotient of this value divided by `other`.
+     * @public
+     */
+    div(other: DecimalLike, precision: number, direction: RoundDirection): Decimal;
+    /**
+     * Three-way comparison: returns `-1`, `0`, or `1`.
+     * @public
+     */
+    cmp(other: DecimalLike): -1 | 0 | 1;
+    /**
+     * Return `true` if this value is numerically equal to `other`.
+     * @public
+     */
+    eq(other: DecimalLike): boolean;
+    /**
+     * Return `true` if this value is strictly less than `other`.
+     * @public
+     */
+    lt(other: DecimalLike): boolean;
+    /**
+     * Return `true` if this value is less than or equal to `other`.
+     * @public
+     */
+    lte(other: DecimalLike): boolean;
+    /**
+     * Return `true` if this value is strictly greater than `other`.
+     * @public
+     */
+    gt(other: DecimalLike): boolean;
+    /**
+     * Return `true` if this value is greater than or equal to `other`.
+     * @public
+     */
+    gte(other: DecimalLike): boolean;
+    /**
+     * Return `true` if this value is exactly zero.
+     * @public
+     */
+    isZero(): boolean;
+    /**
+     * Return `true` if this value is strictly less than zero.
+     * @public
+     */
+    isNegative(): boolean;
+    /**
+     * Return `true` if this value is strictly greater than zero.
+     * @public
+     */
+    isPositive(): boolean;
+    /**
+     * Return the additive inverse of this value.
+     * @public
+     */
+    neg(): Decimal;
+    /**
+     * Return the absolute value.
+     * @public
+     */
+    abs(): Decimal;
+    /**
+     * Round this value to the specified precision.
+     * @public
+     */
+    round(direction: RoundDirection, options: DecimalRoundingOptions | keyof typeof DecimalRoundingPresets): Decimal;
+    /**
+     * Return the canonical string representation.
+     * @public
+     */
+    toString(): string;
+    /**
+     * Return the JSON-serializable string representation.
+     * @public
+     */
+    toJSON(): string;
+    /**
+     * Convert to a JavaScript `number` (lossy).
+     * @public
+     */
+    toNumber(): number;
+    /**
+     * Format as a fixed-point string with exactly `decimalPlaces` digits.
+     * @public
+     */
+    toFixed(decimalPlaces: number, direction: RoundDirection): string;
+    /**
+     * Convert to an {@link (Integer:type)} by rounding.
+     * @public
+     */
+    toInteger(direction: RoundDirection): Integer;
+    /**
+     * Rejects implicit coercion; explicit `String(d)` and template literals still work.
+     * @public
+     */
+    [Symbol.toPrimitive](hint: 'default' | 'number' | 'string'): string;
+    /**
+     * Returns the string representation; invoked by the JavaScript engine as a fallback coercion path.
+     * @public
+     */
+    valueOf(): string;
+}
+
+/**
+ * Companion object for creating `Decimal` instances.
+ *
+ * @public
+ */
+declare const Decimal: DecimalCompanion;
+
+/** @public */
+declare interface DecimalCompanion {
+    /** Type guard: narrows `unknown` to `Decimal`. @public */
+    is(value: unknown): value is Decimal;
+    /** Assertion guard: throws if not a `Decimal`. @public */
+    assert(value: unknown): asserts value is Decimal;
+    /** Create a Decimal from a {@link DecimalLike} value. @public */
+    from(value: DecimalLike): Decimal;
+    /** The Decimal value `0`. @public */
+    readonly zero: Decimal;
+}
+
+/**
+ * Values that can be coerced to a `Decimal` via `Decimal.from()`.
+ *
+ * @remarks
+ * This union is accepted by `Decimal.from()` and by all arithmetic and
+ * comparison methods on `Decimal` instances. Non-Decimal values are
+ * coerced via `Decimal.from()` before the operation.
+ *
+ * @public
+ */
+declare type DecimalLike = bigint | Decimal | Integer | number | string;
+
+/**
+ * Precision specification for `Decimal.round()`.
+ *
+ * @remarks
+ * Two modes are supported:
+ * - `"decimal-places"` — round to a fixed number of digits after the decimal point.
+ * - `"significant-figures"` — round to a fixed number of significant digits.
+ *
+ * @example
+ * ```ts
+ * // Round to 2 decimal places
+ * amount.round('half-even', { mode: 'decimal-places', value: 2 });
+ *
+ * // Round to 4 significant figures
+ * amount.round('half-up', { mode: 'significant-figures', value: 4 });
+ * ```
+ *
+ * @public
+ */
+declare interface DecimalRoundingOptions {
+    /** Whether to count digits from the decimal point (`"decimal-places"`) or from the most significant digit (`"significant-figures"`). */
+    mode: 'decimal-places' | 'significant-figures';
+    /**
+     * The number of digits to retain. Interpreted as decimal places when
+     * `mode` is `"decimal-places"`, or as significant figures when `mode`
+     * is `"significant-figures"`.
+     * @public
+     */
+    value: number;
+}
+
+/**
+ * Built-in rounding presets keyed by semantic name.
+ *
+ * @remarks
+ * Stripe defines the full set of supported preset names accepted by
+ * `Decimal.round()`.
+ *
+ * | Preset              | Equivalent DecimalRoundingOptions                     |
+ * | ------------------- | ----------------------------------------------------- |
+ * | `"ubb-usage-count"` | `{ mode: "significant-figures", value: 15 }`         |
+ * | `"v1-api"`          | `{ mode: "decimal-places", value: 12 }`              |
+ *
+ * @public
+ */
+declare const DecimalRoundingPresets: Readonly<{
+    'ubb-usage-count': Readonly<{
+        mode: "significant-figures";
+        value: number;
+    }>;
+    'v1-api': Readonly<{
+        mode: "decimal-places";
+        value: number;
+    }>;
+}>;
+
+/** @public */
+export declare namespace DiscountCalculation {
+    /** @public */
+    export type BillingReason = 'automatic_pending_invoice_item_invoice' | 'manual' | 'quote_accept' | 'subscription_cancel' | 'subscription_create' | 'subscription_cycle' | 'subscription_threshold' | 'subscription_trial_ended' | 'subscription_update' | 'subscription' | 'upcoming';
+    /** @public */
+    export type PricingTierMode = 'graduated' | 'volume';
+    /** @public */
+    export type PriceType = 'one_time' | 'recurring';
+    /** @public */
+    export type PricingScheme = 'per_unit' | 'tiered';
+    /** @public */
+    export type UsageType = 'licensed' | 'metered';
+    /** @public */
+    export type RecurringPriceInterval = 'day' | 'month' | 'week' | 'year';
+    /**
+     * The result of a discount calculation.
+     * @public
+     */
+    export interface DiscountResult {
+        /** The computed discount to apply. */
+        discount: Discount;
+    }
+    /**
+     * A discount to apply to a discountable item.
+     * @public
+     */
+    export interface Discount {
+        /** The discount amount to subtract from the discountable item. */
+        amount: MonetaryAmount;
+    }
+    /**
+     * An item eligible for discount calculation, containing its line items and billing context.
+     * @public
+     */
+    export interface DiscountableItem {
+        /** The individual line items that make up the discountable item. */
+        lineItems: DiscountableLineItem[];
+        /** The total gross amount of the discountable item before any discounts. */
+        grossAmount: MonetaryAmount;
+        /** The customer associated with the discountable item. */
+        customer?: Customer;
+        /** The reason this item is being billed. */
+        billingReason?: BillingReason;
+        /** The subscription associated with the discountable item. */
+        subscription?: Subscription;
+    }
+    /**
+     * The subscription associated with the discountable item.
+     * @public
+     */
+    export interface Subscription {
+        /** The unique identifier of the subscription. */
+        id: string;
+        /** The Unix timestamp of the billing cycle anchor. */
+        billingCycleAnchor?: number;
+        /** The structured billing cycle anchor configuration. */
+        billingCycleAnchorConfig?: BillingCycleAnchorConfig;
+        /** Custom key-value pairs attached to the subscription. */
+        metadata: Record<string, string>;
+    }
+    /**
+     * Configuration for the billing cycle anchor, specifying when recurring billing periods start.
+     * @public
+     */
+    export interface BillingCycleAnchorConfig {
+        /** The month component of the billing cycle anchor. */
+        month: number;
+        /** The day of the month for the billing cycle anchor. */
+        dayOfMonth: number;
+        /** The hour component of the billing cycle anchor. */
+        hour: number;
+        /** The minute component of the billing cycle anchor. */
+        minute: number;
+        /** The second component of the billing cycle anchor. */
+        second: number;
+    }
+    /**
+     * The customer associated with the discountable item.
+     * @public
+     */
+    export interface Customer {
+        /** The unique identifier of the customer. */
+        id: string;
+        /** Custom key-value pairs attached to the customer. */
+        metadata: Record<string, string>;
+    }
+    /**
+     * A single line item within a discountable item.
+     * @public
+     */
+    export interface DiscountableLineItem {
+        /** The subtotal amount of this line item. */
+        subtotal: MonetaryAmount;
+        /** The quantity of this line item. */
+        quantity?: Decimal;
+        /** The billing period this line item covers. */
+        period: AnyTimeRange;
+        /** The price information for this line item. */
+        price?: Price;
+    }
+    /**
+     * The price associated with a line item.
+     * @public
+     */
+    export interface Price {
+        /** The unique identifier for the price. */
+        id: string;
+        /** The product this price belongs to. */
+        product?: Product;
+        /** The recurring pricing configuration, if applicable. */
+        recurring?: RecurringPrice;
+        /** The billing scheme, either per-unit or tiered. */
+        billingScheme?: PricingScheme;
+        /** The pricing tiers, applicable for tiered billing schemes. */
+        tiers: PriceTier[];
+        /** The price type, either one-time or recurring. */
+        type?: PriceType;
+        /** The tiering mode, either graduated or volume. */
+        tiersMode?: PricingTierMode;
+        /** Key-value metadata attached to the price. */
+        metadata: Record<string, string>;
+        /** The unit amount of the price. */
+        unitAmount?: Decimal;
+    }
+    /**
+     * A tier within a tiered pricing structure.
+     * @public
+     */
+    export interface PriceTier {
+        /** The flat fee charged for this tier. */
+        flatAmount?: Decimal;
+        /** The per-unit price for this tier. */
+        unitAmount?: Decimal;
+        /** The upper bound of the tier range. */
+        upTo?: Decimal;
+    }
+    /**
+     * The recurring pricing configuration for a price.
+     * @public
+     */
+    export interface RecurringPrice {
+        /** The billing interval for the recurring price. */
+        interval: RecurringPriceInterval;
+        /** The number of intervals between each billing cycle. */
+        intervalCount: number;
+        /** The usage type, either licensed or metered. */
+        usageType?: UsageType;
+        /** The identifier of the meter tracking usage for this price. */
+        meter?: string;
+    }
+    /**
+     * The product associated with a price.
+     * @public
+     */
+    export interface Product {
+        /** The unique identifier of the product. */
+        id: string;
+        /** The name of the product. */
+        name: string;
+        /** Custom key-value pairs attached to the product. */
+        metadata: Record<string, string>;
+    }
+    /** @internal */
+    export function $platformWrapComputeDiscounts(configTransformer?: (wireConfig: unknown, appCtx: _ConfigApplicationContext) => unknown): (cls: new () => { computeDiscounts(...a: unknown[]): unknown }, wireArgs: unknown, wireConfig: unknown, ctx: unknown) => unknown;
+    /**
+     * Computes discount amounts for a discountable item and returns a discount result.
+     * @public
+     */
+    export type ComputeDiscountsFunction<Config> = (request: DiscountableItem, config: Config, context: Context) => DiscountResult;
+}
+
+/**
+ * @example
+ * ```ts
+ * import type { Billing, Context } from '@stripe/extensibility-sdk';
+ *
+ * // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+ * interface MyDiscountCalculationConfig {}
+ *
+ * export default class MyDiscountCalculation implements Billing.Bill
+ *   .DiscountCalculation<MyDiscountCalculationConfig> {
+ *   computeDiscounts(
+ *     request: Billing.Bill.DiscountCalculation.DiscountableItem,
+ *     _config: MyDiscountCalculationConfig,
+ *     _context: Context
+ *   ) {
+ *     // TODO: implement your discount logic here
+ *
+ *     return {
+ *       discount: { amount: request.grossAmount },
+ *     };
+ *   }
+ * }
+ *
+ * ```
+ * @public
+ */
+export declare interface DiscountCalculation<Config> {
+    computeDiscounts: DiscountCalculation.ComputeDiscountsFunction<Config>;
+}
+
+/** A branded integer — a `number` guaranteed to satisfy `Number.isInteger`. @public */
+declare type Integer = {
+    readonly [__integerBrand]: true;
+    readonly [__stripeType]: 'int';
+} & number;
+
+/** Factory, type guard, and utilities for {@link (Integer:type)} branded values. @public */
+declare const Integer: IntegerCompanion;
+
+/** @public */
+declare interface IntegerCompanion {
+    /** The Integer value `0`. @public */
+    readonly zero: Integer;
+    /** Type guard: narrows `unknown` to {@link (Integer:type)}. @public */
+    is(value: unknown): value is Integer;
+    /** Assertion guard: throws if not an {@link (Integer:type)}. @public */
+    assert(value: unknown): asserts value is Integer;
+    /** Coerce a value to {@link (Integer:type)} by rounding. @public */
+    from(value: Decimal | Integer | number | string, rounding: IntegerRoundDirection): Integer;
+    /** Lossless conversion to `Decimal`. @public */
+    toDecimal(value: Integer): Decimal;
+    /** Type guard: narrows {@link (Integer:type)} to {@link (PositiveInteger:type)}. @public */
+    isPositive(value: Integer): value is PositiveInteger;
+    /** Assertion guard: throws if the Integer is negative. @public */
+    assertIsPositive(value: Integer): asserts value is PositiveInteger;
+}
+
+/**
+ * Rounding directions for coercing a number to an integer.
+ *
+ * A focused subset of {@link https://standards.ieee.org/ieee/754/6210/ | IEEE 754-2019} §4.3:
+ *
+ * | Direction      | Behavior                     | Examples (→ integer)           |
+ * | -------------- | ---------------------------- | ------------------------------ |
+ * | `'ceil'`       | Toward +∞                    | 1.1→2, -1.1→-1                |
+ * | `'floor'`      | Toward -∞                    | 1.9→1, -1.1→-2                |
+ * | `'round-down'` | Toward zero (truncate)       | 1.9→1, -1.9→-1                |
+ * | `'round-up'`   | Away from zero               | 1.1→2, -1.1→-2                |
+ * | `'half-up'`    | Nearest; ties away from zero | 0.5→1, -0.5→-1, 1.4→1         |
+ *
+ * @public
+ */
+declare type IntegerRoundDirection = 'ceil' | 'floor' | 'half-up' | 'round-down' | 'round-up';
+
+/**
+ * Represents a monetary value with amount and currency.
+ * @format monetary-amount
+ * @public
+ */
+declare interface MonetaryAmount {
+    /** The numerical value. */
+    amount: Decimal;
+    /** The currency code. */
+    currency: Currency;
+}
+
+/**
+ * A branded non-negative integer — a `number` guaranteed to be an integer ≥ 0.
+ *
+ * This is a subtype of {@link (Integer:type)}: every non-negative integer is an
+ * integer, so `PositiveInteger` values are assignable to `Integer` contexts.
+ * The reverse is not true — an `Integer` cannot be assigned where a
+ * `PositiveInteger` is expected without going through the `PositiveInteger.is()`
+ * type guard or `PositiveInteger.from()` factory.
+ *
+ * @remarks
+ * Despite the name, this type includes zero (`>= 0`, not `> 0`).
+ * The schema-level constraint `@minimum 0` should be added to fields
+ * typed as `PositiveInteger` to ensure the non-negativity invariant
+ * is enforced at validation time.
+ *
+ * @public
+ */
+declare type PositiveInteger = {
+    readonly [__integerBrand]: true;
+    readonly [__positiveIntegerBrand]: true;
+    readonly [__stripeType]: 'int';
+} & number;
+
+/** Factory, type guard, and utilities for {@link (PositiveInteger:type)} branded values. @public */
+declare const PositiveInteger: PositiveIntegerCompanion;
+
+/** @public */
+declare interface PositiveIntegerCompanion {
+    /** Type guard: narrows `unknown` to {@link (PositiveInteger:type)}. @public */
+    is(value: unknown): value is PositiveInteger;
+    /** Assertion guard: throws if not a {@link (PositiveInteger:type)}. @public */
+    assert(value: unknown): asserts value is PositiveInteger;
+    /** Coerce a value to {@link (PositiveInteger:type)} by rounding. Throws if negative. @public */
+    from(value: Decimal | Integer | number | string, rounding: IntegerRoundDirection): PositiveInteger;
+}
+
+/**
+ * Rounding direction for Decimal operations.
+ *
+ * @remarks
+ * Seven modes corresponding to
+ * {@link https://standards.ieee.org/ieee/754/6210/ | IEEE 754-2019} §4.3
+ * rounding-direction attributes:
+ *
+ * | Direction      | IEEE 754 name           | Behavior                          | Examples (→ integer)                  |
+ * | -------------- | ----------------------- | --------------------------------- | ------------------------------------- |
+ * | `'ceil'`       | `roundTowardPositive`   | Toward +∞                         |  1.1→2, -1.1→-1                       |
+ * | `'floor'`      | `roundTowardNegative`   | Toward -∞                         |  1.9→1, -1.1→-2                       |
+ * | `'round-down'` | `roundTowardZero`       | Toward zero (truncate)            |  1.9→1, -1.9→-1                       |
+ * | `'round-up'`   | —                       | Away from zero                    |  1.1→2, -1.1→-2                       |
+ * | `'half-up'`    | `roundTiesToAway`       | Nearest; ties away from zero      |  0.5→1, -0.5→-1, 1.4→1               |
+ * | `'half-down'`  | —                       | Nearest; ties toward zero         |  0.5→0, -0.5→0, 1.6→2                |
+ * | `'half-even'`  | `roundTiesToEven`       | Nearest; ties to even (banker's)  |  0.5→0, 1.5→2, 2.5→2, 3.5→4          |
+ *
+ * @public
+ */
+declare type RoundDirection = 'ceil' | 'floor' | 'half-down' | 'half-even' | 'half-up' | 'round-down' | 'round-up';
+
+export { }