Monoid

A monoid is a semigroup with an identity. A monoid is a specialization of a semigroup, so its operation must be associative. Additionally, op(x, id) == op(id, x) == x. For example, if we have Monoid[String], with op as string concatenation, then id = "".

Linear Supertypes

Semigroup[A], Any

Known Subclasses

AbGroup, CMonoid, Group, IterableMonoid, MapGroup, MapIntIntGroup, MapMonoid, OptionCMonoid, OptionMonoid, SignAlgebra, StringMonoid

Abstract Value Members

abstract def getClass(): Class[_]

Definition Classes
Any
abstract def id: A

Return the identity element for this monoid.
abstract def op(x: A, y: A): A

Definition Classes
Semigroup

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
Any
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def combine(as: TraversableOnce[A]): A

Given a sequence of as, combine them using the monoid and return the total.
def combineOption(as: TraversableOnce[A]): Option[A]

Given a sequence of as, combine them using the semigroup and return the total.
Given a sequence of as, combine them using the semigroup and return the total.
If the sequence is empty, returns None. Otherwise, returns Some(total).

Definition Classes
Semigroup
def combinen(a: A, n: Int): A

Return a combined with itself n times.
Return a combined with itself n times.

Definition Classes
Monoid → Semigroup
def combinenAboveOne(a: A, n: Int): A

Attributes
protected
Definition Classes
Semigroup
def equals(arg0: Any): Boolean

Definition Classes
Any
def hashCode(): Int

Definition Classes
Any
def isId(a: A)(implicit ev: Eq[A]): Boolean

Tests if a is the identity.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def toString(): String

Definition Classes
Any

Related Docs: object Monoid | package algebra

trait Monoid[A] extends Semigroup[A]

Abstract Value Members

abstract def getClass(): Class[_]

abstract def id: A

abstract def op(x: A, y: A): A

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def combine(as: TraversableOnce[A]): A

def combineOption(as: TraversableOnce[A]): Option[A]

def combinen(a: A, n: Int): A

def combinenAboveOne(a: A, n: Int): A

def equals(arg0: Any): Boolean

def hashCode(): Int

def isId(a: A)(implicit ev: Eq[A]): Boolean

final def isInstanceOf[T0]: Boolean

def toString(): String

Inherited from Semigroup[A]

Inherited from Any

Ungrouped