kone.algebraic/dev.lounres.kone.algebraic/ShortContext

ShortContext

data object ShortContext : Reification<Short> , EuclideanRing<Short> , Order<Short> , Hashing<Short> (source)

Default Euclidean ring for Short type which values are seen as integers and where overflows are ignored. It also implements Reification, Order, and Hashing interfaces in the default understanding.

Such context is useless when used as is, but useful when used in generalised algorithms.

Properties

Link copied to clipboard
open override val one: Short

Represents a unit element (a.k.a. neutral multiplicative element).

Link copied to clipboard
open val Int.value: Short

Converts instance of Int to an element of the Ring it is equal to.

open val Long.value: Short

Converts instance of Long to an element of the Ring it is equal to.

open val UInt.value: Short

Converts instance of UInt to an element of the Semiring it is equal to.

open val ULong.value: Short

Converts instance of Long to an element of the Semiring it is equal to.

Link copied to clipboard
open override val zero: Short

Represents a zero element (a.k.a. neutral additive element).

Functions

Link copied to clipboard
open infix override fun Short.compareWith(other: Short): ComparisonResult
Link copied to clipboard
open operator override fun contains(element: Any?): Boolean
Link copied to clipboard
open operator override fun Short.div(other: Short): Short

Returns quotient of Euclidean division (a.k.a. a division with remainder).

Link copied to clipboard
open infix override fun Short.divrem(other: Short): EuclideanDivisionResult<Short>

Returns result of Euclidean division (a.k.a. a division with remainder), both quotient and remainder.

Link copied to clipboard
open infix fun Short.equalsTo(other: Short): Boolean
Link copied to clipboard
open fun Short.hash(): Int
Link copied to clipboard
open fun Short.isNotOne(): Boolean

Checks that this number is not a one in the context of the Semiring.

Link copied to clipboard
open fun Short.isNotZero(): Boolean

Checks that this number is not a zero in the context of the Semiring.

Link copied to clipboard
open fun Short.isOne(): Boolean

Checks that this number is a one in the context of the Semiring.

Link copied to clipboard
open fun Short.isZero(): Boolean

Checks that this number is a zero in the context of the Semiring.

Link copied to clipboard
open operator override fun Int.minus(other: Short): Short
open operator override fun Long.minus(other: Short): Short
open operator override fun UInt.minus(other: Short): Short
open operator override fun ULong.minus(other: Short): Short

Sums this integer and the other number as elements of the Ring.

open operator override fun Short.minus(other: Int): Short
open operator override fun Short.minus(other: Long): Short
open operator override fun Short.minus(other: UInt): Short
open operator override fun Short.minus(other: ULong): Short

Subtracts this number and the other integer as elements of the Ring.

open operator override fun Short.minus(other: Short): Short

Subtracts this and the other numbers in terms of the Ring.

Link copied to clipboard
open operator override fun Int.plus(other: Short): Short
open operator override fun Long.plus(other: Short): Short

Sums this integer and the other number as elements of the Ring.

open operator override fun Short.plus(other: Int): Short
open operator override fun Short.plus(other: Long): Short

Sums this number and the other integer as elements of the Ring.

open operator override fun Short.plus(other: Short): Short

Sums this and the other numbers in terms of the Semiring.

open operator override fun Short.plus(other: UInt): Short
open operator override fun Short.plus(other: ULong): Short

Sums this number and the other integer as elements of the Semiring.

open operator override fun UInt.plus(other: Short): Short
open operator override fun ULong.plus(other: Short): Short

Sums this integer and the other number as elements of the Semiring.

Link copied to clipboard
open infix fun Short.pow(exponent: UInt): Short

Raises this number in the power of exponent.

open infix fun Short.pow(exponent: ULong): Short

Raises this number in the power of exponent.

Link copied to clipboard
open fun power(base: Short, exponent: UInt): Short

Raises base number in the power of exponent.

open fun power(base: Short, exponent: ULong): Short

Raises base number in the power of exponent.

Link copied to clipboard
open override fun reify(element: Any?): Short
Link copied to clipboard
open override fun reifyMaybe(element: Any?): Maybe<Short>
Link copied to clipboard
open override fun reifyOrNull(element: Any?): Short?
Link copied to clipboard
open operator override fun Short.rem(other: Short): Short

Returns remainder of Euclidean division (a.k.a. a division with remainder).

Link copied to clipboard
open operator override fun Int.times(other: Short): Short
open operator override fun Long.times(other: Short): Short

Sums this integer and the other number as elements of the Ring.

open operator override fun Short.times(other: Int): Short
open operator override fun Short.times(other: Long): Short

Multiplies this number and the other integer as elements of the Ring.

open operator override fun Short.times(other: Short): Short

Multiplies this and the other numbers in terms of the Semiring.

open operator override fun Short.times(other: UInt): Short
open operator override fun Short.times(other: ULong): Short

Multiplies this number and the other integer as elements of the Semiring.

open operator override fun UInt.times(other: Short): Short
open operator override fun ULong.times(other: Short): Short

Sums this integer and the other number as elements of the Semiring.

Link copied to clipboard
open operator override fun Short.unaryMinus(): Short

Inverses this value in terms of the Ring.

Link copied to clipboard
open override fun valueOf(arg: Int): Short

Converts instance of Int to an element of the Ring it is equal to.

open override fun valueOf(arg: Long): Short

Converts instance of Long to an element of the Ring it is equal to.

open override fun valueOf(arg: UInt): Short

Converts instance of UInt to an element of the Semiring it is equal to.

open override fun valueOf(arg: ULong): Short

Converts instance of ULong to an element of the Semiring it is equal to.