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>