PositiveInt
Deprecated
Use the positiveIntOrThrow function instead.
Replace with
import kotools.types.number.positiveIntOrThrow
Content copied to clipboard
positiveIntOrThrow(value)Content copied to clipboard
Returns the value as a PositiveInt, or throws an PositiveInt.ConstructionError if the value is strictly negative.