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

Unlift

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

Value members

Abstract methods

def askUnlift: F[FunctionK[F, Low]]

Concrete methods

def imapK[G[_] : Monad](fk: FunctionK[F, G], gk: FunctionK[G, F]): Unlift[Low, G]
def withUnlift[A](f: FunctionK[F, Low] => Low[A]): F[A]

Inherited methods

def F: Monad[F]
Inherited from:
Lift
def Low: Monad[Low]
Inherited from:
Lift
def lift[A](la: Low[A]): F[A]
Inherited from:
Lift
def liftK: FunctionK[Low, F]
Inherited from:
Lift
def mapK[G[_] : Monad](fk: FunctionK[F, G]): Lift[Low, G]
Inherited from:
Lift