Trait/Object

org.atnos.eff

WriterEffect

Related Docs: object WriterEffect | package eff

Permalink

trait WriterEffect extends WriterCreation with WriterInterpretation

Effect for logging values alongside computations

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

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WriterEffect
  2. WriterInterpretation
  3. WriterCreation
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def EvalFold[A](f: (A) ⇒ EvalEffect.Eval[Unit]): Fold[A, EvalEffect.Eval[Unit]]

    Permalink
    Definition Classes
    WriterInterpretation
  5. implicit def ListFold[A]: Fold[A, List[A]]

    Permalink
    Definition Classes
    WriterInterpretation
  6. def MonoidFold[A](implicit arg0: Monoid[A]): Fold[A, A]

    Permalink
    Definition Classes
    WriterInterpretation
  7. def UnsafeFold[A](f: (A) ⇒ Unit): Fold[A, Unit]

    Permalink
    Definition Classes
    WriterInterpretation
  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. def runWriter[R, U, O, A, B](w: Eff[R, A])(implicit m: Aux[[β$2$]WriterT[[+X]X, O, β$2$], R, U]): Eff[U, (A, List[O])]

    Permalink

    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

    Definition Classes
    WriterInterpretation
  20. def runWriterEval[R, U, O, A](w: Eff[R, A])(f: (O) ⇒ EvalEffect.Eval[Unit])(implicit m: Aux[[β$8$]WriterT[[+X]X, O, β$8$], R, U], ev: |=[EvalEffect.Eval, U]): Eff[U, A]

    Permalink
    Definition Classes
    WriterInterpretation
  21. def runWriterFold[R, U, O, A, B](w: Eff[R, A])(fold: Fold[O, B])(implicit m: Aux[[β$3$]WriterT[[+X]X, O, β$3$], R, U]): Eff[U, (A, B)]

    Permalink

    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

    Definition Classes
    WriterInterpretation
  22. def runWriterUnsafe[R, U, O, A](w: Eff[R, A])(f: (O) ⇒ Unit)(implicit m: Aux[[β$7$]WriterT[[+X]X, O, β$7$], R, U]): Eff[U, A]

    Permalink

    Run a side-effecting fold

    Run a side-effecting fold

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

    Permalink
    Definition Classes
    AnyRef
  24. def tell[R, O](o: O)(implicit member: |=[[β$0$]WriterT[[+X]X, O, β$0$], R]): Eff[R, Unit]

    Permalink

    write a given value

    write a given value

    Definition Classes
    WriterCreation
  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  26. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from WriterInterpretation

Inherited from WriterCreation

Inherited from AnyRef

Inherited from Any

Ungrouped