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

DomainModel

edomata.core.DomainModel
trait DomainModel[State, Event, Rejection]

A purely functional, event driven domain model

Attributes

Event

domain events

Rejection

domain error type

State

state model of your program, a.k.a aggregate root

Source:
Model.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
DomainModel[State, Event, Rejection]

Members list

Concise view

Type members

Classlikes

trait Service[C, N]

Attributes

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

Value members

Abstract methods

def initial: State

Initial or empty value for this domain model

Initial or empty value for this domain model

for any aggregate, it is either created and have a history, or is in initial state

Attributes

Source:
Model.scala
def transition: Event => State => ValidatedNec[Rejection, State]

A function that defines how this model transitions in response to events; it is like an event handler, but is pure.

A function that defines how this model transitions in response to events; it is like an event handler, but is pure.

An event that can't be applied results in a rejection or conflict, based on whether it is read from journal or applied for decision

Attributes

Source:
Model.scala

Givens

Givens

given given_ModelTC_State_Event_Rejection: ModelTC[State, Event, Rejection]

Attributes

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