module documentation
Undocumented
Class |
|
Construct an output for the given data objects. |
Class |
|
An InputImplementer implements an input protocol in terms of a state machine. |
Class |
|
This is the thing that goes into the automaton's outputs list, and thus (per the implementation of implementMethod ) takes the 'self' of the InputImplementer instance (i.e. the synthetic protocol implementation) and the previous result computed by the former output, which will be None initially. |
Class |
|
A state machine output. |
Class |
|
This is a record of a transition that need finalizing; it is the result of calling TypeMachineBuilder.state and then ``.upon(input).to(state)`` on the result of that. |
Class |
|
Undocumented |
Class |
|
Undocumented |
Class |
|
The result of .state() . |
Class |
|
Type parameter P: the signature of the input method. |
Class |
|
Type parameter P: the signature of the input method. |
Function | implement |
Construct a function for populating in the synthetic provider of the Input Protocol to a TypeMachineBuilder . It should have a signature matching that of the method parameter, a function from that protocol. |
Constant | INVALID |
Undocumented |
Constant | P |
Undocumented |
Constant | P1 |
Undocumented |
Type Variable |
|
Undocumented |
Type Variable |
|
Undocumented |
Type Variable |
|
Undocumented |
Type Variable |
|
Undocumented |
Type Variable | R |
Undocumented |
Type Alias |
|
Undocumented |
Type Alias |
|
Undocumented |
Variable |
|
Undocumented |
Variable | has |
Undocumented |
Variable |
|
Undocumented |
Construct a function for populating in the synthetic provider of the Input Protocol to a TypeMachineBuilder
. It should have a signature matching that of the method parameter, a function from that protocol.