Skip to content

Bigint positive

bigintPositive validates that a value is a string representing a BigInt strictly greater than zero.

It enforces strict bigint‑string semantics: the value must be a string, must parse successfully as a BigInt literal, and must be strictly greater than 0n. If any condition fails, the rule emits a single validation event. Otherwise, it produces no validation output.

Signature

Through the API:

.bigintPositive();

And internally:

export const bigintPositive: ValidationRule
(value: unknown, path: FieldPath) => Promise<ReadonlyArray<JaneEvent>>

Events

Event code Description
bigint.not.string Value is not a string.
bigint.not.bigint String is not a valid bigint literal.
bigint.not.positive Parsed bigint is less than or equal to zero.

Design rationale

  • Enforces strict bigint‑string validation with no coercion or normalization.
  • Rejects non‑string values early with a structural‑type diagnostic.
  • Treats empty strings and malformed literals as invalid bigint values.
  • Uses JavaScript’s BigInt() constructor for canonical parsing.
  • Ensures positivity is explicit: only values > 0n are accepted.
  • Emits exactly one event per failure for clarity and composability.
  • Pure, total, async‑compatible, and returns a readonly array of JaneEvent objects.
  • Preserves the provided path and supports pipeline‑level userMessage overrides.

Invoke

bigintPositive runs only when explicitly included in a boundary or pipeline. It does not run automatically.

The rule activates when:

  • The value is any JavaScript value.
  • If the value is not a string, emits bigint.not.string.
  • If the string is empty or cannot be parsed by BigInt, emits bigint.not.bigint.
  • If the parsed bigint is less than or equal to 0n, emits bigint.not.positive.
  • Otherwise, returns an empty result set.

Examples

Valid — bigint string > 0

await bigintPositive("1", "$");
// → []

await bigintPositive("42", "$");
// → []

Invalid — not a string

await bigintPositive(123, "$");
// → [
//     JaneEvent{
//       kind: "error",
//       code: "bigint.not.string",
//       path: "$",
//       ...
//     }
//   ]

Invalid — malformed bigint literal

await bigintPositive("01", "$");
// → [
//     JaneEvent{
//       kind: "error",
//       code: "bigint.not.bigint",
//       path: "$",
//       ...
//     }
//   ]

Invalid — bigint ≤ 0

await bigintPositive("0", "$");
// → [
//     JaneEvent{
//       kind: "error",
//       code: "bigint.not.positive",
//       path: "$",
//       ...
//     }
//   ]

await bigintPositive("-5", "$");
// → [
//     JaneEvent{
//       kind: "error",
//       code: "bigint.not.positive",
//       path: "$",
//       ...
//     }
//   ]