arrow-mtl / arrow.mtl.extensions / WriterTSemigroupK
@extension interface WriterTSemigroupK<F, W> : SemigroupK<WriterTPartialOf<F, W>>
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> |
WriterTMonoidK | interface WriterTMonoidK<F, W> : MonoidK<WriterTPartialOf<F, W>>, WriterTSemigroupK <F, W> |