Skip to main content

FlipBack

Trait FlipBack 

Source
pub trait FlipBack {
    // Required method
    fn extract(&self) -> BackState;
}
Expand description

A black-box secondary engine that can only surface a locator for flip-back.

Secondaries implement FlipBack and never FlipDonor. That is the charter’s no-chain invariant (§4) expressed in the type system: there is no path to forward-donate a document to another secondary, so a flip is always one hop (primary ↔ secondary), re-rooting at the lossless source rather than chaining.

Required Methods§

Source

fn extract(&self) -> BackState

Extract the cheap locator (URL, scroll, form, cookies) the black box exposes.

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§