Struct VersionedProof 

pub struct VersionedProof<T: Proof<A>, A: Allocator = Global> {
    pub proof: T,
    /* private fields */
}

Wrapper that prefixes a proof with its version and magic bytes.

Fields

proof: T

Implementations

impl<T: Proof<Global>> VersionedProof<T, Global>

pub fn new(proof: T) -> Self

Creates a new versioned proof with the global allocator.

impl<T: Proof<A>, A: Allocator> VersionedProof<T, A>

pub fn new_with_allocator(proof: T, allocator: A) -> Self

Creates a new versioned proof with the specified allocator.

pub fn proof(&self) -> &T

Returns a reference to the proof payload.

pub fn allocator(&self) -> &A

Returns a reference to the allocator used by this proof.

Trait Implementations

impl<T: Clone + Proof<A>, A: Clone + Allocator> Clone for VersionedProof<T, A>

fn clone(&self) -> VersionedProof<T, A>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + Proof<A>, A: Debug + Allocator> Debug for VersionedProof<T, A>

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

Formats the value using the given formatter.

impl<T: Proof<A>, A: Allocator + Clone> DecodeIn<A> for VersionedProof<T, A>

fn decode_in(decoder: &mut impl Decoder, alloc: A) -> Result<Self, DecodeError>

See Decode::decode for details.

fn decode_trailing( decoder: &mut impl Decoder, alloc: A, ) -> Result<Option<Self>, DecodeError>

See Decode::decode_trailing for details and caveats.

impl<T: Proof<A>, A: Allocator> Deref for VersionedProof<T, A>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T: Proof<A>, A: Allocator> DerefMut for VersionedProof<T, A>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<T: Proof<A> + Display, A: Allocator> Display for VersionedProof<T, A>

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

Formats the value using the given formatter.

impl<T: Proof<A>, A: Allocator> Encode for VersionedProof<T, A>

fn encode(&self, encoder: &mut impl Encoder) -> Result<(), EncodeError>

impl<T: PartialEq + Proof<A>, A: PartialEq + Allocator> PartialEq for VersionedProof<T, A>

fn eq(&self, other: &VersionedProof<T, A>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Eq + Proof<A>, A: Eq + Allocator> Eq for VersionedProof<T, A>

impl<T: Proof<A>, A: Allocator> StructuralPartialEq for VersionedProof<T, A>