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

ActionApplicative

object ActionApplicative extends Applicative[Action]
trait Applicative[Action]
trait Functor[Action]
class Object
trait Matchable
class Any

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