kone.algebraic/dev.lounres.kone.algebraic

Package-level declarations

Types

AbelianGroup

typealias AbelianGroup<Number> = CommutativeGroup<Number>

Type alias for CommutativeGroup, also known as an abelian group.

BigIntegerCompanion

data object BigIntegerCompanion

CommutativeGroup

interface CommutativeGroup<Number> : Group<Number> , CommutativeMonoid<Number>

Describes a context that represents mathematical commutative group (a.k.a. abelian group).

CommutativeMonoid

interface CommutativeMonoid<Number> : Monoid<Number> , CommutativeSemigroup<Number>

Describes a context that represents mathematical commutative monoid (a.k.a. abelian monoid).

CommutativeRing

interface CommutativeRing<Number> : Ring<Number> , CommutativeSemiring<Number>

Describes a context that represents mathematical commutative ring.

CommutativeSemigroup

interface CommutativeSemigroup<Number> : Semigroup<Number>

Describes a context that represents mathematical commutative semigroup (a.k.a. abelian semigroup).

CommutativeSemiring

interface CommutativeSemiring<Number> : Semiring<Number>

Describes a context that represents mathematical commutative semiring.

Divide

interface Divide<in Left, in Right, out Result> : KoneContext

An operation context for the division operator.

DivideRemainder

interface DivideRemainder<in Left, in Right, out Result> : KoneContext

An operation context for Euclidean division (division with remainder).

EuclideanDivisionResult

@Serializable

data class EuclideanDivisionResult<Number>(val quotient: Number, val remainder: Number)

Wrapper class for a result of Euclidean division (a.k.a. a division with remainder). See EuclideanSemiring's or EuclideanRing's docs for more.

EuclideanRing

interface EuclideanRing<Number> : CommutativeRing<Number> , EuclideanSemiring<Number>

Describes a context that represents Euclidean ring (a.k.a. Euclidean domain).

EuclideanSemiring

interface EuclideanSemiring<Number> : CommutativeSemiring<Number>

Describes a context that represents Euclidean semiring (i.e. Euclidean ring (a.k.a. Euclidean domain) but without subtraction).

ExtendedSemiring

interface ExtendedSemiring<Number> : Semiring<Number>

Describes a context that represents "extended" mathematical semiring.

Field

interface Field<Number> : CommutativeRing<Number>

Describes a context that represents mathematical field.

Group

interface Group<Number> : Monoid<Number>

Describes a context that represents mathematical group.

Minus

interface Minus<in Left, in Right, out Result> : KoneContext

An operation context for the binary minus (subtraction) operator.

Monoid

interface Monoid<Number> : Semigroup<Number>

Describes a context that represents mathematical monoid.

OverflowException

class OverflowException(message: String? = "Overflow happened") : ArithmeticException

Describes that overflow happened during arithmetic operation. For example, overflow in Int or Long operations like addition or multiplication.

Plus

interface Plus<in Left, in Right, out Result> : KoneContext

An operation context for the binary plus (addition) operator.

Power

interface Power<in Base, in Exponent, out Result> : KoneContext

An operation context for exponentiation (power).

Reciprocal

interface Reciprocal<in Input, out Result> : KoneContext

An operation context for computing the reciprocal (multiplicative inverse).

Remainder

interface Remainder<in Left, in Right, out Result> : KoneContext

An operation context for the remainder (modulo) operator.

Ring

interface Ring<Number> : Semiring<Number> , CommutativeGroup<Number>

Describes a context that represents mathematical ring.

Semigroup

interface Semigroup<Number> : KoneContext

Describes a context that represents mathematical semigroup.

Semiring

interface Semiring<Number> : CommutativeMonoid<Number>

Describes a context that represents mathematical semiring.

Sign

enum Sign : Enum<Sign>

Represents the sign of a number: negative, zero, or positive.

Times

interface Times<in Left, in Right, out Result> : KoneContext

An operation context for the multiplication operator.

UnaryMinus

interface UnaryMinus<in Input, out Result> : KoneContext

An operation context for the unary minus (negation) operator.

UnaryPlus

interface UnaryPlus<in Input, out Result> : KoneContext

An operation context for the unary plus operator.

Functions

absoluteValue

context(group: Group<Number>, order: Order<Number>)
fun <Number> Number.absoluteValue(): Number

Returns absolute value of this number. I.e. if this number is non-negative it is returned, otherwise its negation is returned.

commutativeGroup

fun Byte.Companion.commutativeGroup(): CommutativeGroup<Byte>

Returns the Byte commutative group context (a singleton implementing CommutativeGroup for Byte).

fun Double.Companion.commutativeGroup(): CommutativeGroup<Double>

Returns the Double commutative group context (a singleton implementing CommutativeGroup for Double).

fun Float.Companion.commutativeGroup(): CommutativeGroup<Float>

Returns the Float commutative group context (a singleton implementing CommutativeGroup for Float).

fun Int.Companion.commutativeGroup(): CommutativeGroup<Int>

Returns the Int commutative group context (a singleton implementing CommutativeGroup for Int).

fun Long.Companion.commutativeGroup(): CommutativeGroup<Long>

Returns the Long commutative group context (a singleton implementing CommutativeGroup for Long).

fun Short.Companion.commutativeGroup(): CommutativeGroup<Short>

Returns the Short commutative group context (a singleton implementing CommutativeGroup for Short).

fun BigIntegerCompanion.commutativeGroup(): CommutativeGroup<BigInteger>

commutativeMonoid

fun Byte.Companion.commutativeMonoid(): CommutativeMonoid<Byte>

Returns the Byte commutative monoid context (a singleton implementing CommutativeMonoid for Byte).

fun Double.Companion.commutativeMonoid(): CommutativeMonoid<Double>

Returns the Double commutative monoid context (a singleton implementing CommutativeMonoid for Double).

fun Float.Companion.commutativeMonoid(): CommutativeMonoid<Float>

