WriterEffect

org.specs2.control.eff.WriterEffect$
See theWriterEffect companion trait
object WriterEffect extends WriterEffect

Attributes

Companion
trait
Graph
Supertypes
trait WriterEffect
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Inherited methods

def MonoidFold[A : Monoid]: FoldId[A, A]

Attributes

Inherited from:
WriterInterpretation
def UnsafeFold[A](f: A => Unit): FoldId[A, Unit]

Attributes

Inherited from:
WriterInterpretation
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
def runWriterFold[R, U, O, A, B](w: Eff[R, A])(fold: FoldId[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
def runWriterUnsafe[R, U, O, A](w: Eff[R, A])(f: O => Unit)(implicit m: Aux[[_] =>> Writer[O, _$9], R, U]): Eff[U, A]

Run a side-effecting fold

Run a side-effecting fold

Attributes

Inherited from:
WriterInterpretation
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

Implicits

Inherited implicits

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

Attributes

Inherited from:
WriterInterpretation