edomata.core.Decision
See theDecision companion object
Represents programs that decide in an event driven context
This is basically a simple state machine like the following:
[*] -> InDecisive
InDecisive -- event --> Accepted
InDecisive -- join --> InDecisive
InDecisive -- rejection --> Rejected (resets and terminates)
Accepted -- event --> Accepted (accumulates)
Accepted -- rejection --> Rejected (resets and terminates)
It forms a monad error and also is traversable.
Attributes
- A
program output type
- E
event type
- R
rejection type
- Companion:
- object
- Source:
- Decision.scala
- Graph
- Supertypes
- Known subtypes
- Self type