Returns the Float commutative monoid context (a singleton implementing CommutativeMonoid for Float).

fun Int.Companion.commutativeMonoid(): CommutativeMonoid<Int>

Returns the Int commutative monoid context (a singleton implementing CommutativeMonoid for Int).

fun Long.Companion.commutativeMonoid(): CommutativeMonoid<Long>

Returns the Long commutative monoid context (a singleton implementing CommutativeMonoid for Long).

fun Short.Companion.commutativeMonoid(): CommutativeMonoid<Short>

Returns the Short commutative monoid context (a singleton implementing CommutativeMonoid for Short).

fun UByte.Companion.commutativeMonoid(): CommutativeMonoid<UByte>

Returns the UByte commutative monoid context (a singleton implementing CommutativeMonoid for UByte).

fun UInt.Companion.commutativeMonoid(): CommutativeMonoid<UInt>

Returns the UInt commutative monoid context (a singleton implementing CommutativeMonoid for UInt).

fun ULong.Companion.commutativeMonoid(): CommutativeMonoid<ULong>

Returns the ULong commutative monoid context (a singleton implementing CommutativeMonoid for ULong).

fun UShort.Companion.commutativeMonoid(): CommutativeMonoid<UShort>

Returns the UShort commutative monoid context (a singleton implementing CommutativeMonoid for UShort).

fun BigIntegerCompanion.commutativeMonoid(): CommutativeMonoid<BigInteger>

commutativeRing

fun Byte.Companion.commutativeRing(): CommutativeRing<Byte>

Returns the Byte commutative ring context (a singleton implementing CommutativeRing for Byte).

fun Double.Companion.commutativeRing(): CommutativeRing<Double>

Returns the Double commutative ring context (a singleton implementing CommutativeRing for Double).

fun Float.Companion.commutativeRing(): CommutativeRing<Float>

Returns the Float commutative ring context (a singleton implementing CommutativeRing for Float).

fun Int.Companion.commutativeRing(): CommutativeRing<Int>

Returns the Int commutative ring context (a singleton implementing CommutativeRing for Int).

fun Long.Companion.commutativeRing(): CommutativeRing<Long>

Returns the Long commutative ring context (a singleton implementing CommutativeRing for Long).

fun Short.Companion.commutativeRing(): CommutativeRing<Short>

Returns the Short commutative ring context (a singleton implementing CommutativeRing for Short).

fun BigIntegerCompanion.commutativeRing(): CommutativeRing<BigInteger>

commutativeSemigroup

fun Byte.Companion.commutativeSemigroup(): CommutativeSemigroup<Byte>

Returns the Byte commutative semigroup context (a singleton implementing CommutativeSemigroup for Byte).

fun Double.Companion.commutativeSemigroup(): CommutativeSemigroup<Double>

Returns the Double commutative semigroup context (a singleton implementing CommutativeSemigroup for Double).

fun Float.Companion.commutativeSemigroup(): CommutativeSemigroup<Float>

Returns the Float commutative semigroup context (a singleton implementing CommutativeSemigroup for Float).

fun Int.Companion.commutativeSemigroup(): CommutativeSemigroup<Int>

Returns the Int commutative semigroup context (a singleton implementing CommutativeSemigroup for Int).

fun Long.Companion.commutativeSemigroup(): CommutativeSemigroup<Long>

Returns the Long commutative semigroup context (a singleton implementing CommutativeSemigroup for Long).

fun Short.Companion.commutativeSemigroup(): CommutativeSemigroup<Short>

Returns the Short commutative semigroup context (a singleton implementing CommutativeSemigroup for Short).

fun UByte.Companion.commutativeSemigroup(): CommutativeSemigroup<UByte>

Returns the UByte commutative semigroup context (a singleton implementing CommutativeSemigroup for UByte).

fun UInt.Companion.commutativeSemigroup(): CommutativeSemigroup<UInt>

Returns the UInt commutative semigroup context (a singleton implementing CommutativeSemigroup for UInt).

fun ULong.Companion.commutativeSemigroup(): CommutativeSemigroup<ULong>

Returns the ULong commutative semigroup context (a singleton implementing CommutativeSemigroup for ULong).

fun UShort.Companion.commutativeSemigroup(): CommutativeSemigroup<UShort>

Returns the UShort commutative semigroup context (a singleton implementing CommutativeSemigroup for UShort).

fun BigIntegerCompanion.commutativeSemigroup(): CommutativeSemigroup<BigInteger>

commutativeSemiring

fun Byte.Companion.commutativeSemiring(): CommutativeSemiring<Byte>

Returns the Byte commutative semiring context (a singleton implementing CommutativeSemiring for Byte).

fun Double.Companion.commutativeSemiring(): CommutativeSemiring<Double>

Returns the Double commutative semiring context (a singleton implementing CommutativeSemiring for Double).

fun Float.Companion.commutativeSemiring(): CommutativeSemiring<Float>

Returns the Float commutative semiring context (a singleton implementing CommutativeSemiring for Float).

fun Int.Companion.commutativeSemiring(): CommutativeSemiring<Int>

Returns the Int commutative semiring context (a singleton implementing CommutativeSemiring for Int).

fun Long.Companion.commutativeSemiring(): CommutativeSemiring<Long>

Returns the Long commutative semiring context (a singleton implementing CommutativeSemiring for Long).

fun Short.Companion.commutativeSemiring(): CommutativeSemiring<Short>

Returns the Short commutative semiring context (a singleton implementing CommutativeSemiring for Short).

fun UByte.Companion.commutativeSemiring(): CommutativeSemiring<UByte>

Returns the UByte commutative semiring context (a singleton implementing CommutativeSemiring for UByte).

fun UInt.Companion.commutativeSemiring(): CommutativeSemiring<UInt>

Returns the UInt commutative semiring context (a singleton implementing CommutativeSemiring for UInt).

fun ULong.Companion.commutativeSemiring(): CommutativeSemiring<ULong>

Returns the ULong commutative semiring context (a singleton implementing CommutativeSemiring for ULong).

fun UShort.Companion.commutativeSemiring(): CommutativeSemiring<UShort>

Returns the UShort commutative semiring context (a singleton implementing CommutativeSemiring for UShort).

fun BigIntegerCompanion.commutativeSemiring(): CommutativeSemiring<BigInteger>

div

context(divide: Divide<Left, Right, Result>)
operator fun <Left, Right, Result> Left.div(other: Right): Result

Performs division using the given Divide context.

Divide

inline fun <Left, Right, Result> Divide(crossinline block: (left: Left, right: Right) -> Result): Divide<Left, Right, Result>

Creates a Divide instance from a lambda.

DivideRemainder

inline fun <Left, Right, Result> DivideRemainder(crossinline block: (left: Left, right: Right) -> Result): DivideRemainder<Left, Right, Result>

Creates a DivideRemainder instance from a lambda.

divisionByZero

fun divisionByZero(): Nothing

Throws ArithmeticException with message "Division by zero". Used when division by zero is attempted.

divrem

context(divideRemainder: DivideRemainder<Left, Right, Result>)
infix fun <Left, Right, Result> Left.divrem(other: Right): Result

Performs Euclidean division using the given DivideRemainder context.

equality

fun Byte.Companion.equality(): Equality<Byte>

Returns the Byte equality context (a singleton implementing Equality for Byte).

fun Double.Companion.equality(): Equality<Double>

Returns the Double equality context (a singleton implementing Equality for Double).

fun Float.Companion.equality(): Equality<Float>

Returns the Float equality context (a singleton implementing Equality for Float).

fun Int.Companion.equality(): Equality<Int>

Returns the Int equality context (a singleton implementing Equality for Int).

fun Long.Companion.equality(): Equality<Long>

Returns the Long equality context (a singleton implementing Equality for Long).

fun Short.Companion.equality(): Equality<Short>

Returns the Short equality context (a singleton implementing Equality for Short).

fun UByte.Companion.equality(): Equality<UByte>

Returns the UByte equality context (a singleton implementing Equality for UByte).

fun UInt.Companion.equality(): Equality<UInt>

Returns the UInt equality context (a singleton implementing Equality for UInt).

fun ULong.Companion.equality(): Equality<ULong>

Returns the ULong equality context (a singleton implementing Equality for ULong).

fun UShort.Companion.equality(): Equality<UShort>

Returns the UShort equality context (a singleton implementing Equality for UShort).

fun BigIntegerCompanion.equality(): Equality<BigInteger>

euclideanRing

fun Byte.Companion.euclideanRing(): EuclideanRing<Byte>

Returns the Byte euclidean ring context (a singleton implementing EuclideanRing for Byte).

fun Int.Companion.euclideanRing(): EuclideanRing<Int>

Returns the Int euclidean ring context (a singleton implementing EuclideanRing for Int).

fun Long.Companion.euclideanRing(): EuclideanRing<Long>

Returns the Long euclidean ring context (a singleton implementing EuclideanRing for Long).

fun Short.Companion.euclideanRing(): EuclideanRing<Short>

Returns the Short euclidean ring context (a singleton implementing EuclideanRing for Short).

fun BigIntegerCompanion.euclideanRing(): EuclideanRing<BigInteger>

euclideanSemiring

fun Byte.Companion.euclideanSemiring(): EuclideanSemiring<Byte>

Returns the Byte euclidean semiring context (a singleton implementing EuclideanSemiring for Byte).

fun Int.Companion.euclideanSemiring(): EuclideanSemiring<Int>

Returns the Int euclidean semiring context (a singleton implementing EuclideanSemiring for Int).

fun Long.Companion.euclideanSemiring(): EuclideanSemiring<Long>

Returns the Long euclidean semiring context (a singleton implementing EuclideanSemiring for Long).

fun Short.Companion.euclideanSemiring(): EuclideanSemiring<Short>

Returns the Short euclidean semiring context (a singleton implementing EuclideanSemiring for Short).

fun UByte.Companion.euclideanSemiring(): EuclideanSemiring<UByte>

Returns the UByte euclidean semiring context (a singleton implementing EuclideanSemiring for UByte).

fun UInt.Companion.euclideanSemiring(): EuclideanSemiring<UInt>

Returns the UInt euclidean semiring context (a singleton implementing EuclideanSemiring for UInt).

fun ULong.Companion.euclideanSemiring(): EuclideanSemiring<ULong>

Returns the ULong euclidean semiring context (a singleton implementing EuclideanSemiring for ULong).

fun UShort.Companion.euclideanSemiring(): EuclideanSemiring<UShort>

Returns the UShort euclidean semiring context (a singleton implementing EuclideanSemiring for UShort).

fun BigIntegerCompanion.euclideanSemiring(): EuclideanSemiring<BigInteger>

field

fun Double.Companion.field(): Field<Double>

Returns the Double field context (a singleton implementing Field for Double).

fun Float.Companion.field(): Field<Float>

Returns the Float field context (a singleton implementing Field for Float).

group

fun Byte.Companion.group(): Group<Byte>

Returns the Byte group context (a singleton implementing Group for Byte).

fun Double.Companion.group(): Group<Double>

Returns the Double group context (a singleton implementing Group for Double).

fun Float.Companion.group(): Group<Float>

Returns the Float group context (a singleton implementing Group for Float).

fun Int.Companion.group(): Group<Int>

Returns the Int group context (a singleton implementing Group for Int).

fun Long.Companion.group(): Group<Long>

Returns the Long group context (a singleton implementing Group for Long).

fun Short.Companion.group(): Group<Short>

Returns the Short group context (a singleton implementing Group for Short).

fun BigIntegerCompanion.group(): Group<BigInteger>

hashing

fun Byte.Companion.hashing(): Hashing<Byte>

