Struct sc_consensus_grandpa::FinalityProof
source · pub struct FinalityProof<Header: HeaderT> {
pub block: Header::Hash,
pub justification: Vec<u8>,
pub unknown_headers: Vec<Header>,
}
Expand description
Finality for block B is proved by providing:
- the justification for the descendant block F;
- headers sub-chain (B; F] if B != F;
Fields§
§block: Header::Hash
The hash of block F for which justification is provided.
justification: Vec<u8>
Justification of the block F.
unknown_headers: Vec<Header>
The set of headers in the range (B; F] that we believe are unknown to the caller. Ordered.
Trait Implementations§
source§impl<Header: Clone + HeaderT> Clone for FinalityProof<Header>where
Header::Hash: Clone,
impl<Header: Clone + HeaderT> Clone for FinalityProof<Header>where Header::Hash: Clone,
source§fn clone(&self) -> FinalityProof<Header>
fn clone(&self) -> FinalityProof<Header>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<Header: HeaderT> Decode for FinalityProof<Header>where
Header::Hash: Decode,
Vec<Header>: Decode,
impl<Header: HeaderT> Decode for FinalityProof<Header>where Header::Hash: Decode, Vec<Header>: Decode,
source§fn decode<__CodecInputEdqy: Input>(
__codec_input_edqy: &mut __CodecInputEdqy
) -> Result<Self, Error>
fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy ) -> Result<Self, Error>
Attempt to deserialise the value from input.
§fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>
) -> Result<DecodeFinished, Error>where
I: Input,
fn decode_into<I>( input: &mut I, dst: &mut MaybeUninit<Self> ) -> Result<DecodeFinished, Error>where I: Input,
Attempt to deserialize the value from input into a pre-allocated piece of memory. Read more
§fn skip<I>(input: &mut I) -> Result<(), Error>where
I: Input,
fn skip<I>(input: &mut I) -> Result<(), Error>where I: Input,
Attempt to skip the encoded value from input. Read more
§fn encoded_fixed_size() -> Option<usize>
fn encoded_fixed_size() -> Option<usize>
Returns the fixed encoded size of the type. Read more
source§impl<Header: HeaderT> Encode for FinalityProof<Header>where
Header::Hash: Encode,
Vec<Header>: Encode,
impl<Header: HeaderT> Encode for FinalityProof<Header>where Header::Hash: Encode, Vec<Header>: Encode,
source§fn encode_to<__CodecOutputEdqy: Output + ?Sized>(
&self,
__codec_dest_edqy: &mut __CodecOutputEdqy
)
fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy )
Convert self to a slice and append it to the destination.
§fn using_encoded<R, F>(&self, f: F) -> Rwhere
F: FnOnce(&[u8]) -> R,
fn using_encoded<R, F>(&self, f: F) -> Rwhere F: FnOnce(&[u8]) -> R,
Convert self to a slice and then invoke the given closure with it.
§fn encoded_size(&self) -> usize
fn encoded_size(&self) -> usize
Calculates the encoded size. Read more
source§impl<Header: PartialEq + HeaderT> PartialEq<FinalityProof<Header>> for FinalityProof<Header>where
Header::Hash: PartialEq,
impl<Header: PartialEq + HeaderT> PartialEq<FinalityProof<Header>> for FinalityProof<Header>where Header::Hash: PartialEq,
source§fn eq(&self, other: &FinalityProof<Header>) -> bool
fn eq(&self, other: &FinalityProof<Header>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl<Header: HeaderT> EncodeLike<FinalityProof<Header>> for FinalityProof<Header>where Header::Hash: Encode, Vec<Header>: Encode,
impl<Header: HeaderT> StructuralPartialEq for FinalityProof<Header>
Auto Trait Implementations§
impl<Header> RefUnwindSafe for FinalityProof<Header>where Header: RefUnwindSafe, <Header as Header>::Hash: RefUnwindSafe,
impl<Header> Send for FinalityProof<Header>
impl<Header> Sync for FinalityProof<Header>
impl<Header> Unpin for FinalityProof<Header>where Header: Unpin, <Header as Header>::Hash: Unpin,
impl<Header> UnwindSafe for FinalityProof<Header>where Header: UnwindSafe, <Header as Header>::Hash: UnwindSafe,
Blanket Implementations§
source§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
§impl<T> DecodeAll for Twhere
T: Decode,
impl<T> DecodeAll for Twhere T: Decode,
§fn decode_all(input: &mut &[u8]) -> Result<T, Error>
fn decode_all(input: &mut &[u8]) -> Result<T, Error>
Decode
Self
and consume all of the given input data. Read more§impl<T> DecodeLimit for Twhere
T: Decode,
impl<T> DecodeLimit for Twhere T: Decode,
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T, Outer> IsWrappedBy<Outer> for Twhere
Outer: AsRef<T> + AsMut<T> + From<T>,
T: From<Outer>,
impl<T, Outer> IsWrappedBy<Outer> for Twhere Outer: AsRef<T> + AsMut<T> + From<T>, T: From<Outer>,
§impl<T> KeyedVec for Twhere
T: Codec,
impl<T> KeyedVec for Twhere T: Codec,
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
source§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere Self: UniqueSaturatedFrom<T>,
source§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere Self: UniqueSaturatedInto<T>,
Consume self to return an equivalent value of
T
. Read moresource§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere T: UncheckedFrom<S>,
source§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
The counterpart to
unchecked_from
.source§impl<T, S> UniqueSaturatedInto<T> for Swhere
T: Bounded,
S: TryInto<T>,
impl<T, S> UniqueSaturatedInto<T> for Swhere T: Bounded, S: TryInto<T>,
source§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
Consume self to return an equivalent value of
T
.