Lift

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

Value members

Abstract methods

def F: Monad[F]
def Low: Monad[Low]
def lift[A](la: Low[A]): F[A]

Concrete methods

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