Returns the Byte hashing context (a singleton implementing Hashing for Byte).

fun Double.Companion.hashing(): Hashing<Double>

Returns the Double hashing context (a singleton implementing Hashing for Double).

fun Float.Companion.hashing(): Hashing<Float>

Returns the Float hashing context (a singleton implementing Hashing for Float).

fun Int.Companion.hashing(): Hashing<Int>

Returns the Int hashing context (a singleton implementing Hashing for Int).

fun Long.Companion.hashing(): Hashing<Long>

Returns the Long hashing context (a singleton implementing Hashing for Long).

fun Short.Companion.hashing(): Hashing<Short>

Returns the Short hashing context (a singleton implementing Hashing for Short).

fun UByte.Companion.hashing(): Hashing<UByte>

Returns the UByte hashing context (a singleton implementing Hashing for UByte).

fun UInt.Companion.hashing(): Hashing<UInt>

Returns the UInt hashing context (a singleton implementing Hashing for UInt).

fun ULong.Companion.hashing(): Hashing<ULong>

Returns the ULong hashing context (a singleton implementing Hashing for ULong).

fun UShort.Companion.hashing(): Hashing<UShort>

Returns the UShort hashing context (a singleton implementing Hashing for UShort).

fun BigIntegerCompanion.hashing(): Hashing<BigInteger>

isNegative

context(monoid: Monoid<Number>, order: Order<Number>)
fun <Number> Number.isNegative(): Boolean

Checks if this number is negative in the ordered semiring.

fun Sign.isNegative(): Boolean

Checks if this sign is negative.

isNonNegative

context(monoid: Monoid<Number>, order: Order<Number>)
fun <Number> Number.isNonNegative(): Boolean

Checks if this number is non-negative in the ordered semiring.

fun Sign.isNonNegative(): Boolean

Checks if this sign is non-negative (i.e. zero or positive).

isNonPositive

context(monoid: Monoid<Number>, order: Order<Number>)
fun <Number> Number.isNonPositive(): Boolean

Checks if this number is non-positive in the ordered semiring.

fun Sign.isNonPositive(): Boolean

Checks if this sign is non-positive (i.e. zero or negative).

isNonZero

fun Sign.isNonZero(): Boolean

Checks if this sign is non-zero.

isNotOne

context(semiring: Semiring<Number>, equality: Equality<Number>)
fun <Number> Number.isNotOne(): Boolean

isNotZero

context(monoid: Monoid<Number>, equality: Equality<Number>)
fun <Number> Number.isNotZero(): Boolean

isOne

context(semiring: Semiring<Number>, equality: Equality<Number>)
fun <Number> Number.isOne(): Boolean

isPositive

context(monoid: Monoid<Number>, order: Order<Number>)
fun <Number> Number.isPositive(): Boolean

Checks if this number is positive in the ordered semiring.

fun Sign.isPositive(): Boolean

Checks if this sign is positive.

isZero

context(monoid: Monoid<Number>, equality: Equality<Number>)
fun <Number> Number.isZero(): Boolean

fun Sign.isZero(): Boolean

Checks if this sign is zero.

Minus

inline fun <Left, Right, Result> Minus(crossinline block: (left: Left, right: Right) -> Result): Minus<Left, Right, Result>

Creates a Minus instance from a lambda.

minus

context(minus: Minus<Left, Right, Result>)
operator fun <Left, Right, Result> Left.minus(other: Right): Result

Performs subtraction using the given Minus context.

monoid

fun Byte.Companion.monoid(): Monoid<Byte>

Returns the Byte monoid context (a singleton implementing Monoid for Byte).

fun Double.Companion.monoid(): Monoid<Double>

Returns the Double monoid context (a singleton implementing Monoid for Double).

fun Float.Companion.monoid(): Monoid<Float>

Returns the Float monoid context (a singleton implementing Monoid for Float).

fun Int.Companion.monoid(): Monoid<Int>

Returns the Int monoid context (a singleton implementing Monoid for Int).

fun Long.Companion.monoid(): Monoid<Long>

Returns the Long monoid context (a singleton implementing Monoid for Long).

fun Short.Companion.monoid(): Monoid<Short>

Returns the Short monoid context (a singleton implementing Monoid for Short).

fun UByte.Companion.monoid(): Monoid<UByte>

Returns the UByte monoid context (a singleton implementing Monoid for UByte).

fun UInt.Companion.monoid(): Monoid<UInt>

Returns the UInt monoid context (a singleton implementing Monoid for UInt).

fun ULong.Companion.monoid(): Monoid<ULong>

Returns the ULong monoid context (a singleton implementing Monoid for ULong).

fun UShort.Companion.monoid(): Monoid<UShort>

Returns the UShort monoid context (a singleton implementing Monoid for UShort).

fun BigIntegerCompanion.monoid(): Monoid<BigInteger>

negativeSubtractionResultInExtendedSemiring

fun negativeSubtractionResultInExtendedSemiring(): Nothing

Throws ArithmeticException with message "Undefined subtraction result in extended semiring". Used when undefined subtraction is attempted.

numberFormatException

fun numberFormatException(input: String, radix: UInt): Nothing

Throws NumberFormatException with a message that the input's format is incorrect for the radix.

order

fun Byte.Companion.order(): Order<Byte>

Returns the Byte order context (a singleton implementing Order for Byte).

fun Double.Companion.order(): Order<Double>

Returns the Double order context (a singleton implementing Order for Double).

fun Float.Companion.order(): Order<Float>

Returns the Float order context (a singleton implementing Order for Float).

fun Int.Companion.order(): Order<Int>

Returns the Int order context (a singleton implementing Order for Int).

fun Long.Companion.order(): Order<Long>

Returns the Long order context (a singleton implementing Order for Long).

fun Short.Companion.order(): Order<Short>

Returns the Short order context (a singleton implementing Order for Short).

fun UByte.Companion.order(): Order<UByte>

Returns the UByte order context (a singleton implementing Order for UByte).

fun UInt.Companion.order(): Order<UInt>

Returns the UInt order context (a singleton implementing Order for UInt).

fun ULong.Companion.order(): Order<ULong>

Returns the ULong order context (a singleton implementing Order for ULong).

fun UShort.Companion.order(): Order<UShort>

Returns the UShort order context (a singleton implementing Order for UShort).

fun BigIntegerCompanion.order(): Order<BigInteger>

overflow

fun overflow(): Nothing

Throws OverflowException with message "Overflow happened". Used when overflow happened during arithmetic operation.

Plus

inline fun <Left, Right, Result> Plus(crossinline block: (left: Left, right: Right) -> Result): Plus<Left, Right, Result>

Creates a Plus instance from a lambda.

plus

context(plus: Plus<Left, Right, Result>)
operator fun <Left, Right, Result> Left.plus(other: Right): Result

Performs addition using the given Plus context.

pow

context(power: Power<Base, Exponent, Result>)
infix fun <Base, Exponent, Result> Base.pow(exponent: Exponent): Result

Raises this element to the power of exponent using the given Power context (infix notation).

Power

inline fun <Base, Exponent, Result> Power(crossinline block: (base: Base, exponent: Exponent) -> Result): Power<Base, Exponent, Result>

Creates a Power instance from a lambda.

power

context(power: Power<Base, Exponent, Result>)
fun <Base, Exponent, Result> power(base: Base, exponent: Exponent): Result

Raises base to the power of exponent using the given Power context.

Reciprocal

inline fun <Input, Result> Reciprocal(crossinline block: (Input) -> Result): Reciprocal<Input, Result>

Creates a Reciprocal instance from a lambda.

reciprocal

context(divide: Reciprocal<Input, Result>)
fun <Input, Result> Input.reciprocal(): Result

Computes the reciprocal using the given Reciprocal context.

reification

fun Byte.Companion.reification(): Reification<Byte>

Returns the Byte reification context (a singleton implementing Reification for Byte).

fun Double.Companion.reification(): Reification<Double>

Returns the Double reification context (a singleton implementing Reification for Double).

fun Float.Companion.reification(): Reification<Float>

Returns the Float reification context (a singleton implementing Reification for Float).

fun Int.Companion.reification(): Reification<Int>

Returns the Int reification context (a singleton implementing Reification for Int).

fun Long.Companion.reification(): Reification<Long>

Returns the Long reification context (a singleton implementing Reification for Long).

fun Short.Companion.reification(): Reification<Short>

Returns the Short reification context (a singleton implementing Reification for Short).

fun UByte.Companion.reification(): Reification<UByte>

Returns the UByte reification context (a singleton implementing Reification for UByte).

fun UInt.Companion.reification(): Reification<UInt>

Returns the UInt reification context (a singleton implementing Reification for UInt).

fun ULong.Companion.reification(): Reification<ULong>

Returns the ULong reification context (a singleton implementing Reification for ULong).

fun UShort.Companion.reification(): Reification<UShort>

Returns the UShort reification context (a singleton implementing Reification for UShort).

fun BigIntegerCompanion.reification(): Reification<BigInteger>

rem

context(remainder: Remainder<Left, Right, Result>)
operator fun <Left, Right, Result> Left.rem(other: Right): Result

Computes the remainder using the given Remainder context.

Remainder

inline fun <Left, Right, Result> Remainder(crossinline block: (left: Left, right: Right) -> Result): Remainder<Left, Right, Result>

Creates a Remainder instance from a lambda.

ring

fun Byte.Companion.ring(): Ring<Byte>

Returns the Byte ring context (a singleton implementing Ring for Byte).

fun Double.Companion.ring(): Ring<Double>

Returns the Double ring context (a singleton implementing Ring for Double).

fun Float.Companion.ring(): Ring<Float>

Returns the Float ring context (a singleton implementing Ring for Float).

fun Int.Companion.ring(): Ring<Int>

Returns the Int ring context (a singleton implementing Ring for Int).

fun Long.Companion.ring(): Ring<Long>

Returns the Long ring context (a singleton implementing Ring for Long).

fun Short.Companion.ring(): Ring<Short>

Returns the Short ring context (a singleton implementing Ring for Short).

fun BigIntegerCompanion.ring(): Ring<BigInteger>

safeCommutativeGroup

fun Double.Companion.safeCommutativeGroup(): CommutativeGroup<Double>

Returns the safe Double commutative group context (a singleton implementing CommutativeGroup for Double with NaN/Infinity validation).

fun Long.Companion.safeCommutativeGroup(): CommutativeGroup<Long>

Returns the safe Long commutative group context (a singleton implementing CommutativeGroup for Long with overflow checking).

safeCommutativeMonoid

fun Double.Companion.safeCommutativeMonoid(): CommutativeMonoid<Double>

Returns the safe Double commutative monoid context (a singleton implementing CommutativeMonoid for Double with NaN/Infinity validation).

fun Long.Companion.safeCommutativeMonoid(): CommutativeMonoid<Long>

Returns the safe Long commutative monoid context (a singleton implementing CommutativeMonoid for Long with overflow checking).

safeCommutativeRing

fun Double.Companion.safeCommutativeRing(): CommutativeRing<Double>

Returns the safe Double commutative ring context (a singleton implementing CommutativeRing for Double with NaN/Infinity validation).

fun Long.Companion.safeCommutativeRing(): CommutativeRing<Long>

Returns the safe Long commutative ring context (a singleton implementing CommutativeRing for Long with overflow checking).

safeCommutativeSemigroup

fun Double.Companion.safeCommutativeSemigroup(): CommutativeSemigroup<Double>

Returns the safe Double commutative semigroup context (a singleton implementing CommutativeSemigroup for Double with NaN/Infinity validation).

fun Long.Companion.safeCommutativeSemigroup(): CommutativeSemigroup<Long>

