Action

object Action
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
Action.type

Type members

Classlikes

object ActionApplicative extends Applicative[Action]
object ActionMonad extends Monad[Action]
object FinalizedAction extends Safe[Action]

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]

Givens

Givens

given actionAsResult[T](using evidence$1: AsResult[T]): actionAsResult[T]
given given_NaturalTransformation_Id_Action: NaturalTransformation[Id, Action]