edomata-docs
0.7.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
edomata-docs/edomata.core/Action

Action

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

Attributes

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

Members list

Concise view

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
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL