Extractor of contacts' data from result.
Extractor of contacts' data from result.
The context for system is a map from state handles to values.
The context for system is a map from state handles to values.
A runtime component that should be processed with pattern matching.
The most popular runtime component.
The most popular runtime component. Transforms a signal into other signals. This component is not only FlatMap link. It can represent almost any stateless part of a system.
- the actual transformation
The most general processing element.
The most general processing element. Can depend on a few states.
Is very similar to the most generic link — StateFlatMap.
Is very similar to the most generic link — StateFlatMap. This component refers a single stateHandle.
The simplest signal processor.
The simplest signal processor. Corresponds to FlatMap.
An encapsulation of the signal that targets a subsystem's internal contact.
An encapsulation of the signal that targets a subsystem's internal contact.
A function that takes a single signal on input and returns the last trellis element.
A function that takes a single signal on input and returns the last trellis element. This producer does not store managed state in it.
The trace of a signal towards the original one.
The trace of a signal towards the original one. This class is intended for debug purposes. It can also be used in pattern matching and back tracking algorithm.
a list of signals starting from the last produced one and collecting the signals that have lead to the production of the last signal.
a list of processors that have worked for the production of the current signal. The length of the processors list is usually by one shorter than the length of the signals. However if it is a "lost trace" (the one that didn't produce output), then the last processor is added but the signal is not added. Thus the lengths are the same.
A snapshot of a running system at some discrete time moment.
A snapshot of a running system at some discrete time moment.
A function that makes single step (or a few steps) over time.
A function that makes single step (or a few steps) over time.
This contact is used to process answers of internal system.
This contact is used to process answers of internal system.
This contact is used to process signals of internal system.
This contact is used to process signals of internal system.
In asynchronous execution the resulting signal should come at the same level of "call stack". However as far as we usually get the signal asynchronously it is processed at top level. So in order to run it in inside the subsystem, we package asynchronous result into Signal(SubsystemSpecialContact, SubsystemDirectSignal( name, actual resulting signal))
Create a contact with the given name.
Create a contact with the given name.
One may use notation (contact -> data) to represent a signal
One may use notation (contact -> data) to represent a signal