core/org.atnos.eff/ReaderCreation

ReaderCreation

trait ReaderCreation
Companion
object
class Object
trait Matchable
class Any
object all
object create
object reader

Value members

Concrete methods

def ask[R, T](implicit member: MemberIn[[_] =>> Reader[T, _$1], R]): Eff[R, T]

get the environment

get the environment

def local[R, T, U](f: T => U)(implicit member: MemberIn[[_] =>> Reader[T, _$2], R]): Eff[R, U]

modify the environment

modify the environment

def localKleisli[R, T, U, F[_]](f: T => F[U])(implicit member: MemberIn[[_] =>> Kleisli[F, T, _$5], R]): Eff[R, U]

modify the environment using a Kleisli[F, T, *]

modify the environment using a Kleisli[F, T, *]