edomata-docs/edomata.core/Action

Action

object Action extends ActionConstructors with ActionCatsInstances
Companion:
class
Source:
Action.scala
trait Product
trait Mirror
class Object
trait Matchable
class Any
Action.type

Type members

Inherited types

type DT[F[_], R, E, N] = [T] =>> Action[F, R, E, N, T]
Inherited from:
ActionCatsInstances
Source:
Action.scala
type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

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

The name of the type

The name of the type

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]
Inherited from:
ActionConstructors
Source:
Action.scala
def lift[F[_], R, E, N, T](t: Response[R, E, N, T])(using F: Applicative[F]): Action[F, R, E, N, T]
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]
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]
Inherited from:
ActionConstructors
Source:
Action.scala
def publish[F[_] : Applicative, R, E, N](ns: N*): Action[F, R, E, N, Unit]
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]
Inherited from:
ActionConstructors
Source:
Action.scala
def reject[F[_] : Applicative, R, E, N, T](reason: R, otherReasons: R*): Action[F, R, E, N, T]
Inherited from:
ActionConstructors
Source:
Action.scala
def validate[F[_] : Applicative, R, E, N, T](validation: ValidatedNec[R, T]): Action[F, R, E, N, T]
Inherited from:
ActionConstructors
Source:
Action.scala
def void[F[_] : Applicative, R, E, N]: Action[F, R, E, N, Unit]
Inherited from:
ActionConstructors
Source:
Action.scala

Givens

Inherited givens

given given_Eq_Action[F[_], R, E, N, A](using Eq[F[Response[R, E, N, A]]]): Eq[Action[F, R, E, N, A]]
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]
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]
Inherited from:
ActionCatsInstances
Source:
Action.scala