writer
API
Generated with
writer/org.atnos.eff/WriterInterpretation

WriterInterpretation

org.atnos.eff.WriterInterpretation
See theWriterInterpretation companion trait
object WriterInterpretation extends WriterInterpretation

Attributes

Companion
trait
Source
WriterInterpretation.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

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

Attributes

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

Attributes

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

Attributes

Inherited from:
WriterInterpretation
Source
WriterInterpretation.scala
def runWriter[R, U, O, A](w: Eff[R, A])(using Aux[[_] =>> Writer[O, _$1], 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
WriterInterpretation.scala
def runWriterEval[R, U, O, A](w: Eff[R, A])(f: O => Eval[Unit])(using Aux[[_] =>> Writer[O, _$8], R, U], MemberIn[Eval, U]): Eff[U, A]

Attributes

Inherited from:
WriterInterpretation
Source
WriterInterpretation.scala
def runWriterFold[R, U, O, A, B](w: Eff[R, A])(fold: RightFold[O, B])(using Aux[[_] =>> Writer[O, _$2], 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
WriterInterpretation.scala
def runWriterIntoMonoid[R, U, O, M, A](w: Eff[R, A])(f: O => M)(using Aux[[_] =>> Writer[O, _$10], R, U], Monoid[M]): Eff[U, (A, M)]

Attributes

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

Attributes

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

Run a side-effecting fold

Run a side-effecting fold

Attributes

Inherited from:
WriterInterpretation
Source
WriterInterpretation.scala

Givens

Inherited givens

given ListFold[A]: RightFold[A, List[A]]

Attributes

Inherited from:
WriterInterpretation
Source
WriterInterpretation.scala
Generated with