Package-level declarations

Types

Link copied to clipboard
interface Monoid<A> : Semigroup<A>
Link copied to clipboard
fun interface Semigroup<A>
Link copied to clipboard
interface Semiring<A>

The Semiring type class for a given type A combines both a commutative additive Monoid and a multiplicative Monoid. It requires the multiplicative Monoid to distribute over the additive one. The operations of the multiplicative Monoid have been renamed to one and combineMultiplicate for easier use.

Properties

Link copied to clipboard
Link copied to clipboard