specs2-common
API
Generated with
specs2-common/org.specs2/org.specs2.control/Action/ActionMonad

ActionMonad

org.specs2.control.Action.ActionMonad
object ActionMonad extends Monad[Action]

Attributes

Graph
Supertypes
trait Monad[Action]
trait Applicative[Action]
trait Functor[Action]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

override def ap[A, B](fa: => Action[A])(ff: => Action[A => B]): Action[B]

Attributes

Definition Classes
Monad -> Applicative
def bind[A, B](fa: Action[A])(f: A => Action[B]): Action[B]
def point[A](a: => A): Action[A]
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any

Inherited methods

def ap2[A, B, C](fa: => Action[A], fb: => Action[B])(f: Action[(A, B) => C]): F[C]

Attributes

Inherited from:
Applicative
def ap3[A, B, C, D](fa: => Action[A], fb: => Action[B], fc: => Action[C])(f: Action[(A, B, C) => D]): F[D]

Attributes

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]): F[E]

Attributes

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]): F[R]

Attributes

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]): F[R]

Attributes

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]): F[R]

Attributes

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]): F[R]

Attributes

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): F[R]

Attributes

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): F[R]

Attributes

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): F[R]

Attributes

Inherited from:
Applicative
def apply2[A, B, C](fa: => Action[A], fb: => Action[B])(f: (A, B) => C): F[C]

Attributes

Inherited from:
Applicative
def apply3[A, B, C, D](fa: => Action[A], fb: => Action[B], fc: => Action[C])(f: (A, B, C) => D): F[D]

Attributes

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): F[E]

Attributes

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): F[R]

Attributes

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): F[R]

Attributes

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): F[R]

Attributes

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): F[R]

Attributes

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): F[R]

Attributes

Inherited from:
Applicative
def as[A, B](fa: Action[A])(b: => B): F[B]

Attributes

Inherited from:
Functor
def filterM[A](l: List[A])(f: A => Action[Boolean]): F[List[A]]

Filter l according to an applicative predicate.

Filter l according to an applicative predicate.

Attributes

Inherited from:
Applicative
def flatMap[A, B](fa: Action[A])(f: A => Action[B]): F[B]

Attributes

Inherited from:
Monad
def iterateUntil[A](f: Action[A])(p: A => Boolean): F[A]

Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.

Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.

Attributes

Inherited from:
Monad
def iterateWhile[A](f: Action[A])(p: A => Boolean): F[A]

Attributes

Inherited from:
Monad
def join[A](ffa: Action[Action[A]]): F[A]

Attributes

Inherited from:
Monad
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): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J]) => F[R]

Attributes

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): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J], F[K]) => F[R]

Attributes

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): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I], F[J], F[K], F[L]) => F[R]

Attributes

Inherited from:
Applicative
def lift2[A, B, C](f: (A, B) => C): (F[A], F[B]) => F[C]

Attributes

Inherited from:
Applicative
def lift3[A, B, C, D](f: (A, B, C) => D): (F[A], F[B], F[C]) => F[D]

Attributes

Inherited from:
Applicative
def lift4[A, B, C, D, E](f: (A, B, C, D) => E): (F[A], F[B], F[C], F[D]) => F[E]

Attributes

Inherited from:
Applicative
def lift5[A, B, C, D, E, R](f: (A, B, C, D, E) => R): (F[A], F[B], F[C], F[D], F[E]) => F[R]

Attributes

Inherited from:
Applicative
def lift6[A, B, C, D, E, FF, R](f: (A, B, C, D, E, FF) => R): (F[A], F[B], F[C], F[D], F[E], F[FF]) => F[R]

Attributes

Inherited from:
Applicative
def lift7[A, B, C, D, E, FF, G, R](f: (A, B, C, D, E, FF, G) => R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G]) => F[R]

Attributes

Inherited from:
Applicative
def lift8[A, B, C, D, E, FF, G, H, R](f: (A, B, C, D, E, FF, G, H) => R): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H]) => F[R]

Attributes

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): (F[A], F[B], F[C], F[D], F[E], F[FF], F[G], F[H], F[I]) => F[R]

Attributes

Inherited from:
Applicative
override def map[A, B](fa: Action[A])(f: A => B): F[B]

Attributes

Definition Classes
Monad -> Applicative -> Functor
Inherited from:
Monad
final def pure[A](a: => A): F[A]

Attributes

Inherited from:
Applicative
def sequence[A, G[_]](as: G[Action[A]])(using evidence$1: Traverse[G]): F[G[A]]

Attributes

Inherited from:
Applicative
def tailrecM[A, B](a: A)(f: A => Action[Either[A, B]]): F[B]

Attributes

Inherited from:
Monad
def traverse[A, G[_], B](value: G[A])(f: A => Action[B])(using G: Traverse[G]): F[G[B]]

Attributes

Inherited from:
Applicative
def tuple2[A, B](fa: => Action[A], fb: => Action[B]): F[(A, B)]

Attributes

Inherited from:
Applicative
def tuple3[A, B, C](fa: => Action[A], fb: => Action[B], fc: => Action[C]): F[(A, B, C)]

Attributes

Inherited from:
Applicative
def tuple4[A, B, C, D](fa: => Action[A], fb: => Action[B], fc: => Action[C], fd: => Action[D]): F[(A, B, C, D)]

Attributes

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]): F[(A, B, C, D, E)]

Attributes

Inherited from:
Applicative
def unless[A](cond: Boolean)(f: => Action[A]): F[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.

Attributes

Inherited from:
Applicative
def void[A](fa: Action[A]): F[Unit]

Attributes

Inherited from:
Functor
def when[A](cond: Boolean)(f: => Action[A]): F[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.

Attributes

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

Attributes

Inherited from:
Functor
Generated with