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

Provide

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

Value members

Abstract methods

def provide[A](fa: F[A])(r: R): Low[A]

Concrete methods

override def askUnlift: F[FunctionK[F, Low]]
Definition Classes
override def imapK[G[_] : Monad](fk: FunctionK[F, G], gk: FunctionK[G, F]): Provide[Low, G, R]
Definition Classes
def kleislift[A](f: R => Low[A]): F[A]
override def mapK[G[_] : Monad](fk: FunctionK[F, G]): Ask[G, R] & Lift[Low, G]
Definition Classes
def provideK(r: R): FunctionK[F, Low]

Inherited methods

def F: Monad[F]
Inherited from:
Lift
def Low: Monad[Low]
Inherited from:
Lift
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 focus[R1](lens: Lens[R, R1]): Local[F, R1]
Inherited from:
Local
def lift[A](la: Low[A]): F[A]
Inherited from:
Lift
def liftK: FunctionK[Low, F]
Inherited from:
Lift
def local[A](fa: F[A])(f: R => R): F[A]
Inherited from:
Local
def localK(f: R => R): FunctionK[F, F]
Inherited from:
Local
def scope[A](fa: F[A])(r: R): F[A]
Inherited from:
Local
def scopeK(r: R): FunctionK[F, F]
Inherited from:
Local
def withUnlift[A](f: FunctionK[F, Low] => Low[A]): F[A]
Inherited from:
Unlift
def zoom[R1](g: Getter[R, R1]): Ask[F, R1]
Inherited from:
Ask