trace4cats-base/io.janstenpickle.trace4cats.base.context/Local

Local

trait Local[F[_], R] extends Ask[F, R]
Companion:
object
trait Ask[F, R]
trait Serializable
class Object
trait Matchable
class Any
trait Provide[Low, F, R]
Local[F, R]

Value members

Abstract methods

def local[A](fa: F[A])(f: R => R): F[A]

Concrete methods

def focus[R1](lens: Lens[R, R1]): Local[F, R1]
def imapK[G[_] : Monad](fk: FunctionK[F, G], gk: FunctionK[G, F]): Local[G, R]
def localK(f: R => R): FunctionK[F, F]
def scope[A](fa: F[A])(r: R): F[A]
def scopeK(r: R): FunctionK[F, F]

Inherited methods

def F: Monad[F]
Inherited from:
Ask
def access[A](f: R => A): F[A]
Inherited from:
Ask
def accessF[A](f: R => F[A]): F[A]
Inherited from:
Ask
def ask[R1 >: R]: F[R1]
Inherited from:
Ask
def mapK[G[_] : Monad](fk: FunctionK[F, G]): Ask[G, R]
Inherited from:
Ask
def zoom[R1](g: Getter[R, R1]): Ask[F, R1]
Inherited from:
Ask