arrow-mtl / arrow.mtl.extensions / WriterTMonadFilter

WriterTMonadFilter

@extension interface WriterTMonadFilter<F, W> : MonadFilter<WriterTPartialOf<F, W>>, WriterTMonad<F, W>

Functions

empty open fun <A> empty(): WriterTOf<F, W, A>
FF abstract fun FF(): MonadFilter<F>
MF open fun MF(): Monad<F>
MM abstract fun MM(): Monoid<W>

Do you like Arrow?

Arrow Org
<