meow/meow.control/Applicative/given_Applicative_List

given_Applicative_List

given given_Applicative_List: Applicative[List]

Value members

Concrete methods

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

Extensions

Inherited extensions

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

Flipped version of this.ap

Flipped version of this.ap

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

Sequential application.

Sequential application.

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