Definition<'TState, 'TEvent, 'TEffect> (TDesu.FSharp)

StateMachine.Definition<'TState, 'TEvent, 'TEffect> Type

Compiled state machine definition.

Record Field	Description
`EventTag` Full Usage: `EventTag` Field type: `'TEvent -> int`	Extract discriminator tag from event (e.g., DU case index). Field type: `'TEvent -> int`
`InvalidTransition` Full Usage: `InvalidTransition` Field type: `'TState -> 'TEvent -> string`	Handler for undefined transitions. Field type: `'TState -> 'TEvent -> string`
`StateTag` Full Usage: `StateTag` Field type: `'TState -> int`	Extract discriminator tag from state (e.g., DU case index). Field type: `'TState -> int`
`Transitions` Full Usage: `Transitions` Field type: `Map<(int * int), ('TState -> 'TEvent -> Result<TransitionResult<'TState, 'TEffect>, string>)>`	Transition handlers indexed by (stateTag, eventTag). Field type: `Map<(int * int), ('TState -> 'TEvent -> Result<TransitionResult<'TState, 'TEffect>, string>)>`