Skip to main content

Transaction

harmos_runtime::prelude

Trait Transaction 

Source 
pub trait Transaction<S> {
    type Error;

    // Required methods
    fn check(&self, state: &S) -> Result<(), Self::Error>;
    fn apply(&self, state: &mut S);

    // Provided method
    fn records(&self, _state: &S, _out: &mut Records) { ... }
}

Required Associated Types§

Source

type Error

Required Methods§

Source

fn check(&self, state: &S) -> Result<(), Self::Error>

Source

fn apply(&self, state: &mut S)

Provided Methods§

Source

fn records(&self, _state: &S, _out: &mut Records)

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§