kone.algebraic/dev.lounres.kone.algebraic/CommutativeMonoid

CommutativeMonoid

interface CommutativeMonoid<Number> : Monoid<Number> , CommutativeSemigroup<Number> (source)

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

Type Parameters

Number

The type of elements of the commutative monoid.

Inheritors

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
abstract val numberPlusNumber: Plus<Number, Number, Number>

The associative binary addition operation on elements of type Number.

Link copied to clipboard
open val numberTimesUInt: Times<Number, UInt, Number>

The multiplication operation on a Number and an UInt.

Link copied to clipboard
open val numberTimesULong: Times<Number, ULong, Number>

The multiplication operation on a Number and an ULong.

Link copied to clipboard
open val uIntTimesNumber: Times<UInt, Number, Number>

The multiplication operation on an UInt and a Number.

Link copied to clipboard
open val uLongTimesNumber: Times<ULong, Number, Number>

The multiplication operation on an ULong and a Number.

Link copied to clipboard
abstract val zero: Number

The neutral additive element (a.k.a. zero element) of the monoid.

Generated by Dokka
Copyright © 2025 Gleb Minaev
All rights reserved. Licensed under the Apache License, Version 2.0. See the license in file LICENSE