core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff/WriterEffect

WriterEffect

org.atnos.eff.WriterEffect
See theWriterEffect companion object
trait WriterEffect extends WriterCreation with WriterInterpretation

Effect for logging values alongside computations

Compared to traditional Writer monad which accumulates values by default this effect can be interpreted in different ways:

  • log values to the console or to a file as soon as they are produced
  • accumulate values in a list

Attributes

Companion:
object
Source:
WriterEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object WriterEffect.type
object all.type

Members list

Concise view

Value members

Inherited methods

def EvalFold[A](f: A => Eval[Unit]): RightFold[A, Eval[Unit]]

Attributes

Inherited from:
WriterInterpretation
Source:
WriterEffect.scala
def IntoMonoidFold[M : Monoid, A](f: A => M): RightFold[A, M]

Attributes

Inherited from:
WriterInterpretation
Source:
WriterEffect.scala
def MonoidFold[A : Monoid]: RightFold[A, A]

Attributes

Inherited from:
WriterInterpretation
Source:
WriterEffect.scala
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

Attributes

Inherited from:
WriterInterpretation
Source:
WriterEffect.scala
def runWriterEval[R, U, O, A](w: Eff[R, A])(f: O => Eval[Unit])(implicit m: Aux[[_] =>> Writer[O, _$10], R, U], ev: MemberIn[Eval, U]): Eff[U, A]

Attributes

Inherited from:
WriterInterpretation
Source:
WriterEffect.scala
def runWriterFold[R, U, O, A, B](w: Eff[R, A])(fold: RightFold[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

Attributes

Inherited from:
WriterInterpretation
Source:
WriterEffect.scala
def runWriterIntoMonoid[R, U, O, M, A](w: Eff[R, A])(f: O => M)(implicit m: Aux[[_] =>> Writer[O, _$12], R, U], M: Monoid[M]): Eff[U, (A, M)]

Attributes

Inherited from:
WriterInterpretation
Source:
WriterEffect.scala
def runWriterMonoid[R, U, O, A](w: Eff[R, A])(implicit m: Aux[[_] =>> Writer[O, _$11], R, U], O: Monoid[O]): Eff[U, (A, O)]

Attributes

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

Run a side-effecting fold

Run a side-effecting fold

Attributes

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

write a given value

write a given value

Attributes

Inherited from:
WriterCreation
Source:
WriterEffect.scala

Implicits

Inherited implicits

implicit def ListFold[A]: RightFold[A, List[A]]

Attributes

Inherited from:
WriterInterpretation
Source:
WriterEffect.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL