cats-mtl-laws/cats.mtl.laws/AskLaws

AskLaws

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

Value members

Concrete methods

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

Implicits

Implicits

implicit def applicative: Applicative[F]
implicit def askInstance: Ask[F, E]