pub trait BasicStage<'path, 'document> {
type Id: Copy;
type Document: Copy;
type Generation: Copy;
type Signer: SignerReceipt<'path, 'document, Id = Self::Id, Document = Self::Document, Generation = Self::Generation>;
type Counters: CounterReceipts<'path, 'document, Id = Self::Id, Document = Self::Document, Generation = Self::Generation>;
// Required methods
fn signer(&self) -> &Self::Signer;
fn counters(&self) -> &Self::Counters;
fn all_requirements_met(&self) -> bool;
}Expand description
A format’s basic stage: the signer and countersignature receipts it was built from, and whether every requirement of the format’s basic level holds.
Required Associated Types§
Sourcetype Generation: Copy
type Generation: Copy
Exact document generation.
Sourcetype Signer: SignerReceipt<'path, 'document, Id = Self::Id, Document = Self::Document, Generation = Self::Generation>
type Signer: SignerReceipt<'path, 'document, Id = Self::Id, Document = Self::Document, Generation = Self::Generation>
The signing-certificate binding receipt.
Sourcetype Counters: CounterReceipts<'path, 'document, Id = Self::Id, Document = Self::Document, Generation = Self::Generation>
type Counters: CounterReceipts<'path, 'document, Id = Self::Id, Document = Self::Document, Generation = Self::Generation>
The complete countersignature census.
Required Methods§
Sourcefn all_requirements_met(&self) -> bool
fn all_requirements_met(&self) -> bool
Every condition of the format’s basic level holds.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".