cats-mtl-laws/cats.mtl.laws/LocalLaws

LocalLaws

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

Value members

Concrete methods

def askReflectsLocal(f: E => E): IsEq[F[E]]
def localDistributesOverAp[A, B](fa: F[A], ff: F[A => B], f: E => E): IsEq[F[B]]
def localPureIsPure[A](a: A, f: E => E): IsEq[F[A]]
def scopeIsLocalConst[A](fa: F[A], e: E): IsEq[F[A]]

Inherited methods

def askAddsNoEffects[A](fa: F[A]): IsEq[F[A]]
Inherited from:
AskLaws
def readerIsAskAndMap[A](f: E => A): IsEq[F[A]]
Inherited from:
AskLaws

Implicits

Implicits

implicit override def applicative: Applicative[F]
Definition Classes
implicit def localInstance: Local[F, E]

Inherited implicits

implicit def askInstance: Ask[F, E]
Inherited from:
AskLaws