given_Applicative_ReaderT

given given_Applicative_ReaderT[R, M[_]](implicit evidence$1: Functor[M], val apM: Applicative[M]): Applicative[[_] =>> (R, M) => _$6]

Value members

Concrete methods

def liftA2[A, B, C](f: A => B => C): ReaderT[R, M, A] => ReaderT[R, M, B] => ReaderT[R, M, C]
def pure[A](a: A): ReaderT[R, M, A]

Concrete fields

protected val apM: Applicative[M]

Extensions

Inherited extensions

extension (fa: F[A])
@targetName("productRight")
def *>[A, B](fb: F[B]): (R, M) => B

Sequence actions, discarding the value of the first argument.

Sequence actions, discarding the value of the first argument.

Example
Option(1) *> Option(2) <* Option(3) == Option(2)
Inherited from
Applicative
@targetName("productLeft")
def <*[A, B](fb: F[B]): (R, M) => A

Sequence actions, discarding the value of the second argument.

Sequence actions, discarding the value of the second argument.

Example
Option(1) *> Option(2) <* Option(3) == Option(2)
Inherited from
Applicative
@targetName("apFlipped")
def <**>[A, B](fab: F[A => B]): (R, M) => B

Flipped version of this.ap

Flipped version of this.ap

Inherited from
Applicative
inline def unless[A, B](cond: Boolean): (R, M) => Unit

Conditional execution of 'Applicative' expressions.

Conditional execution of 'Applicative' expressions.

Example
 doSomething.unless(condFailed) 
Inherited from
Applicative
inline def when[A, B](cond: Boolean): (R, M) => Unit

Conditional execution of 'Applicative' expressions.

Conditional execution of 'Applicative' expressions.

Example
 doSomething.when(cond) 
Inherited from
Applicative
extension (fab: F[A => B])
@targetName("ap")
def <*>[A, B](fa: F[A]): (R, M) => B

Sequential application.

Sequential application.

Example
val f = (x: Int) => (y: Int) => x + y
f `<$>` Option(1) <*> Option(2) == Option(3)
Inherited from
Applicative