kone.algebraic/dev.lounres.kone.algebraic/BigIntegerCompanion

BigIntegerCompanion

data object BigIntegerCompanion(source)

Functions

commutativeGroup

fun BigIntegerCompanion.commutativeGroup(): CommutativeGroup<BigInteger>

commutativeMonoid

fun BigIntegerCompanion.commutativeMonoid(): CommutativeMonoid<BigInteger>

commutativeRing

fun BigIntegerCompanion.commutativeRing(): CommutativeRing<BigInteger>

commutativeSemigroup

fun BigIntegerCompanion.commutativeSemigroup(): CommutativeSemigroup<BigInteger>

commutativeSemiring

fun BigIntegerCompanion.commutativeSemiring(): CommutativeSemiring<BigInteger>

equality

fun BigIntegerCompanion.equality(): Equality<BigInteger>

euclideanRing

fun BigIntegerCompanion.euclideanRing(): EuclideanRing<BigInteger>

euclideanSemiring

fun BigIntegerCompanion.euclideanSemiring(): EuclideanSemiring<BigInteger>

group

fun BigIntegerCompanion.group(): Group<BigInteger>

hashing

fun BigIntegerCompanion.hashing(): Hashing<BigInteger>

monoid

fun BigIntegerCompanion.monoid(): Monoid<BigInteger>

order

fun BigIntegerCompanion.order(): Order<BigInteger>

reification

fun BigIntegerCompanion.reification(): Reification<BigInteger>

ring

fun BigIntegerCompanion.ring(): Ring<BigInteger>

semigroup

fun BigIntegerCompanion.semigroup(): Semigroup<BigInteger>

semiring

fun BigIntegerCompanion.semiring(): Semiring<BigInteger>

setCommutativeGroup

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

setCommutativeMonoid

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

setCommutativeRing

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

setCommutativeSemigroup

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

setCommutativeSemiring

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

setEquality

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

setEuclideanRing

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

setEuclideanSemiring

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

setGroup

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

setHashing

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

setMonoid

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

setOrder

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

setReification

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

setRing

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

setSemigroup

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

setSemiring

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