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

UnliftLaws

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

Value members

Concrete methods

def unliftIdempotency[A](fa: F[A]): IsEq[F[A]]

Inherited methods

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

Implicits

Implicits

implicit override def F: Monad[F]
Definition Classes
implicit override def Low: Monad[Low]
Definition Classes
implicit override def instance: Unlift[Low, F]
Definition Classes