cats-mtl-laws
1.4.0
API
Generated with
cats-mtl-laws/cats.mtl.laws/LocalLaws

LocalLaws

cats.mtl.laws.LocalLaws
See theLocalLaws companion object
trait LocalLaws[F[_], E] extends AskLaws[F, E]

Attributes

Companion
object
Source
LocalLaws.scala
Graph
Supertypes
trait AskLaws[F, E]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def askReflectsLocal(f: E => E): IsEq[F[E]]

Attributes

Source
LocalLaws.scala
def localDistributesOverAp[A, B](fa: F[A], ff: F[A => B], f: E => E): IsEq[F[B]]

Attributes

Source
LocalLaws.scala
def localPureIsPure[A](a: A, f: E => E): IsEq[F[A]]

Attributes

Source
LocalLaws.scala
def scopeIsLocalConst[A](fa: F[A], e: E): IsEq[F[A]]

Attributes

Source
LocalLaws.scala

Inherited methods

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

Attributes

Inherited from:
AskLaws
Source
AskLaws.scala
def readerIsAskAndMap[A](f: E => A): IsEq[F[A]]

Attributes

Inherited from:
AskLaws
Source
AskLaws.scala

Implicits

Implicits

implicit override def applicative: Applicative[F]

Attributes

Definition Classes
Source
LocalLaws.scala
implicit def localInstance: Local[F, E]

Attributes

Source
LocalLaws.scala

Inherited implicits

implicit def askInstance: Ask[F, E]

Attributes

Inherited from:
AskLaws
Source
AskLaws.scala
Generated with