Kotools Types/kotools.types.number/toPositiveInt

toPositiveInt

fun Int.toPositiveInt(): PositiveInt

Deprecated

Use the Int.toPositiveIntOrThrow function instead.

Replace with

import kotools.types.number.toPositiveIntOrThrow
Content copied to clipboard
this.toPositiveIntOrThrow()
Content copied to clipboard

Returns this value as a PositiveInt, or throws an PositiveInt.ConstructionError if this value is strictly negative.