Struct StoredInputState 

pub struct StoredInputState {
    pub state: InputState,
    pub seed: InputStateSeed,
}

Persisted bundle: shell InputState plus its InputStateSeed.

Used at the store boundary so the DSL-owned fields survive persistence without being re-shadowed onto InputState itself. Recovery treats the seed as a durable witness and re-enters the recovered facts through typed machine inputs; it does not hydrate DSL state directly from this bundle.

Fields

state: InputState

seed: InputStateSeed

Implementations

impl StoredInputState

pub fn new_accepted(input_id: InputId) -> Self

Convenience: freshly-accepted bundle.

Trait Implementations

impl Clone for StoredInputState

fn clone(&self) -> StoredInputState

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StoredInputState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StoredInputState

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Serialize for StoredInputState

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.