UnitAbGroup

trait UnitAbGroup extends CommutativeGroup[Unit]
trait CommutativeGroup[Unit]
trait CommutativeMonoid[Unit]
trait CommutativeSemigroup[Unit]
trait Group[Unit]
trait Monoid[Unit]
trait Semigroup[Unit]
trait Serializable
class Object
trait Matchable
class Any

Value members

Concrete methods

override
def combine(x: Unit, y: Unit): Unit
Definition Classes
Semigroup
override
def empty: Unit
Definition Classes
Monoid
override
def inverse(a: Unit): Unit
Definition Classes
Group

Inherited methods

def combineAll(as: IterableOnce[Unit]): Unit

Given a sequence of as, sum them using the monoid and return the total.

Given a sequence of as, sum them using the monoid and return the total.

Example:

scala> import cats.kernel.instances.string._

scala> Monoid[String].combineAll(List("One ", "Two ", "Three"))
res0: String = One Two Three

scala> Monoid[String].combineAll(List.empty)
res1: String = ""
Inherited from
Monoid
override
def combineAllOption(as: IterableOnce[Unit]): Option[Unit]
Definition Classes
Monoid -> Semigroup
Inherited from
Monoid
override
def combineN(a: Unit, n: Int): Unit

Return a appended to itself n times. If n is negative, then this returns inverse(a) appended to itself n times.

Return a appended to itself n times. If n is negative, then this returns inverse(a) appended to itself n times.

Definition Classes
Group -> Monoid -> Semigroup
Inherited from
Group
override
def intercalate(middle: Unit): CommutativeSemigroup[Unit]
Definition Classes
CommutativeSemigroup -> Semigroup
Inherited from
CommutativeSemigroup
def isEmpty(a: Unit)(implicit ev: Eq[Unit]): Boolean

Tests if a is the identity.

Tests if a is the identity.

Example:

scala> import cats.kernel.instances.string._

scala> Monoid[String].isEmpty("")
res0: Boolean = true

scala> Monoid[String].isEmpty("something")
res1: Boolean = false
Inherited from
Monoid
def remove(a: Unit, b: Unit): Unit

Remove the element b from a.

Remove the element b from a.

Equivalent to combine(a, inverse(b))

Example:

scala> import cats.kernel.instances.int._

scala> Group[Int].remove(5, 2)
res0: Int = 3
Inherited from
Group
override
def reverse: CommutativeMonoid[Unit]
Definition Classes
CommutativeMonoid -> CommutativeSemigroup -> Monoid -> Semigroup
Inherited from
CommutativeMonoid