Binary operations for AnyInt hierarchy

[LVMVRQUXL]

💡 The idea

For facilitating usages of the AnyInt hierarchy, we would like to implement the following binary operations:

• the plus operation for adding an integer to another one
• the minus operation for subtracting an integer from another one
• the times operation for multiplying an integer by another one
• the div operation for dividing an integer by another one
• the rem operation for calculating the remainder of truncating division of an integer by another one.

Here’s the function definitions that we would love to implement for the AnyInt hierarchy:

/** Adds the [other] integer to this one. */
operator fun Int.plus(other: AnyInt): Int
operator fun AnyInt.plus(other: Int): Int
operator fun AnyInt.plus(other: AnyInt): Int

/** Subtracts the [other] integer from this one. */
operator fun Int.minus(other: AnyInt): Int
operator fun AnyInt.minus(other: Int): Int
operator fun AnyInt.minus(other: AnyInt): Int

/** Multiplies this integer by the [other] one. */
operator fun Int.times(other: AnyInt): Int
operator fun AnyInt.times(other: Int): Int
operator fun AnyInt.times(other: AnyInt): Int

/**
 * Divides this integer by the [other] one, truncating the result to an integer
 * that is closer to [zero][ZeroInt].
 */
operator fun Int.div(other: NonZeroInt): Int
operator fun AnyInt.div(other: NonZeroInt): Int
operator fun PositiveInt.div(other: StrictlyPositiveInt): PositiveInt
operator fun PositiveInt.div(other: StrictlyNegativeInt): NegativeInt
operator fun NegativeInt.div(other: StrictlyPositiveInt): NegativeInt
operator fun NegativeInt.div(other: StrictlyNegativeInt): PositiveInt

/**
 * Calculates the remainder of truncating division of this integer by the
 * [other] one.
 */
operator fun Int.rem(other: NonZeroInt): Int
operator fun AnyInt.rem(other: NonZeroInt): Int
operator fun PositiveInt.rem(other: NonZeroInt): PositiveInt
operator fun NegativeInt.rem(other: NonZeroInt): NegativeInt

🙏 Help needed

Please give this post a reaction if you are interested in this feature, or comment it below if you have any suggestion.

We would love to have your feedback!

[LVMVRQUXL]

Done in #31.
This feature will be available in Kotools Types 4.1.0.