cats.mtl.Ask
See theAsk companion object
trait Ask[F[_], +E] extends Serializable
Ask[F, E] lets you access an E value in the F[_] context.
Intuitively, this means that an E value is required as an input to get "out" of the F[_] context.
Ask[F, E] has one external law:
def askAddsNoEffects[A](fa: F[A]) = {
(ask *> fa) <-> fa
}
Ask[F, E] has one internal law:
def readerIsAskAndMap[A](f: E => A) = {
ask.map(f) <-> reader(f)
}
Attributes
Members list
In this article