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

AskLaws

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

Value members

Concrete methods

def accessFIsAskAndFlatMap[A](f: R => F[A]): IsEq[F[A]]
def accessIsAskAndMap[A](f: R => A): IsEq[F[A]]
def askAddsNoEffects[A](fa: F[A]): IsEq[F[A]]

Implicits

Implicits

implicit def F: Monad[F]
implicit def instance: Ask[F, R]