trace4cats-context-utils
API
Generated with
trace4cats-context-utils/trace4cats/trace4cats.context/Local

Local

trace4cats.context.Local
See theLocal companion object
trait Local[F[_], R] extends Ask[F, R]

Attributes

Companion
object
Graph
Supertypes
trait Ask[F, R]
trait ContextRoot
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Provide[Low, F, R]
Self type
Local[F, R]

Members list

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]

Attributes

Inherited from:
Ask
def access[A](f: R => A): F[A]

Attributes

Inherited from:
Ask
def accessF[A](f: R => F[A]): F[A]

Attributes

Inherited from:
Ask
def ask[R1 >: R]: F[R1]

Attributes

Inherited from:
Ask
def mapK[G[_] : Monad](fk: FunctionK[F, G]): Ask[G, R]

Attributes

Inherited from:
Ask
def zoom[R1](g: Getter[R, R1]): Ask[F, R1]

Attributes

Inherited from:
Ask
Generated with