Band construction, validated assembly, and both directions for Bands.
Attributes
Members list
Type members
Classlikes
One band: its upper bound - open for the last band - and its marginal rate.
One band: its upper bound - open for the last band - and its marginal rate.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Why a scale was refused, each case carrying the offending number.
Why a scale was refused, each case carrying the offending number.
Attributes
- Companion
- object
- Supertypes
-
class WorldErrorclass TypedErrortrait NoStackTraceclass Exceptionclass Throwabletrait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
Inherited and Abstract types
The names of the product elements.
The names of the product elements.
Attributes
- Inherited from:
- Mirror
The name of the type.
The name of the type.
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
The per-band marginal charges over the amount.
The per-band marginal charges over the amount.
Attributes
The exact inverse - the gross whose after-charges remainder is net.
The exact inverse - the gross whose after-charges remainder is net.
Attributes
Assembles a scale: limits strictly ascending from zero, only the last band open, and every rate below one hundred percent, which is what makes gross total.
Assembles a scale: limits strictly ascending from zero, only the last band open, and every rate below one hundred percent, which is what makes gross total.
Attributes
The marginal total.
The marginal total.
Attributes
Givens
Givens
Extensions
Extensions
The marginal charge per band, each rounded at the currency's scale by mode, as a payslip prints its deduction lines. Bands the amount never reaches charge zero, and a negative amount mirrors as the contra entry.
The marginal charge per band, each rounded at the currency's scale by mode, as a payslip prints its deduction lines. Bands the amount never reaches charge zero, and a negative amount mirrors as the contra entry.
Attributes
The gross whose after-charges remainder is net, computed over rationals and rounded once at the currency's scale by mode. Total: the scale is piecewise linear and strictly increasing, so the inverse is closed form. Applying banded to the result reconstructs net exactly where the band limits sit at the rounding scale. Negative nets mirror.
The gross whose after-charges remainder is net, computed over rationals and rounded once at the currency's scale by mode. Total: the scale is piecewise linear and strictly increasing, so the inverse is closed form. Applying banded to the result reconstructs net exactly where the band limits sit at the rounding scale. Negative nets mirror.
Attributes
The same inverse at an explicit scale - the controlled form for currencies that record no minor unit, completing the family's explicit-scale pair.
The same inverse at an explicit scale - the controlled form for currencies that record no minor unit, completing the family's explicit-scale pair.