trace4cats-base-laws/io.janstenpickle.trace4cats.base.context.laws/LiftLaws

LiftLaws

trait LiftLaws[Low[_], F[_]]
Companion:
object
class Object
trait Matchable
class Any
trait UnliftLaws[Low, F]
trait ProvideLaws[Low, F, R]

Value members

Concrete methods

def liftComposition[A, B](la: Low[A], f: A => Low[B]): IsEq[F[B]]
def liftIdentity[A](a: A): IsEq[F[A]]

Implicits

Implicits

implicit def F: Monad[F]
implicit def Low: Monad[Low]
implicit def instance: Lift[Low, F]