edomata-docs/edomata.core/DomainDSL

DomainDSL

final class DomainDSL[C, S, E, R, N](dummy: Boolean) extends AnyVal
Source:
DomainDSL.scala
class AnyVal
trait Matchable
class Any

Type members

Types

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

Value members

Concrete methods

def command[F[_] : Monad]: App[F, C]
inline def decide[F[_] : Applicative, T](d: Decision[R, E, T]): App[F, T]
inline def eval[F[_] : Applicative, T](f: F[T]): App[F, T]
inline def fromEither[F[_] : Applicative, Env, R, E, N, T](eit: Either[R, T]): Edomaton[F, Env, R, E, N, T]
inline def fromEitherNec[F[_] : Applicative, Env, R, E, N, T](eit: EitherNec[R, T]): Edomaton[F, Env, R, E, N, T]
inline def fromOption[F[_] : Applicative, Env, R, E, N, T](opt: Option[T], orElse: R, other: R*): Edomaton[F, Env, R, E, N, T]
inline def lift[F[_] : Applicative, T](f: Response[R, E, N, T]): App[F, T]
inline def liftF[F[_], T](f: F[Response[R, E, N, T]]): App[F, T]
def messageId[F[_] : Monad]: App[F, String]
inline def publish[F[_] : Applicative](ns: N*): App[F, Unit]
inline def pure[F[_] : Monad, T](t: T): App[F, T]
inline def read[F[_] : Applicative]: App[F, RequestContext[C, S]]
inline def reject[F[_] : Applicative, T](r: R, rs: R*): App[F, T]
def router[F[_] : Monad, T](f: C => App[F, T]): App[F, T]
inline def run[F[_] : Applicative, T](f: RequestContext[C, S] => F[T]): App[F, T]
def state[F[_] : Monad]: App[F, S]
inline def unit[F[_] : Monad]: App[F, Unit]
inline def validate[F[_] : Applicative, T](v: ValidatedNec[R, T]): App[F, T]