Trait DeterministicBrick 

pub trait DeterministicBrick: Brick {
    type State: Clone + Default;
    type Input;
    type Output;

    // Required method
    fn execute_pure(
        state: Self::State,
        input: Self::Input,
    ) -> Result<(Self::State, Self::Output), BrickError>;

    // Provided methods
    fn initial_state() -> Self::State { ... }
    fn state_dependencies(&self) -> &[&str] { ... }
}

Trait for bricks with deterministic, pure functional execution

Required Associated Types

type State: Clone + Default

State type (must be cloneable for snapshots)

type Input

Input type

type Output

Output type

Required Methods

fn execute_pure( state: Self::State, input: Self::Input, ) -> Result<(Self::State, Self::Output), BrickError>

Pure function: (state, input) → (new_state, output)

This function MUST be:

• Deterministic: same inputs → same outputs
• Pure: no side effects
• Total: always returns or errors (no panics)

Provided Methods

fn initial_state() -> Self::State

Create initial state

fn state_dependencies(&self) -> &[&str]

Get state dependencies for determinism verification

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors