arrow-mtl / arrow.mtl.extensions / WriterTMonadState

WriterTMonadState

@extension interface WriterTMonadState<W, F, S> : MonadState<WriterTPartialOf<W, F>, S>, WriterTMonad<W, F>

Functions

get open fun get(): Kind<WriterTPartialOf<W, F>, S>
MF open fun MF(): Monad<F>
MM abstract fun MM(): Monoid<W>
MS abstract fun MS(): MonadState<F, S>
set open fun set(s: S): Kind<WriterTPartialOf<W, F>, Unit>

Do you like Arrow?

Arrow Org
<