New hierarchy of integers

[LVMVRQUXL]

Description

Introduce a new hierarchy of integers in the kotools.types.number package with the following types:

• AnyInt representing all integers
• NonZeroInt representing integers other than zero
• PositiveInt representing positive integers
• NegativeInt representing negative integers
• StrictlyPositiveInt representing strictly positive integers
• StrictlyNegativeInt representing strictly negative integers
• ZeroInt representing the zero integer.

Code example

sealed interface AnyInt
sealed interface NonZeroInt : AnyInt
sealed interface PositiveInt : AnyInt
sealed interface NegativeInt : AnyInt
class StrictlyPositiveInt : NonZeroInt, PositiveInt
class StrictlyNegativeInt : NonZeroInt, NegativeInt
object ZeroInt : PositiveInt, NegativeInt

Checklist

• Design the hierarchy.
• Implement the ZeroInt type.
• Implement the StrictlyPositiveInt type.
• Implement the StrictlyNegativeInt type.
• Implement the NonZeroInt type.
• Implement the PositiveInt type.
• Implement the NegativeInt type.
• Make all types serializable.
• Make all types comparable with an AnyInt.
• Remove the old types from the kotools.types package.
• Refactor.
• Update Work in progress section in changelog.
• Complete tasks of this comment.

[LVMVRQUXL]

Done.

[LVMVRQUXL]

Make the following types serializable:

• ZeroInt
• AnyInt.

Update the serialization of the following types:

• StrictlyPositiveInt
• StrictlyNegativeInt
• NonZeroInt
• PositiveInt
• NegativeInt.