@machine202502/types

Type-only TypeScript package with compile-time integer math and number utilities. There is no runtime code — only .d.ts declarations.

Install

npm install @machine202502/types

Requires TypeScript 4.8+ (template literal types / recursive conditional types).

Imports

| Entry | Purpose | |-------|---------| | @machine202502/types/math | Public integer/number math types | | @machine202502/types/math/internal | Lower-level helpers (digit tuples, boolean ops, string utils) |

import type {
  NumberIntegerAdd,
  NumberIntegerMultiply,
  Trunc,
  IsEven,
} from "@machine202502/types/math";

import type { And, Or, If, NumericalSign } from "@machine202502/types/math/internal";

@machine202502/types/math

Number helpers

| Type | Description | |------|-------------| | IsFloat<N> / IsInteger<N> | Whether N looks like a float / integer literal | | IsOdd<N> / IsEven<N> | Parity of truncated N | | Abs<N> / Negate<N> / Sign<N> | Absolute value, negation, sign (-1 \| 0 \| 1) | | Signed<N, S> | Apply sign S (or product of two signs) to Abs<N> | | Trunc<N> | Truncate toward zero via string split (drops fractional part) | | NumberParts<N> | [sign, fixed, float] parts of a number literal |

Integer compare

| Type | Description | |------|-------------| | NumberIntegerCompare<L, R> | -1 \| 0 \| 1 | | NumberIntegerEq / Neq / Gt / Gte / Lt / Lte | Boolean comparisons | | NumberIntegerMin / Max / Clamp | Min, max, clamp (values are truncated) |

Integer arithmetic

Operands are truncated to integers. Results are literal number types.

| Type | Description | |------|-------------| | NumberIntegerAdd<L, R> | L + R | | NumberIntegerSubtract<L, R> | L - R | | NumberIntegerMultiply<L, R> | L * R | | NumberIntegerDivide<L, R> | [quotient, remainder] or null on divide-by-zero | | NumberIntegerPower<N, P> | N ** P (null if P < 0) |

type A = NumberIntegerAdd<32, NumberIntegerMultiply<11, 11>>; // 153
type P = NumberIntegerPower<2, 32>; // 4294967296
type D = NumberIntegerDivide<100, 3>; // [33, 1]
type T = Trunc<-234.601>; // -234

@machine202502/types/math/internal

Building blocks used by the public API. Prefer @machine202502/types/math in app code.

| Group | Types | |-------|--------| | Boolean | ToBoolean, Not, And, Or, If | | Primitives | NumericalDigit, NumericalDigitChar, NumericalSign, NumericalCompared, NumericalUintStringTuple | | String | StringLength, StringToTuple | | Uint digit math | NumberUintStringTupleAdd / Subtract / Multiply / Divide / Half / Power / Compare, NumberUintStringZeroLeftTrim, NumberUintStringZarr*, conversion helpers |

Examples

Runtime wrappers that return these types live in examples/:

• examples/example-module.ts — functions whose return types are the package types
• examples/example.ts — end-to-end check (npm run example)

import type { NumberIntegerMultiply } from "@machine202502/types/math";

function Multiply<L extends number, R extends number>(
  l: L,
  r: R,
): NumberIntegerMultiply<L, R> {
  return (Math.trunc(l) * Math.trunc(r)) as NumberIntegerMultiply<L, R>;
}

const n = Multiply(11, 11);
//    ^? const n: 121