Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
implicit
def
ReaderMemberFirst[R <: Effects, A]: Aux[[β]Kleisli[[A]A, A, β], |:[[β]Kleisli[[A]A, A, β], R], R]
-
implicit
def
ReaderMemberSuccessor[O[_], R <: Effects, U <: Effects, A](implicit m: Aux[[β]Kleisli[[A]A, A, β], R, U]): Aux[[β]Kleisli[[A]A, A, β], |:[O, R], |:[O, U]]
-
implicit
def
ReaderMemberZero[A]: Aux[[β]Kleisli[[A]A, A, β], |:[[β]Kleisli[[A]A, A, β], NoEffect], NoEffect]
-
implicit
def
TaggedReaderMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]
-
implicit
def
TaggedReaderMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[O, R], |:[O, U]]
-
implicit
def
TaggedReaderMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]
-
final
def
asInstanceOf[T0]: T0
-
def
ask[R, T](implicit member: Member[[β]Kleisli[[A]A, T, β], R]): Eff[R, T]
-
def
askTagged[R, Tg, T](implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, T]
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
local[R, T, U](f: (T) ⇒ U)(implicit member: Member[[β]Kleisli[[A]A, T, β], R]): Eff[R, U]
-
def
localTagged[R, Tg, T, U](f: (T) ⇒ U)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, U]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
runReader[R <: Effects, U <: Effects, A, B](env: A)(r: Eff[R, B])(implicit m: Aux[[β]Kleisli[[A]A, A, β], R, U]): Eff[U, B]
-
def
runTaggedReader[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]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Effect for computations depending on an environment.
The inside datatype for this effect is scalaz.Reader
Several Reader effects can be present in a given stack provided that they are tagged with scala.Tag.
A tagged Reader effect can be run with runTaggedReader