module documentation

Undocumented

Class DataOutput Construct an output for the given data objects.
Class InputImplementer An InputImplementer implements an input protocol in terms of a state machine.
Class MethodOutput 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 SomeOutput A state machine output.
Class TransitionRegistrar 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 TypedDataState Undocumented
Class TypedInput Undocumented
Class TypedState The result of .state().
Class UponFromData Type parameter P: the signature of the input method.
Class UponFromNo Type parameter P: the signature of the input method.
Function implementMethod 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_WHILE_DESERIALIZING Undocumented
Constant P Undocumented
Constant P1 Undocumented
Type Variable Core Undocumented
Type Variable Data Undocumented
Type Variable InputProtocol Undocumented
Type Variable OtherData Undocumented
Type Variable R Undocumented
Type Alias AnyState Undocumented
Type Alias Decorator Undocumented
Variable FactoryParams Undocumented
Variable hasInterface Undocumented
Variable OtherFactoryParams Undocumented
def implementMethod(method: Callable[..., object]) -> Callable[..., object]: (source)

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.

INVALID_WHILE_DESERIALIZING: TypedState[Any, Any] = (source)

Undocumented

Value
TypedState('automat:invalid-while-deserializing', None)

Undocumented

Value
ParamSpec('P')

Undocumented

Value
ParamSpec('P1')

Undocumented

Value
TypeVar('Core')

Undocumented

Value
TypeVar('Data')
InputProtocol = (source)

Undocumented

Value
TypeVar('InputProtocol')
OtherData = (source)

Undocumented

Value
TypeVar('OtherData')

Undocumented

Value
TypeVar('R')
AnyState: TypeAlias = (source)

Undocumented

Value
TypedState[Any, Any] | TypedDataState[Any, Any, Any, Any]
Decorator = (source)

Undocumented

Value
Callable[[Callable[P, R]], Callable[P, R]]
FactoryParams = (source)

Undocumented

hasInterface: bool = (source)

Undocumented

OtherFactoryParams = (source)

Undocumented