Returns the safe Long commutative semigroup context (a singleton implementing CommutativeSemigroup for Long with overflow checking).

safeCommutativeSemiring

fun Double.Companion.safeCommutativeSemiring(): CommutativeSemiring<Double>

Returns the safe Double commutative semiring context (a singleton implementing CommutativeSemiring for Double with NaN/Infinity validation).

fun Long.Companion.safeCommutativeSemiring(): CommutativeSemiring<Long>

Returns the safe Long commutative semiring context (a singleton implementing CommutativeSemiring for Long with overflow checking).

safeEquality

fun Double.Companion.safeEquality(): Equality<Double>

Returns the safe Double equality context (a singleton implementing Equality for Double with NaN/Infinity validation).

fun Long.Companion.safeEquality(): Equality<Long>

Returns the safe Long equality context (a singleton implementing Equality for Long with overflow checking).

safeEuclideanRing

fun Long.Companion.safeEuclideanRing(): EuclideanRing<Long>

Returns the safe Long Euclidean ring context (a singleton implementing EuclideanRing for Long with overflow checking).

safeEuclideanSemiring

fun Long.Companion.safeEuclideanSemiring(): EuclideanSemiring<Long>

Returns the safe Long Euclidean semiring context (a singleton implementing EuclideanSemiring for Long with overflow checking).

safeField

fun Double.Companion.safeField(): Field<Double>

Returns the safe Double field context (a singleton implementing Field for Double with NaN/Infinity validation).

safeGroup

fun Double.Companion.safeGroup(): Group<Double>

Returns the safe Double group context (a singleton implementing Group for Double with NaN/Infinity validation).

fun Long.Companion.safeGroup(): Group<Long>

Returns the safe Long group context (a singleton implementing Group for Long with overflow checking).

safeHashing

fun Double.Companion.safeHashing(): Hashing<Double>

Returns the safe Double hashing context (a singleton implementing Hashing for Double with NaN/Infinity validation).

fun Long.Companion.safeHashing(): Hashing<Long>

Returns the safe Long hashing context (a singleton implementing Hashing for Long with overflow checking).

safeMonoid

fun Double.Companion.safeMonoid(): Monoid<Double>

Returns the safe Double monoid context (a singleton implementing Monoid for Double with NaN/Infinity validation).

fun Long.Companion.safeMonoid(): Monoid<Long>

Returns the safe Long monoid context (a singleton implementing Monoid for Long with overflow checking).

safeOrder

fun Double.Companion.safeOrder(): Order<Double>

Returns the safe Double order context (a singleton implementing Order for Double with NaN/Infinity validation).

fun Long.Companion.safeOrder(): Order<Long>

Returns the safe Long order context (a singleton implementing Order for Long with overflow checking).

safeReification

fun Double.Companion.safeReification(): Reification<Double>

Returns the safe Double reification context (a singleton implementing Reification for Double with NaN/Infinity validation).

fun Long.Companion.safeReification(): Reification<Long>

Returns the safe Long reification context (a singleton implementing Reification for Long with overflow checking).

safeRing

fun Double.Companion.safeRing(): Ring<Double>

Returns the safe Double ring context (a singleton implementing Ring for Double with NaN/Infinity validation).

fun Long.Companion.safeRing(): Ring<Long>

Returns the safe Long ring context (a singleton implementing Ring for Long with overflow checking).

safeSemigroup

fun Double.Companion.safeSemigroup(): Semigroup<Double>

Returns the safe Double semigroup context (a singleton implementing Semigroup for Double with NaN/Infinity validation).

fun Long.Companion.safeSemigroup(): Semigroup<Long>

Returns the safe Long semigroup context (a singleton implementing Semigroup for Long with overflow checking).

safeSemiring

fun Double.Companion.safeSemiring(): Semiring<Double>

Returns the safe Double semiring context (a singleton implementing Semiring for Double with NaN/Infinity validation).

fun Long.Companion.safeSemiring(): Semiring<Long>

Returns the safe Long semiring context (a singleton implementing Semiring for Long with overflow checking).

semigroup

fun Byte.Companion.semigroup(): Semigroup<Byte>

Returns the Byte semigroup context (a singleton implementing Semigroup for Byte).

fun Double.Companion.semigroup(): Semigroup<Double>

Returns the Double semigroup context (a singleton implementing Semigroup for Double).

fun Float.Companion.semigroup(): Semigroup<Float>

Returns the Float semigroup context (a singleton implementing Semigroup for Float).

fun Int.Companion.semigroup(): Semigroup<Int>

Returns the Int semigroup context (a singleton implementing Semigroup for Int).

fun Long.Companion.semigroup(): Semigroup<Long>

Returns the Long semigroup context (a singleton implementing Semigroup for Long).

fun Short.Companion.semigroup(): Semigroup<Short>

Returns the Short semigroup context (a singleton implementing Semigroup for Short).

fun UByte.Companion.semigroup(): Semigroup<UByte>

Returns the UByte semigroup context (a singleton implementing Semigroup for UByte).

fun UInt.Companion.semigroup(): Semigroup<UInt>

Returns the UInt semigroup context (a singleton implementing Semigroup for UInt).

fun ULong.Companion.semigroup(): Semigroup<ULong>

Returns the ULong semigroup context (a singleton implementing Semigroup for ULong).

fun UShort.Companion.semigroup(): Semigroup<UShort>

Returns the UShort semigroup context (a singleton implementing Semigroup for UShort).

fun BigIntegerCompanion.semigroup(): Semigroup<BigInteger>

semiring

fun Byte.Companion.semiring(): Semiring<Byte>

Returns the Byte semiring context (a singleton implementing Semiring for Byte).

fun Double.Companion.semiring(): Semiring<Double>

Returns the Double semiring context (a singleton implementing Semiring for Double).

fun Float.Companion.semiring(): Semiring<Float>

Returns the Float semiring context (a singleton implementing Semiring for Float).

