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

writer

org.atnos.eff.writer
object writer extends WriterCreation, WriterInterpretation

Attributes

Source
writer.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
writer.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
def tell[R, O](o: O)(using MemberIn[[_] =>> Writer[O, _$1], R]): Eff[R, Unit]

write a given value

write a given value

Attributes

Inherited from:
WriterCreation
Source
WriterCreation.scala

Givens

Inherited givens

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

Attributes

Inherited from:
WriterInterpretation
Source
WriterInterpretation.scala
Generated with