kone.algebraic/dev.lounres.kone.algebraic/ULongContext

ULongContext

data object ULongContext : Reification<ULong> , EuclideanSemiring<ULong> , ExtendedSemiring<ULong> , Order<ULong> , Hashing<ULong> (source)

Default Euclidean semiring for ULong type which values are seen as non-negative integers and where overflows are ignored. It also implements Reification, ExtendedSemiring, 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: ULong

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

Link copied to clipboard
open val UInt.value: ULong

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

open val ULong.value: ULong

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

Link copied to clipboard
open override val zero: ULong

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

Functions

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

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

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

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

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

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

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

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

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

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

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

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

Link copied to clipboard
open operator fun UInt.minus(other: ULong): ULong

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

open operator fun ULong.minus(other: UInt): ULong

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

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

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

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

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

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

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

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

Raises this number in the power of exponent.

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

Raises base number in the power of exponent.

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

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

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

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

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

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

Link copied to clipboard
open override fun valueOf(arg: UInt): ULong

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

open override fun valueOf(arg: ULong): ULong

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