fun Int.Companion.semiring(): Semiring<Int>

Returns the Int semiring context (a singleton implementing Semiring for Int).

fun Long.Companion.semiring(): Semiring<Long>

Returns the Long semiring context (a singleton implementing Semiring for Long).

fun Short.Companion.semiring(): Semiring<Short>

Returns the Short semiring context (a singleton implementing Semiring for Short).

fun UByte.Companion.semiring(): Semiring<UByte>

Returns the UByte semiring context (a singleton implementing Semiring for UByte).

fun UInt.Companion.semiring(): Semiring<UInt>

Returns the UInt semiring context (a singleton implementing Semiring for UInt).

fun ULong.Companion.semiring(): Semiring<ULong>

Returns the ULong semiring context (a singleton implementing Semiring for ULong).

fun UShort.Companion.semiring(): Semiring<UShort>

Returns the UShort semiring context (a singleton implementing Semiring for UShort).

fun BigIntegerCompanion.semiring(): Semiring<BigInteger>

setCommutativeGroup

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setCommutativeGroup()

Registers the CommutativeGroup context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setCommutativeGroup()

Registers the CommutativeGroup context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setCommutativeGroup()

Registers the CommutativeGroup context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setCommutativeGroup()

Registers the CommutativeGroup context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setCommutativeGroup()

Registers the CommutativeGroup context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setCommutativeGroup()

Registers the CommutativeGroup context for Short in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setCommutativeGroup()

setCommutativeMonoid

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setCommutativeMonoid()

Registers the CommutativeMonoid context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setCommutativeMonoid()

setCommutativeRing

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setCommutativeRing()

Registers the CommutativeRing context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setCommutativeRing()

Registers the CommutativeRing context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setCommutativeRing()

Registers the CommutativeRing context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setCommutativeRing()

Registers the CommutativeRing context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setCommutativeRing()

Registers the CommutativeRing context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setCommutativeRing()

Registers the CommutativeRing context for Short in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setCommutativeRing()

setCommutativeSemigroup

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setCommutativeSemigroup()

Registers the CommutativeSemigroup context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setCommutativeSemigroup()

setCommutativeSemiring

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setCommutativeSemiring()

Registers the CommutativeSemiring context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setCommutativeSemiring()

setEquality

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setEquality()

Registers the Equality context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setEquality()

Registers the Equality context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setEquality()

Registers the Equality context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setEquality()

Registers the Equality context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setEquality()

Registers the Equality context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setEquality()

Registers the Equality context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setEquality()

Registers the Equality context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setEquality()

Registers the Equality context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setEquality()

Registers the Equality context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setEquality()

Registers the Equality context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setEquality()

setEuclideanRing

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setEuclideanRing()

Registers the EuclideanRing context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setEuclideanRing()

Registers the EuclideanRing context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setEuclideanRing()

Registers the EuclideanRing context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setEuclideanRing()

Registers the EuclideanRing context for Short in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setEuclideanRing()

setEuclideanSemiring

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setEuclideanSemiring()

Registers the EuclideanSemiring context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setEuclideanSemiring()

Registers the EuclideanSemiring context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setEuclideanSemiring()

Registers the EuclideanSemiring context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setEuclideanSemiring()

Registers the EuclideanSemiring context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setEuclideanSemiring()

Registers the EuclideanSemiring context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setEuclideanSemiring()

Registers the EuclideanSemiring context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setEuclideanSemiring()

Registers the EuclideanSemiring context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setEuclideanSemiring()

Registers the EuclideanSemiring context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setEuclideanSemiring()

setField

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setField()

Registers the Field context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setField()

Registers the Field context for Float in the given registry.

setGroup

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setGroup()

Registers the Group context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setGroup()

Registers the Group context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setGroup()

Registers the Group context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setGroup()

Registers the Group context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setGroup()

Registers the Group context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setGroup()

Registers the Group context for Short in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setGroup()

setHashing

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setHashing()

Registers the Hashing context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setHashing()

Registers the Hashing context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setHashing()

Registers the Hashing context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setHashing()

Registers the Hashing context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setHashing()

Registers the Hashing context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setHashing()

Registers the Hashing context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setHashing()

Registers the Hashing context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setHashing()

Registers the Hashing context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setHashing()

Registers the Hashing context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setHashing()

Registers the Hashing context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setHashing()

setMonoid

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setMonoid()

Registers the Monoid context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setMonoid()

Registers the Monoid context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setMonoid()

Registers the Monoid context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setMonoid()

Registers the Monoid context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setMonoid()

Registers the Monoid context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setMonoid()

Registers the Monoid context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setMonoid()

Registers the Monoid context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setMonoid()

Registers the Monoid context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setMonoid()

Registers the Monoid context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setMonoid()

Registers the Monoid context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setMonoid()

setOrder

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setOrder()

Registers the Order context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setOrder()

Registers the Order context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setOrder()

Registers the Order context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setOrder()

Registers the Order context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setOrder()

Registers the Order context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setOrder()

Registers the Order context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setOrder()

Registers the Order context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setOrder()

Registers the Order context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setOrder()

Registers the Order context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setOrder()

Registers the Order context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setOrder()

setReification

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setReification()

Registers the Reification context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setReification()

Registers the Reification context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setReification()

Registers the Reification context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setReification()

Registers the Reification context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setReification()

Registers the Reification context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setReification()

Registers the Reification context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setReification()

Registers the Reification context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setReification()

Registers the Reification context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setReification()

Registers the Reification context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setReification()

Registers the Reification context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setReification()

setRing

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setRing()

Registers the Ring context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setRing()

Registers the Ring context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setRing()

Registers the Ring context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setRing()

Registers the Ring context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setRing()

Registers the Ring context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setRing()

Registers the Ring context for Short in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setRing()

setSafeCommutativeGroup

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeCommutativeGroup()

Registers the safe CommutativeGroup context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeCommutativeGroup()

