money.amount
A currency-tagged monetary amount held in integer minor units.
1.0.1 (not the latest) · published 2026-10-03 by charlie · Anterra
Pinned by 15 tests, run in TypeScript, Python and Rust.
What it does
Money is never a float. 0.1 + 0.2 is not 0.3 in binary floating point, and an invoice that is a penny out is a support ticket.
Amounts are integers in the currency's minor unit, tagged with the currency so that adding GBP to EUR fails loudly rather than silently producing a number.
For example
money(12,000, GBP)→ £120.00 pounds and pencemoney(0, GBP)→ £0.00 zeromoney(-2,599, GBP)→ -£25.99 negative amounts are allowed (credit notes)
The function
The same function in TypeScript, Python and Rust, pinned by the same tests. Pick your language; the choice follows you around the registry.
export function money(minor: number, currency: string): Money
| minor | int | amount in minor units: pence, cents, yen |
| currency | string | ISO 4217 alphabetic code, uppercase |
| returns | Money |
The type it declares, generated into your project
/** A monetary amount in integer minor units, tagged with its currency. */
export interface Money {
/** pence, cents, yen; never a float */
readonly minor: number;
/** ISO 4217 alphabetic code, uppercase */
readonly currency: string;
}
Your code names it in one line, in the file that uses it
import { money } from "#fune/money.amount@^1";
import { type Money } from "./money_amount_types.ts";
// Money is declared in function.fune: integer minor units, never a float.
const CURRENCY = /^[A-Z]{3}$/;
export function money(minor: number, currency: string): Money {
if (!Number.isInteger(minor)) {
throw new TypeError(`money() takes integer minor units, received ${minor}`);
}
if (typeof currency !== "string" || !CURRENCY.test(currency)) {
throw new RangeError(`"${currency}" is not an uppercase ISO 4217 currency code`);
}
return { minor, currency };
}
export function isMoney(value: unknown): value is Money {
return (
typeof value === "object" &&
value !== null &&
Number.isInteger((value as Money).minor) &&
CURRENCY.test((value as Money).currency ?? "")
);
}
/** Guard against the silent nonsense of adding GBP to EUR. */
export function assertSameCurrency(a: Money, b: Money): void {
if (a.currency !== b.currency) {
throw new RangeError(`currency mismatch: ${a.currency} and ${b.currency}`);
}
}
export function zero(currency: string): Money {
return money(0, currency);
}Install
fune build
With that line in your source, in a TypeScript project (language typescript in fune.project), fune build resolves it and nothing else, pins them in fune.lock, downloads only the TypeScript package of each, and builds the code above into your project’s .fune/build, one readable file per capability with a header linking back here. Or pin a range in fune.project and build in one step:
fune add money.amount
The manifest, vectors and README with only the TypeScript implementation. Install it without the registry with fune add ./money.amount-1.0.1-typescript.fune, or fetch it from a terminal with fune pull money.amount@1.0.1:typescript.
The whole function, every language, is one file too: money.amount-1.0.1.fune, 7,776 bytes, sha256 7a02c05afaaa44fd77303a897cbaf4017e855cc62554d480693a7f1ed5d84e32. It installs into a project of any language.
Customise it in your app
The seams this capability offers. Put a marker directly above a function of your own and fune build wires it into the built code; the package on the registry is not changed, the built file’s header lists it under CUSTOMISED, and fune hooks lists every hook in the project. How hooks work.
before — your function gets the arguments and returns them, changed or not, or throws to refuse the call.
// fune: before money.amount
after — your function gets the result and the arguments, and returns the final result.
// fune: after money.amount
replace — it requires no other capability, so there is no dependency to replace.
step — your function runs at a numbered point inside the function’s body, receives the in-scope values it names as parameters, and may return replacements. List the points with fune show money.amount --steps.
// fune: step money.amount after <n|label>
Tests
A version published now needs at least 8 tests for every function, and one that expects the error for each function that throws; the registry refuses it otherwise. fune verify --all runs each case in TypeScript, Python and Rust, and a project runs them again with fune verify. This page lists the cases; it does not run them. The exact JSON is vectors.json.
| Case | Arguments | Expected | |
|---|---|---|---|
| pounds and pence | 12,000, GBP | → | £120.00 |
| zero | 0, GBP | → | £0.00 |
| negative amounts are allowed (credit notes) | -2,599, GBP | → | -£25.99 |
| zero-decimal currency | 1,500, JPY | → | ¥1,500 |
| lowercase currency is rejected | 100, gbp | → | error: ISO 4217 |
| non-integer minor units are rejected | 10.5, GBP | → | error: integer minor units |
| the largest safe integer is held exactly | 9,007,199,254,740,991, USD | → | $90,071,992,547,409.91 |
| a negative zero-decimal amount | -1, JPY | → | -¥1 |
| a three-decimal currency is still whole minor units (fils) | 1,234, KWD | → | 1.234 KWD |
| a fractional credit is rejected, not rounded | -0.5, GBP | → | error: integer minor units |
Show the other 5 tests
| Case | Arguments | Expected | |
|---|---|---|---|
| two letters are not a currency code | 100, GB | → | error: ISO 4217 |
| four letters are not a currency code | 100, GBPX | → | error: ISO 4217 |
| an empty currency is rejected | 100, | → | error: ISO 4217 |
| mixed case is rejected, not upper-cased | 100, Gbp | → | error: ISO 4217 |
| digits are not a currency code | 100, 123 | → | error: ISO 4217 |
More from the author
1.0.1 adds tests; behaviour unchanged.
Files
| Path | Bytes |
|---|---|
| README.md | 340 |
| impl/python.py | 947 |
| impl/rust.rs | 1,599 |
| impl/typescript.ts | 1,093 |
| vectors.json | 1,692 |