Service

trait Service[C, N]
class Object
trait Matchable
class Any

Type members

Types

final type App[F[_], T] = Edomaton[F, RequestContext[C, State], Rejection, Event, N, T]
final type PureApp[T] = App[Id, T]

Value members

Concrete fields

final protected val App: DomainDSL[C, State, Event, Rejection, N]
final val domain: Domain[C, State, Event, Rejection, N]

Extensions

Extensions

extension [T](dec: Decision[Rejection, Event, T])
def toApp[F[_] : Applicative]: App[F, T]