Registers the safe CommutativeGroup context for Long (with overflow checking) in the given registry.

setSafeCommutativeMonoid

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeCommutativeMonoid()

Registers the safe CommutativeMonoid context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeCommutativeMonoid()

Registers the safe CommutativeMonoid context for Long (with overflow checking) in the given registry.

setSafeCommutativeRing

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeCommutativeRing()

Registers the safe CommutativeRing context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeCommutativeRing()

Registers the safe CommutativeRing context for Long (with overflow checking) in the given registry.

setSafeCommutativeSemigroup

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeCommutativeSemigroup()

Registers the safe CommutativeSemigroup context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeCommutativeSemigroup()

Registers the safe CommutativeSemigroup context for Long (with overflow checking) in the given registry.

setSafeCommutativeSemiring

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeCommutativeSemiring()

Registers the safe CommutativeSemiring context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeCommutativeSemiring()

Registers the safe CommutativeSemiring context for Long (with overflow checking) in the given registry.

setSafeEquality

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeEquality()

Registers the safe Equality context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeEquality()

Registers the safe Equality context for Long (with overflow checking) in the given registry.

setSafeEuclideanRing

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeEuclideanRing()

Registers the safe EuclideanRing context for Long (with overflow checking) in the given registry.

setSafeEuclideanSemiring

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeEuclideanSemiring()

Registers the safe EuclideanSemiring context for Long (with overflow checking) in the given registry.

setSafeField

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeField()

Registers the safe Field context for Double (with NaN/Infinity validation) in the given registry.

setSafeGroup

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeGroup()

Registers the safe Group context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeGroup()

Registers the safe Group context for Long (with overflow checking) in the given registry.

setSafeHashing

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeHashing()

Registers the safe Hashing context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeHashing()

Registers the safe Hashing context for Long (with overflow checking) in the given registry.

setSafeMonoid

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeMonoid()

Registers the safe Monoid context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeMonoid()

Registers the safe Monoid context for Long (with overflow checking) in the given registry.

setSafeOrder

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeOrder()

Registers the safe Order context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeOrder()

Registers the safe Order context for Long (with overflow checking) in the given registry.

setSafeReification

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeReification()

Registers the safe Reification context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeReification()

Registers the safe Reification context for Long (with overflow checking) in the given registry.

setSafeRing

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeRing()

Registers the safe Ring context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeRing()

Registers the safe Ring context for Long (with overflow checking) in the given registry.

setSafeSemigroup

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeSemigroup()

Registers the safe Semigroup context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeSemigroup()

Registers the safe Semigroup context for Long (with overflow checking) in the given registry.

setSafeSemiring

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSafeSemiring()

Registers the safe Semiring context for Double (with NaN/Infinity validation) in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSafeSemiring()

Registers the safe Semiring context for Long (with overflow checking) in the given registry.

setSemigroup

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setSemigroup()

Registers the Semigroup context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSemigroup()

Registers the Semigroup context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setSemigroup()

Registers the Semigroup context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setSemigroup()

Registers the Semigroup context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSemigroup()

Registers the Semigroup context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setSemigroup()

Registers the Semigroup context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setSemigroup()

Registers the Semigroup context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setSemigroup()

Registers the Semigroup context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setSemigroup()

Registers the Semigroup context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setSemigroup()

Registers the Semigroup context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setSemigroup()

setSemiring

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Byte.Companion.setSemiring()

Registers the Semiring context for Byte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Double.Companion.setSemiring()

Registers the Semiring context for Double in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Float.Companion.setSemiring()

Registers the Semiring context for Float in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Int.Companion.setSemiring()

Registers the Semiring context for Int in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Long.Companion.setSemiring()

Registers the Semiring context for Long in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun Short.Companion.setSemiring()

Registers the Semiring context for Short in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UByte.Companion.setSemiring()

Registers the Semiring context for UByte in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UInt.Companion.setSemiring()

Registers the Semiring context for UInt in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun ULong.Companion.setSemiring()

Registers the Semiring context for ULong in the given registry.

context(registry: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun UShort.Companion.setSemiring()

Registers the Semiring context for UShort in the given registry.

context(_: MutableOwnedProviderRegistry<KoneContextRegistry>)
fun BigIntegerCompanion.setSemiring()

sign

context(monoid: Monoid<Number>, order: Order<Number>)
fun <Number> Number.sign(): Sign

Returns the sign of this number.

signInt

context(monoid: Monoid<Number>, order: Order<Number>)
fun <Number> Number.signInt(): Int

Returns value of (mathematical) sign function. I.e. returns 1 if this number is positive, -1 if this number is negative, or 0 if this number is zero.

Times

inline fun <Left, Right, Result> Times(crossinline block: (left: Left, right: Right) -> Result): Times<Left, Right, Result>

Creates a Times instance from a lambda.

times

operator fun Sign.times(other: Sign): Sign

Multiplies this sign by another sign.

context(times: Times<Left, Right, Result>)
operator fun <Left, Right, Result> Left.times(other: Right): Result

Performs multiplication using the given Times context.

UnaryMinus

inline fun <Input, Result> UnaryMinus(crossinline block: (Input) -> Result): UnaryMinus<Input, Result>

Creates a UnaryMinus instance from a lambda.

unaryMinus

operator fun Sign.unaryMinus(): Sign

Returns the negation of this sign.

context(unaryMinus: UnaryMinus<Input, Result>)
operator fun <Input, Result> Input.unaryMinus(): Result

Applies unary minus using the given UnaryMinus context.

UnaryPlus

inline fun <Input, Result> UnaryPlus(crossinline block: (Input) -> Result): UnaryPlus<Input, Result>

Creates a UnaryPlus instance from a lambda.

unaryPlus

context(unaryPlus: UnaryPlus<Input, Result>)
operator fun <Input, Result> Input.unaryPlus(): Result

Applies unary plus using the given UnaryPlus context.