kone.algebraic/dev.lounres.kone.algebraic/ByteContext

ByteContext

data object ByteContext : Reification<Byte> , EuclideanRing<Byte> , Order<Byte> , Hashing<Byte> (source)

Default Euclidean ring for Byte 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: Byte

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

Link copied to clipboard
open val Int.value: Byte

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

open val Long.value: Byte

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

open val UInt.value: Byte

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

open val ULong.value: Byte

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

Link copied to clipboard
open override val zero: Byte

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

Functions

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

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

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

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

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

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

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

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

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

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

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

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

Link copied to clipboard
open operator override fun Byte.minus(other: Byte): Byte

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

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

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

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

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

Link copied to clipboard
open operator override fun Byte.plus(other: Byte): Byte

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

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

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

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

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

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

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

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

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

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

Raises this number in the power of exponent.

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

Raises this number in the power of exponent.

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

Raises base number in the power of exponent.

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

Raises base number in the power of exponent.

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

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

Link copied to clipboard
open operator override fun Byte.times(other: Byte): Byte

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

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

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

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

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

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

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

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

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

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

Inverses this value in terms of the Ring.

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

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

open override fun valueOf(arg: Long): Byte

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

open override fun valueOf(arg: UInt): Byte

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

open override fun valueOf(arg: ULong): Byte

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