Struct FingerprintBuilder 

pub struct FingerprintBuilder<'a, W: WorkflowDefinition> { /* private fields */ }

Collects the states a fingerprint covers.

Implementations

impl<'a, W: WorkflowDefinition> FingerprintBuilder<'a, W>

pub fn at(self, name: impl Into<String>, state: Option<W::State>) -> Self

Adds a state to pin, under a name a diff can refer to.

Choose states that mean something: the empty case, one obligation closed, the phase that raises a card, and each terminal outcome. A fingerprint over states nobody reaches pins nothing worth pinning.

pub fn build(self) -> ProjectionFingerprint

Projects every state and reduces each view to its contract.

Trait Implementations

impl<'a, W: Debug + WorkflowDefinition> Debug for FingerprintBuilder<'a, W>

where W::State: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.