Unlift

trace4cats.context.Unlift
See theUnlift companion object
trait Unlift[Low[_], F[_]] extends Lift[Low, F]

Attributes

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

Members list

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]

Attributes

Inherited from:
Lift
def Low: Monad[Low]

Attributes

Inherited from:
Lift
def lift[A](la: Low[A]): F[A]

Attributes

Inherited from:
Lift
def liftK: FunctionK[Low, F]

Attributes

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

Attributes

Inherited from:
Lift