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

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

[LVMVRQUXL]

Done.

[LVMVRQUXL]

Make the following types serializable:

• [x] ZeroInt
• [x] AnyInt.

Update the serialization of the following types:

• [x] StrictlyPositiveInt
• [x] StrictlyNegativeInt
• [x] NonZeroInt
• [x] PositiveInt
• [x] NegativeInt.