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

WriterInterpretation

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

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

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

Attributes

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

Attributes

Source
WriterInterpretation.scala
def runWriter[R, U, O, A, B](w: Eff[R, A])(implicit m: 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

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

Attributes

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

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

Attributes

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

Attributes

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

Run a side-effecting fold

Run a side-effecting fold

Attributes

Source
WriterInterpretation.scala

Implicits

Implicits

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

Attributes

Source
WriterInterpretation.scala
Generated with