MonoidK

MonoidK is a universal monoid which operates on kinds.

This type class is useful when its type parameter F[_] has a structure that can be combined for any particular type, and which also has an "empty" representation. Thus, MonoidK is like a Monoid for kinds (i.e. parameterized types).

A MonoidK[F] can produce a Monoid[F[A]] for any type A.

Here's how to distinguish Monoid and MonoidK:

Monoid[A] allows A values to be combined, and also means there is an "empty" A value that functions as an identity.
MonoidK[F] allows two F[A] values to be combined, for any A. It also means that for any A, there is an "empty" F[A] value. The combination operation and empty value just depend on the structure of F, but not on the structure of A.

Self Type: MonoidK[F]

Linear Supertypes

SemigroupK[F], Serializable, Serializable, AnyRef, Any

Known Subclasses

Alternative, CompositeAlternative, CompositeMonoidK, MonadCombine, ProdAlternative, ProdMonoidK

Abstract Value Members

abstract def combineK[A](x: F[A], y: F[A]): F[A]

Combine two F[A] values.
Combine two F[A] values.

Definition Classes
SemigroupK
Annotations
@op( "<+>" , true )
abstract def empty[A]: F[A]

Given a type A, create an "empty" F[A] value.

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → Any
def algebra[A]: Monoid[F[A]]

Given a type A, create a concrete Monoid[F[A]].
Given a type A, create a concrete Monoid[F[A]].

Definition Classes
MonoidK → SemigroupK
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def composeK[G[_]]: MonoidK[[α]F[G[α]]]

Compose this MonoidK with an arbitrary type constructor
Compose this MonoidK with an arbitrary type constructor

Definition Classes
MonoidK → SemigroupK
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: object MonoidK | package cats

trait MonoidK[F[_]] extends SemigroupK[F] with Serializable

Abstract Value Members

abstract def combineK[A](x: F[A], y: F[A]): F[A]

abstract def empty[A]: F[A]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def algebra[A]: Monoid[F[A]]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def composeK[G[_]]: MonoidK[[α]F[G[α]]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from SemigroupK[F]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped