org.specs2.control.eff

reader

object reader extends ReaderCreation with ReaderInterpretation

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. reader
  2. ReaderInterpretation
  3. ReaderCreation
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

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. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def ask[R, T](implicit member: Member[[X]Kleisli[[+X]X, T, X], R]): Eff[R, T]

    get the environment

    get the environment

    Definition Classes
    ReaderCreation
  8. def askTagged[R, Tg, T](implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, T]

    get the environment

    get the environment

    Definition Classes
    ReaderCreation
  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. def local[R, T, U](f: (T) ⇒ U)(implicit member: Member[[X]Kleisli[[+X]X, T, X], R]): Eff[R, U]

    modify the environment

    modify the environment

    Definition Classes
    ReaderCreation
  17. def localReader[SR, BR, U, S, B, A](r: Eff[SR, A], getter: (B) ⇒ S)(implicit sr: Aux[[X]Kleisli[[+X]X, S, X], SR, U], br: Aux[[X]Kleisli[[+X]X, B, X], BR, U]): Eff[BR, A]

    Lift a computation over a "small" reader (for a subsystem) into a computation over a "bigger" reader (for the full application)

    Lift a computation over a "small" reader (for a subsystem) into a computation over a "bigger" reader (for the full application)

    Definition Classes
    ReaderInterpretation
  18. def localTagged[R, Tg, T, U](f: (T) ⇒ U)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, U]

    modify the environment

    modify the environment

    Definition Classes
    ReaderCreation
  19. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  20. final def notify(): Unit

    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  22. def runReader[R <: Effects, U <: Effects, A, B](env: A)(r: Eff[R, B])(implicit m: Aux[[X]Kleisli[[+X]X, A, X], R, U]): Eff[U, B]

    interpret the Reader effect by providing an environment when required

    interpret the Reader effect by providing an environment when required

    Definition Classes
    ReaderInterpretation
  23. def runReaderTagged[R <: Effects, U <: Effects, T, A, B](env: A)(r: Eff[R, B])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, B]

    interpret a tagged Reader effect by providing an environment when required

    interpret a tagged Reader effect by providing an environment when required

    Definition Classes
    ReaderInterpretation
  24. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  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 ReaderInterpretation

Inherited from ReaderCreation

Inherited from AnyRef

Inherited from Any

Ungrouped