arrow-mtl / arrow.mtl.extensions / WriterTSemigroupK

WriterTSemigroupK

@extension interface WriterTSemigroupK<F, W> : SemigroupK<WriterTPartialOf<F, W>>

Functions

combineK	open fun <A> Kind<WriterTPartialOf<F, W>, A>.combineK(y: Kind<WriterTPartialOf<F, W>, A>): WriterT<F, W, A>
SS	abstract fun SS(): SemigroupK<F>

Inheritors

WriterTMonoidK

interface WriterTMonoidK<F, W> : MonoidK<WriterTPartialOf<F, W>>, WriterTSemigroupK<F, W>