org.specs2.control.eff

WriterEffect

object WriterEffect

Effect for logging values alongside computations

Compared to traditional Writer monad which accumulates values by default this effect can be interpreted in different ways:

Several writer effects can be used in the same stack if they are tagged.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. WriterEffect
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. trait Fold[A, B] extends AnyRef

    support trait for folding values while possibly keeping some internal state

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. implicit def ListFold[A]: Fold[A, List[A]]

  7. def MonoidFold[A](implicit arg0: Monoid[A]): Fold[A, A]

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  13. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  14. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  15. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  16. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  17. final def notify(): Unit

    Definition Classes
    AnyRef

  18. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  19. def runTaggedWriter[R <: Effects, T, O, A](w: Eff[|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], A]): Eff[R, (A, List[O])]

    run a tagged writer effect

  20. def runTaggedWriterFold[R <: Effects, T, O, A, B](w: Eff[|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], A])(implicit fold: Fold[O, B]): Eff[R, (A, B)]

  21. def runWriter[R <: Effects, O, A, B](w: Eff[|:[[β]WriterT[[+X]X, O, β], R], A]): Eff[R, (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

  22. def runWriterFold[R <: Effects, O, A, B](w: Eff[|:[[β]WriterT[[+X]X, O, β], R], A])(implicit fold: Fold[O, B]): Eff[R, (A, B)]

    More general fold of runWriter where we can use a fold to accumulate values in a mutable buffer

  23. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  24. def tell[R, O](o: O)(implicit member: Member[[β]WriterT[[+X]X, O, β], R]): Eff[R, Unit]

    write a give value

  25. def toString(): String

    Definition Classes
    AnyRef → Any

  26. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  28. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped