Trait cold_io::State

pub trait State<R, W> where
    R: ReadOnce,
    W: WriteOnce, {
    type Ext;
    type Rng;
    fn accept(
        &mut self, 
        proposal: Proposal<R, W, Self::Ext, Self::Rng>
    ) -> Request;
}

The deterministic state machine. It accepts proposals from network and issues requests. All business logic should be implemented inside.

Associated Types

type Ext

Some user defined inputs to the state machine

type Rng

Randomness needed by the state machine

Required methods

fn accept(&mut self, proposal: Proposal<R, W, Self::Ext, Self::Rng>) -> Request

In order to preserve determinism, it should be the only input to the state machine.

Implementors