specs2-common/org.specs2.control/Action/ActionApplicative

ActionApplicative

given ActionApplicative: Applicative[[_] =>> Action[_$5]]

Value members

Concrete methods

def ap[A, B](fa: => Action[A])(ff: => Action[A => B]): Action[B]
def point[A](a: => A): Action[A]
override def toString: String
Definition Classes
Any

Inherited methods

def ap2[A, B, C](fa: => Action[A], fb: => Action[B])(f: Action[(A, B) => C]): Action[C]
Inherited from
Applicative
def ap3[A, B, C, D](fa: => Action[A], fb: => Action[B], fc: => Action[C])(f: Action[(A, B, C) => D]): Action[D]
Inherited from
Applicative
def ap4[A, B, C, D, E](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D])(f: Action[(A, B, C, D) => E]): Action[E]
Inherited from
Applicative
def ap5[A, B, C, D, E, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E])(f: Action[(A, B, C, D, E) => R]): Action[R]
Inherited from
Applicative
def ap6[A, B, C, D, E, FF, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF])(f: Action[(A, B, C, D, E, FF) => R]): Action[R]
Inherited from
Applicative
def ap7[A, B, C, D, E, FF, G, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF], fg: => Action[G])(f: Action[(A, B, C, D, E, FF, G) => R]): Action[R]
Inherited from
Applicative
def ap8[A, B, C, D, E, FF, G, H, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF], fg: => Action[G], fh: => Action[H])(f: Action[(A, B, C, D, E, FF, G, H) => R]): Action[R]
Inherited from
Applicative
def apply10[A, B, C, D, E, FF, G, H, I, J, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF], fg: => Action[G], fh: => Action[H], fi: => Action[I], fj: => Action[J])(f: (A, B, C, D, E, FF, G, H, I, J) => R): Action[R]
Inherited from
Applicative
def apply11[A, B, C, D, E, FF, G, H, I, J, K, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF], fg: => Action[G], fh: => Action[H], fi: => Action[I], fj: => Action[J], fk: => Action[K])(f: (A, B, C, D, E, FF, G, H, I, J, K) => R): Action[R]
Inherited from
Applicative
def apply12[A, B, C, D, E, FF, G, H, I, J, K, L, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF], fg: => Action[G], fh: => Action[H], fi: => Action[I], fj: => Action[J], fk: => Action[K], fl: => Action[L])(f: (A, B, C, D, E, FF, G, H, I, J, K, L) => R): Action[R]
Inherited from
Applicative
def apply2[A, B, C](fa: => Action[A], fb: => Action[B])(f: (A, B) => C): Action[C]
Inherited from
Applicative
def apply3[A, B, C, D](fa: => Action[A], fb: => Action[B], fc: => Action[C])(f: (A, B, C) => D): Action[D]
Inherited from
Applicative
def apply4[A, B, C, D, E](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D])(f: (A, B, C, D) => E): Action[E]
Inherited from
Applicative
def apply5[A, B, C, D, E, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E])(f: (A, B, C, D, E) => R): Action[R]
Inherited from
Applicative
def apply6[A, B, C, D, E, FF, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF])(f: (A, B, C, D, E, FF) => R): Action[R]
Inherited from
Applicative
def apply7[A, B, C, D, E, FF, G, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF], fg: => Action[G])(f: (A, B, C, D, E, FF, G) => R): Action[R]
Inherited from
Applicative
def apply8[A, B, C, D, E, FF, G, H, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF], fg: => Action[G], fh: => Action[H])(f: (A, B, C, D, E, FF, G, H) => R): Action[R]
Inherited from
Applicative
def apply9[A, B, C, D, E, FF, G, H, I, R](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E], ff: => Action[FF], fg: => Action[G], fh: => Action[H], fi: => Action[I])(f: (A, B, C, D, E, FF, G, H, I) => R): Action[R]
Inherited from
Applicative
def as[A, B](fa: Action[A])(b: => B): Action[B]
Inherited from
Functor
def filterM[A](l: List[A])(f: A => Action[Boolean]): Action[List[A]]

Filter l according to an applicative predicate.

Filter l according to an applicative predicate.

Inherited from
Applicative
def lift10[A, B, C, D, E, FF, G, H, I, J, R](f: (A, B, C, D, E, FF, G, H, I, J) => R): (Action[A], Action[B], Action[C], Action[D], Action[E], Action[FF], Action[G], Action[H], Action[I], Action[J]) => Action[R]
Inherited from
Applicative
def lift11[A, B, C, D, E, FF, G, H, I, J, K, R](f: (A, B, C, D, E, FF, G, H, I, J, K) => R): (Action[A], Action[B], Action[C], Action[D], Action[E], Action[FF], Action[G], Action[H], Action[I], Action[J], Action[K]) => Action[R]
Inherited from
Applicative
def lift12[A, B, C, D, E, FF, G, H, I, J, K, L, R](f: (A, B, C, D, E, FF, G, H, I, J, K, L) => R): (Action[A], Action[B], Action[C], Action[D], Action[E], Action[FF], Action[G], Action[H], Action[I], Action[J], Action[K], Action[L]) => Action[R]
Inherited from
Applicative
def lift2[A, B, C](f: (A, B) => C): (Action[A], Action[B]) => Action[C]
Inherited from
Applicative
def lift3[A, B, C, D](f: (A, B, C) => D): (Action[A], Action[B], Action[C]) => Action[D]
Inherited from
Applicative
def lift4[A, B, C, D, E](f: (A, B, C, D) => E): (Action[A], Action[B], Action[C], Action[D]) => Action[E]
Inherited from
Applicative
def lift5[A, B, C, D, E, R](f: (A, B, C, D, E) => R): (Action[A], Action[B], Action[C], Action[D], Action[E]) => Action[R]
Inherited from
Applicative
def lift6[A, B, C, D, E, FF, R](f: (A, B, C, D, E, FF) => R): (Action[A], Action[B], Action[C], Action[D], Action[E], Action[FF]) => Action[R]
Inherited from
Applicative
def lift7[A, B, C, D, E, FF, G, R](f: (A, B, C, D, E, FF, G) => R): (Action[A], Action[B], Action[C], Action[D], Action[E], Action[FF], Action[G]) => Action[R]
Inherited from
Applicative
def lift8[A, B, C, D, E, FF, G, H, R](f: (A, B, C, D, E, FF, G, H) => R): (Action[A], Action[B], Action[C], Action[D], Action[E], Action[FF], Action[G], Action[H]) => Action[R]
Inherited from
Applicative
def lift9[A, B, C, D, E, FF, G, H, I, R](f: (A, B, C, D, E, FF, G, H, I) => R): (Action[A], Action[B], Action[C], Action[D], Action[E], Action[FF], Action[G], Action[H], Action[I]) => Action[R]
Inherited from
Applicative
override def map[A, B](fa: Action[A])(f: A => B): Action[B]
Definition Classes
Applicative -> Functor
Inherited from
Applicative
final def pure[A](a: => A): Action[A]
Inherited from
Applicative
def sequence[A, G[_]](as: G[Action[A]])(using `evidence$1`: Traverse[G]): Action[G[A]]
Inherited from
Applicative
def traverse[A, G[_], B](value: G[A])(f: A => Action[B])(using G: Traverse[G]): Action[G[B]]
Inherited from
Applicative
def tuple2[A, B](fa: => Action[A], fb: => Action[B]): Action[(A, B)]
Inherited from
Applicative
def tuple3[A, B, C](fa: => Action[A], fb: => Action[B], fc: => Action[C]): Action[(A, B, C)]
Inherited from
Applicative
def tuple4[A, B, C, D](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D]): Action[(A, B, C, D)]
Inherited from
Applicative
def tuple5[A, B, C, D, E](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D], fe: => Action[E]): Action[(A, B, C, D, E)]
Inherited from
Applicative
def unless[A](cond: Boolean)(f: => Action[A]): Action[Unit]

Returns the given argument if cond is false, otherwise, unit lifted into F.

Returns the given argument if cond is false, otherwise, unit lifted into F.

Inherited from
Applicative
def void[A](fa: Action[A]): Action[Unit]
Inherited from
Functor
def when[A](cond: Boolean)(f: => Action[A]): Action[Unit]

Returns the given argument if cond is true, otherwise, unit lifted into F.

Returns the given argument if cond is true, otherwise, unit lifted into F.

Inherited from
Applicative
def xmap[A, B](fa: Action[A], f: A => B, g: B => A): Action[B]
Inherited from
Functor