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

LocalLaws

trait LocalLaws[F <: ([_$1] =>> Any), E] extends AskLaws[F, E]
Companion
object
trait AskLaws[F, E]
class Object
trait Matchable
class Any

Value members

Methods

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

Inherited methods

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

Implicits

Implicits

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

Inherited implicits

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