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

DomainDSL

edomata.core.DomainDSL
final class DomainDSL[C, S, E, R, N](dummy: Boolean) extends AnyVal

Attributes

Source:
DomainDSL.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any

Members list

Concise view

Type members

Types

type App[F[_], T] = Edomaton[F, RequestContext[C, S], R, E, N, T]

Attributes

Source:
DomainDSL.scala

Value members

Concrete methods

def aggregateId[F[_] : Monad]: App[F, String]

Attributes

Source:
DomainDSL.scala
def command[F[_] : Monad]: App[F, C]

Attributes

Source:
DomainDSL.scala
inline def decide[F[_] : Applicative, T](d: Decision[R, E, T]): App[F, T]

Attributes

Source:
DomainDSL.scala
inline def eval[F[_] : Applicative, T](f: F[T]): App[F, T]

Attributes

Source:
DomainDSL.scala
inline def fromEither[F[_] : Applicative, Env, R, E, N, T](eit: Either[R, T]): Edomaton[F, Env, R, E, N, T]

Attributes

Source:
DomainDSL.scala
inline def fromEitherNec[F[_] : Applicative, Env, R, E, N, T](eit: EitherNec[R, T]): Edomaton[F, Env, R, E, N, T]

Attributes

Source:
DomainDSL.scala
inline def fromOption[F[_] : Applicative, Env, R, E, N, T](opt: Option[T], orElse: R, other: R*): Edomaton[F, Env, R, E, N, T]

Attributes

Source:
DomainDSL.scala
inline def lift[F[_] : Applicative, T](f: ResponseD[R, E, N, T]): App[F, T]

Attributes

Source:
DomainDSL.scala
inline def liftF[F[_], T](f: F[ResponseD[R, E, N, T]]): App[F, T]

Attributes

Source:
DomainDSL.scala
def messageId[F[_] : Monad]: App[F, String]

Attributes

Source:
DomainDSL.scala
def metadata[F[_] : Monad]: App[F, MessageMetadata]

Attributes

Source:
DomainDSL.scala
inline def publish[F[_] : Applicative](ns: N*): App[F, Unit]

Attributes

Source:
DomainDSL.scala
inline def pure[F[_] : Monad, T](t: T): App[F, T]

Attributes

Source:
DomainDSL.scala
inline def read[F[_] : Applicative]: App[F, RequestContext[C, S]]

Attributes

Source:
DomainDSL.scala
inline def reject[F[_] : Applicative, T](r: R, rs: R*): App[F, T]

Attributes

Source:
DomainDSL.scala
def router[F[_] : Monad, T](f: C => App[F, T]): App[F, T]

Attributes

Source:
DomainDSL.scala
inline def run[F[_] : Applicative, T](f: RequestContext[C, S] => F[T]): App[F, T]

Attributes

Source:
DomainDSL.scala
def state[F[_] : Monad]: App[F, S]

Attributes

Source:
DomainDSL.scala
inline def unit[F[_] : Monad]: App[F, Unit]

Attributes

Source:
DomainDSL.scala
inline def validate[F[_] : Applicative, T](v: ValidatedNec[R, T]): App[F, T]

Attributes

Source:
DomainDSL.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL