given_Applicative_Function

given given_Applicative_Function[R]: Applicative[[_] =>> R => _$8]

Value members

Concrete methods

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

Extensions

Inherited extensions

extension (fa: F[A])
@targetName("productRight")
def *>[A, B](fb: F[B]): R => 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 => 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 => B

Flipped version of this.ap

Flipped version of this.ap

Inherited from
Applicative
inline def unless[A, B](cond: Boolean): R => 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 => 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 => B

Sequential application.

Sequential application.

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