Outcome
works.iterative.workflow.Outcome
final case class Outcome[State, Entity, Command, Event](label: String, to: State, emits: List[EventShape[Event]], emit: (Entity, Command) => Seq[Event])
One deterministic outcome of a Transition.
Co-locates the declared skeleton (to + emits) with the real emit so they change together. emits = Nil with emit = (_, _) => Seq.empty models a no-op success outcome (e.g. Poptávka's NavrhniPL unchanged-VP branch).
Value parameters
- emit
-
real, data/payload-dependent event construction
- emits
-
declared event-type skeleton (
Nilfor a no-op outcome) - label
-
unique within its
Transition; edge label + witness key - to
-
declared target state — read by the diagram, verified by conformance
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article