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

ProvideLaws

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

Value members

Concrete methods

def kleisliftIsLiftAndAccessF[A](f: R => Low[A]): IsEq[F[A]]
def klesliftAndProvideIsApply[A](f: R => Low[A], r: R): IsEq[Low[A]]

Inherited methods

def accessFIsAskAndFlatMap[A](f: R => F[A]): IsEq[F[A]]
Inherited from:
AskLaws
def accessIsAskAndMap[A](f: R => A): IsEq[F[A]]
Inherited from:
AskLaws
def askAddsNoEffects[A](fa: F[A]): IsEq[F[A]]
Inherited from:
AskLaws
def askReflectsLocal(f: R => R): IsEq[F[R]]
Inherited from:
LocalLaws
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
def localDistributesOverAp[A, B](fa: F[A], ff: F[A => B], f: R => R): IsEq[F[B]]
Inherited from:
LocalLaws
def localPureIsPure[A](a: A, f: R => R): IsEq[F[A]]
Inherited from:
LocalLaws
def scopeIsLocalConst[A](fa: F[A], e: R): IsEq[F[A]]
Inherited from:
LocalLaws
def unliftIdempotency[A](fa: F[A]): IsEq[F[A]]
Inherited from:
UnliftLaws
def withUnliftIsAskUnliftAndFlatMap[A](f: FunctionK[F, Low] => Low[A]): IsEq[F[A]]
Inherited from:
UnliftLaws

Implicits

Implicits

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