Struct sc_finality_grandpa::FinalityProof [−][src]
pub struct FinalityProof<Header: HeaderT> { pub block: Header::Hash, pub justification: Vec<u8>, pub unknown_headers: Vec<Header>, }
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
impl<Header: Clone + HeaderT> Clone for FinalityProof<Header> where
Header::Hash: Clone,
[src]
impl<Header: Clone + HeaderT> Clone for FinalityProof<Header> where
Header::Hash: Clone,
[src]fn clone(&self) -> FinalityProof<Header>
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<Header: HeaderT> Decode for FinalityProof<Header> where
Header::Hash: Decode,
Header::Hash: Decode,
Vec<Header>: Decode,
Vec<Header>: Decode,
[src]
impl<Header: HeaderT> Decode for FinalityProof<Header> where
Header::Hash: Decode,
Header::Hash: Decode,
Vec<Header>: Decode,
Vec<Header>: Decode,
[src]impl<Header: HeaderT> Encode for FinalityProof<Header> where
Header::Hash: Encode,
Header::Hash: Encode,
Vec<Header>: Encode,
Vec<Header>: Encode,
[src]
impl<Header: HeaderT> Encode for FinalityProof<Header> where
Header::Hash: Encode,
Header::Hash: Encode,
Vec<Header>: Encode,
Vec<Header>: Encode,
[src]fn encode_to<__CodecOutputEdqy: Output + ?Sized>(
&self,
__codec_dest_edqy: &mut __CodecOutputEdqy
)
[src]
&self,
__codec_dest_edqy: &mut __CodecOutputEdqy
)
pub fn size_hint(&self) -> usize
[src]
pub fn encode(&self) -> Vec<u8, Global>
[src]
pub fn using_encoded<R, F>(&self, f: F) -> R where
F: FnOnce(&[u8]) -> R,
[src]
F: FnOnce(&[u8]) -> R,
pub fn encoded_size(&self) -> usize
[src]
impl<Header: PartialEq + HeaderT> PartialEq<FinalityProof<Header>> for FinalityProof<Header> where
Header::Hash: PartialEq,
[src]
impl<Header: PartialEq + HeaderT> PartialEq<FinalityProof<Header>> for FinalityProof<Header> where
Header::Hash: PartialEq,
[src]fn eq(&self, other: &FinalityProof<Header>) -> bool
[src]
fn ne(&self, other: &FinalityProof<Header>) -> bool
[src]
impl<Header: HeaderT> EncodeLike<FinalityProof<Header>> for FinalityProof<Header> where
Header::Hash: Encode,
Header::Hash: Encode,
Vec<Header>: Encode,
Vec<Header>: Encode,
[src]
Header::Hash: Encode,
Header::Hash: Encode,
Vec<Header>: Encode,
Vec<Header>: Encode,
impl<Header: HeaderT> StructuralPartialEq for FinalityProof<Header>
[src]
Auto Trait Implementations
impl<Header> RefUnwindSafe for FinalityProof<Header> where
Header: RefUnwindSafe,
<Header as Header>::Hash: RefUnwindSafe,
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,
Header: Unpin,
<Header as Header>::Hash: Unpin,
impl<Header> UnwindSafe for FinalityProof<Header> where
Header: UnwindSafe,
<Header as Header>::Hash: UnwindSafe,
Header: UnwindSafe,
<Header as Header>::Hash: UnwindSafe,
Blanket Implementations
impl<T> CheckedConversion for T
[src]
impl<T> CheckedConversion for T
[src]pub fn checked_from<T>(t: T) -> Option<Self> where
Self: TryFrom<T>,
[src]
Self: TryFrom<T>,
pub fn checked_into<T>(self) -> Option<T> where
Self: TryInto<T>,
[src]
Self: TryInto<T>,
impl<T> DecodeLimit for T where
T: Decode,
[src]
impl<T> DecodeLimit for T where
T: Decode,
[src]impl<T> Instrument for T
[src]
impl<T> Instrument for T
[src]pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[src]
impl<T> Instrument for T
[src]
impl<T> Instrument for T
[src]pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[src]
impl<T, Outer> IsWrappedBy<Outer> for T where
T: From<Outer>,
Outer: AsRef<T> + AsMut<T> + From<T>,
[src]
impl<T, Outer> IsWrappedBy<Outer> for T where
T: From<Outer>,
Outer: AsRef<T> + AsMut<T> + From<T>,
[src]impl<T> SaturatedConversion for T
[src]
impl<T> SaturatedConversion for T
[src]pub fn saturated_from<T>(t: T) -> Self where
Self: UniqueSaturatedFrom<T>,
[src]
Self: UniqueSaturatedFrom<T>,
pub fn saturated_into<T>(self) -> T where
Self: UniqueSaturatedInto<T>,
[src]
Self: UniqueSaturatedInto<T>,
impl<S, T> UncheckedInto<T> for S where
T: UncheckedFrom<S>,
[src]
impl<S, T> UncheckedInto<T> for S where
T: UncheckedFrom<S>,
[src]pub fn unchecked_into(self) -> T
[src]
impl<T, S> UniqueSaturatedInto<T> for S where
T: Bounded,
S: TryInto<T>,
[src]
impl<T, S> UniqueSaturatedInto<T> for S where
T: Bounded,
S: TryInto<T>,
[src]pub fn unique_saturated_into(self) -> T
[src]
impl<T> WithSubscriber for T
[src]
impl<T> WithSubscriber for T
[src]pub fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
[src]
S: Into<Dispatch>,
pub fn with_current_subscriber(self) -> WithDispatch<Self>
[src]
impl<S> Codec for S where
S: Decode + Encode,
[src]
S: Decode + Encode,
impl<'_, '_, T> EncodeLike<&'_ &'_ T> for T where
T: Encode,
[src]
T: Encode,
impl<'_, T> EncodeLike<&'_ T> for T where
T: Encode,
[src]
T: Encode,
impl<'_, T> EncodeLike<&'_ mut T> for T where
T: Encode,
[src]
T: Encode,
impl<T> EncodeLike<Arc<T>> for T where
T: Encode,
[src]
T: Encode,
impl<T> EncodeLike<Box<T, Global>> for T where
T: Encode,
[src]
T: Encode,
impl<'a, T> EncodeLike<Cow<'a, T>> for T where
T: ToOwned + Encode,
[src]
T: ToOwned + Encode,
impl<T> EncodeLike<Rc<T>> for T where
T: Encode,
[src]
T: Encode,
impl<S> FullCodec for S where
S: Decode + FullEncode,
[src]
S: Decode + FullEncode,
impl<S> FullEncode for S where
S: Encode + EncodeLike<S>,
[src]
S: Encode + EncodeLike<S>,
impl<T> MaybeDebug for T where
T: Debug,
[src]
T: Debug,
impl<T> MaybeDebug for T where
T: Debug,
[src]
T: Debug,
impl<T> MaybeRefUnwindSafe for T where
T: RefUnwindSafe,
[src]
T: RefUnwindSafe,