arrow-mtl / arrow.mtl.extensions / WriterTMonoidK

WriterTMonoidK

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

Functions

empty open fun <A> empty(): WriterT<F, W, A>
MF abstract fun MF(): MonoidK<F>
SS open fun SS(): SemigroupK<F>

Inheritors

WriterTAlternative interface WriterTAlternative<F, W> : Alternative<WriterTPartialOf<F, W>>, WriterTApplicative<F, W>, WriterTMonoidK<F, W>