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 trait
object WriterEffect extends WriterEffect

Attributes

Companion:
trait
Source:
WriterEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self 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