meow/meow.control.trans/OptionT/given_Applicative_OptionT

given_Applicative_OptionT

given given_Applicative_OptionT[M[_]](implicit evidence$1: Functor[M], val apM: Applicative[M]): Applicative[[_] =>> OptionT[M, _$5]]

Value members

Concrete methods

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

Concrete fields

protected val apM: Applicative[M]

Extensions

Inherited extensions

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

Flipped version of this.ap

Flipped version of this.ap

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