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

LocalLaws

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

Value members

Concrete methods

def askReflectsLocal(f: R => R): IsEq[F[R]]
def localDistributesOverAp[A, B](fa: F[A], ff: F[A => B], f: R => R): IsEq[F[B]]
def localPureIsPure[A](a: A, f: R => R): IsEq[F[A]]
def scopeIsLocalConst[A](fa: F[A], e: R): IsEq[F[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

Implicits

Implicits

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