arrow-core-data / arrow.typeclasses / SemigroupK

SemigroupK

interface SemigroupK<F>

Functions

algebra Given a type A, create a concrete Semigroup<F>.open fun <A> algebra(): Semigroup<Kind<F, A>>
combineK Combine two F values.abstract fun <A> Kind<F, A>.combineK(y: Kind<F, A>): Kind<F, A>

Inheritors

MonoidK interface MonoidK<F> : SemigroupK<F>

Type Class Hierarchy

Do you like Arrow?

Arrow Org
<