specs2-common/org.specs2.control/Action

Action

object Action
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def checkThat[A](a: => A, condition: Boolean, failureMessage: String): Action[A]
def either[A](ta: => Either[Throwable, A]): Action[A]
def exception[A](t: Throwable): Action[A]
def fail[A](message: String): Action[A]
def future[A](f: => Future[A]): Action[A]
def protect[A](a: => A): Action[A]
def pure[A](a: => A): Action[A]
def unit: Action[Unit]

Concrete fields

final lazy val NaturalTransformation_Id_Action: NaturalTransformation[Id, [A] =>> Action[A]]

Givens

Givens

given ActionApplicative: Applicative[[_] =>> Action[_$5]]
given ActionMonad: Monad[[_] =>> Action[_$3]]
given FinalizedAction: Safe[[A] =>> Action[A]]
given actionAsResult[T]: AsResult[Action[T]]