Service

edomata.core.DomainModel.Service
trait Service[C, N]

Attributes

Source
Model.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

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

Attributes

Source
Model.scala
final type Handler[F[_]] = (F, CommandMessage[C]) => Rejection

Attributes

Source
Model.scala
final type PureApp[T] = App[Id, T]

Attributes

Source
Model.scala

Value members

Concrete fields

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

Attributes

Source
Model.scala
final val domain: Domain[C, State, Event, Rejection, N]

Attributes

Source
Model.scala

Extensions

Extensions

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

Attributes

Source
Model.scala