edomata-docs
0.12.0
API
Generated with
edomata-docs/edomata/edomata.core/Action

Action

edomata.core.Action
See theAction companion class
object Action extends ActionConstructors, ActionCatsInstances

Attributes

Companion
class
Source
Action.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Show all
Self type
Action.type

Members list

Type members

Inherited types

type DT[F[_], R, E, N] = [T] =>> Action[F, R, E, N, T]

Attributes

Inherited from:
ActionCatsInstances
Source
Action.scala
type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Inherited methods

def accept[F[_] : Applicative, R, E, N](ev: E, evs: E*): Action[F, R, E, N, Unit]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala
def lift[F[_], R, E, N, T](t: ResponseD[R, E, N, T])(using F: Applicative[F]): Action[F, R, E, N, T]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala
def liftD[F[_], R, E, N, T](t: Decision[R, E, T])(using F: Applicative[F]): Action[F, R, E, N, T]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala
def liftF[F[_], R, E, N, T](f: F[T])(using F: Functor[F]): Action[F, R, E, N, T]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala
def publish[F[_] : Applicative, R, E, N](ns: N*): Action[F, R, E, N, Unit]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala
def pure[F[_], R, E, N, T](t: T)(using F: Applicative[F]): Action[F, R, E, N, T]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala
def reject[F[_] : Applicative, R, E, N, T](reason: R, otherReasons: R*): Action[F, R, E, N, T]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala
def validate[F[_] : Applicative, R, E, N, T](validation: ValidatedNec[R, T]): Action[F, R, E, N, T]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala
def void[F[_] : Applicative, R, E, N]: Action[F, R, E, N, Unit]

Attributes

Inherited from:
ActionConstructors
Source
Action.scala

Givens

Inherited givens

given given_Eq_Action[F[_], R, E, N, A](using Eq[F[ResponseD[R, E, N, A]]]): Eq[Action[F, R, E, N, A]]

Attributes

Inherited from:
ActionCatsInstances
Source
Action.scala
given given_Functor_DT[F[_], R, E, N](using F: Functor[F]): given_Functor_DT[F, R, E, N]

Attributes

Inherited from:
ActionCatsInstances
Source
Action.scala
given given_Monad_DT[F[_], R, E, N](using F: Monad[F]): given_Monad_DT[F, R, E, N]

Attributes

Inherited from:
ActionCatsInstances
Source
Action.scala
Generated with