WriterEffect

object WriterEffect extends WriterEffect
Companion:
class
class Object
trait Matchable
class Any

Value members

Inherited methods

def MonoidFold[A : Monoid]: FoldId[A, A]
Inherited from:
WriterInterpretation
def UnsafeFold[A](f: A => Unit): FoldId[A, Unit]
Inherited from:
WriterInterpretation
def runWriter[R, U, O, A, B](w: Eff[R, A])(implicit m: Aux[[_] =>> Writer[O, _$3], R, U]): Eff[U, (A, List[O])]

run a writer effect and return the list of written values

run a writer effect and return the list of written values

This uses a ListBuffer internally to append values

Inherited from:
WriterInterpretation
def runWriterFold[R, U, O, A, B](w: Eff[R, A])(fold: FoldId[O, B])(implicit m: Aux[[_] =>> Writer[O, _$4], R, U]): Eff[U, (A, B)]

More general fold of runWriter where we can use a fold to accumulate values in a mutable buffer

More general fold of runWriter where we can use a fold to accumulate values in a mutable buffer

Inherited from:
WriterInterpretation
def runWriterUnsafe[R, U, O, A](w: Eff[R, A])(f: O => Unit)(implicit m: Aux[[_] =>> Writer[O, _$9], R, U]): Eff[U, A]

Run a side-effecting fold

Run a side-effecting fold

Inherited from:
WriterInterpretation
def tell[R, O](o: O)(implicit member: MemberIn[[_] =>> Writer[O, _$1], R]): Eff[R, Unit]

write a given value

write a given value

Inherited from:
WriterCreation

Implicits

Inherited implicits

implicit def ListFold[A]: FoldId[A, List[A]]
Inherited from:
WriterInterpretation