Skip to main content

Checked

Trait Checked 

Source
pub trait Checked {
    // Required method
    fn check(&self) -> Result<()>;
}
Expand description

A state that can say whether it is one a provider may act on.

Shape is what serde proves, and shape is not enough for a document that came off a disk: a session token names a file under the state root and a branch name goes on to spell a ref, so a seeded state that carries an unusable one is refused where it is read rather than wherever it first happens to be used.

Required Methods§

Source

fn check(&self) -> Result<()>

Refuse this state, naming what is wrong with it.

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§

Source§

impl Checked for HostState

A seeded host side is refused if it holds a change nothing could address.

Source§

impl Checked for VcsState

A seeded repository side is refused if it holds a session nothing could act on.