reader
API
Generated with
reader/org.atnos.eff/org.atnos.eff.syntax/reader/readerExtension

readerExtension

org.atnos.eff.syntax.reader.readerExtension
object readerExtension

Attributes

Source
reader.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Extensions

Extensions

extension [R, A](e: Eff[R, A])
def localReader[T](modify: T => T)(using r: MemberInOut[[_] =>> Reader[T, _$8], R]): Eff[R, A]

Attributes

Source
reader.scala
def runKleisli[U, S, F[_]](env: S)(using mx: Aux[[_] =>> Kleisli[F, S, _$3], R, U], m: MemberIn[F, U]): Eff[U, A]

Attributes

Source
reader.scala
def runReader[C](c: C)(using member: Member[[_] =>> Reader[C, _$1], R]): Eff[member.Out, A]

Attributes

Source
reader.scala
def translateReader[U, S, B](getter: B => S)(using m1: Aux[[_] =>> Reader[S, _$4], R, U], m2: MemberIn[[_] =>> Reader[B, _$5], U]): Eff[U, A]

Attributes

Source
reader.scala
def zoomReader[R2, U, S, T](f: T => S)(using Aux[[_] =>> Reader[S, _$6], R, U], Aux[[_] =>> Reader[T, _$7], R2, U]): Eff[R2, A]

Attributes

Source
reader.scala
Generated with