Represents programs that are event driven state machines (a Mealy machine)
these programs can use input to decide on a state transition, and optionally emit a sequence of notifications for communication.
Attributes
- A
output type
- E
internal event type
- Env
input type
- F
effect type
- N
notification type, a.k.a external event, integration event
- R
rejection type
- Companion:
- object
- Source:
- Edomaton.scala
- Graph
- Supertypes
Members list
Value members
Concrete methods
alias for andThen, flatMap(_ => f)
alias for flatMap
sequences another edomaton without considering output for this one
sequences another edomaton without considering output for this one
alias for flatMap(_ => f)
Attributes
- Source:
- Edomaton.scala
alias for map(_=> b)
creates a new edomaton that translates some input to what this edomaton can understand
creates a new edomaton that translates some input to what this edomaton can understand
Attributes
- Source:
- Edomaton.scala
Decides based on output
evaluates an effect and uses its result as new output
evaluates an effect using output of this edomaton and uses result of evaluation as new output
evaluates an effect using output of this edomaton and uses result of evaluation as new output
Attributes
- Source:
- Edomaton.scala
like evalMap but ignores evaluation result
binds another edomaton to this one.
maps output result
translates this program in another language mapped by a natural transformation
translates this program in another language mapped by a natural transformation
Attributes
- Source:
- Edomaton.scala
Adds notification without considering decision state
publishes these notifications if this edomaton is rejected
If this edomaton is rejected, uses given function to decide what to publish
If this edomaton is rejected, uses given function to decide what to publish
Attributes
- Source:
- Edomaton.scala
Clears all notifications so far
transforms underlying response
Ignores output value