types/kotools.types.result/ResultContext/toPositiveInt

toPositiveInt

open fun Number.toPositiveInt(): PositiveInt

Returns this number as a PositiveInt, which may involve rounding or truncation, or throws an IllegalArgumentException if this number is strictly negative.