Struct sc_finality_grandpa::FinalityProofFragment [−][src]
Single fragment of proof-of-finality.
Finality for block B is proved by providing:
- the justification for the descendant block F;
- headers sub-chain (B; F] if B != F;
- proof of GRANDPA::authorities() if the set changes at block 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 (U; F] that we believe are unknown to the caller. Ordered.
Optional proof of execution of GRANDPA::authorities() at the block
.
Trait Implementations
impl<Header: Clone + HeaderT> Clone for FinalityProofFragment<Header> where
Header::Hash: Clone,
[src]
Header::Hash: Clone,
fn clone(&self) -> FinalityProofFragment<Header>
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<Header: Debug + HeaderT> Debug for FinalityProofFragment<Header> where
Header::Hash: Debug,
[src]
Header::Hash: Debug,
impl<Header: HeaderT> Decode for FinalityProofFragment<Header> where
Header::Hash: Decode,
Header::Hash: Decode,
Vec<Header>: Decode,
Vec<Header>: Decode,
[src]
Header::Hash: Decode,
Header::Hash: Decode,
Vec<Header>: Decode,
Vec<Header>: Decode,
fn decode<__CodecInputEdqy: Input>(
__codec_input_edqy: &mut __CodecInputEdqy
) -> Result<Self, Error>
[src]
__codec_input_edqy: &mut __CodecInputEdqy
) -> Result<Self, Error>
impl<Header: HeaderT> Encode for FinalityProofFragment<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,
fn encode_to<__CodecOutputEdqy: Output>(
&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,
impl<Header: HeaderT> EncodeLike<FinalityProofFragment<Header>> for FinalityProofFragment<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: PartialEq + HeaderT> PartialEq<FinalityProofFragment<Header>> for FinalityProofFragment<Header> where
Header::Hash: PartialEq,
[src]
Header::Hash: PartialEq,
fn eq(&self, other: &FinalityProofFragment<Header>) -> bool
[src]
fn ne(&self, other: &FinalityProofFragment<Header>) -> bool
[src]
impl<Header: HeaderT> StructuralPartialEq for FinalityProofFragment<Header>
[src]
Auto Trait Implementations
impl<Header> RefUnwindSafe for FinalityProofFragment<Header> where
Header: RefUnwindSafe,
<Header as Header>::Hash: RefUnwindSafe,
Header: RefUnwindSafe,
<Header as Header>::Hash: RefUnwindSafe,
impl<Header> Send for FinalityProofFragment<Header>
impl<Header> Sync for FinalityProofFragment<Header>
impl<Header> Unpin for FinalityProofFragment<Header> where
Header: Unpin,
<Header as Header>::Hash: Unpin,
Header: Unpin,
<Header as Header>::Hash: Unpin,
impl<Header> UnwindSafe for FinalityProofFragment<Header> where
Header: UnwindSafe,
<Header as Header>::Hash: UnwindSafe,
Header: UnwindSafe,
<Header as Header>::Hash: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut 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<S> Codec for S where
S: Encode + Decode,
[src]
S: Encode + Decode,
impl<T> DecodeAll for T where
T: Decode,
[src]
T: Decode,
impl<T> DecodeLimit for T where
T: Decode,
[src]
T: Decode,
pub fn decode_all_with_depth_limit(limit: u32, input: &[u8]) -> Result<T, Error>
[src]
pub fn decode_with_depth_limit(limit: u32, input: &[u8]) -> Result<T, Error>
[src]
impl<T> DynClone for T where
T: Clone,
[src]
T: Clone,
pub fn __clone_box(&self, Private) -> *mut ()
[src]
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: Encode + ToOwned,
[src]
T: Encode + ToOwned,
impl<T> EncodeLike<Rc<T>> for T where
T: Encode,
[src]
T: Encode,
impl<T> From<T> for T
[src]
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> 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]
pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, Outer> IsWrappedBy<Outer> for T where
T: From<Outer>,
Outer: AsRef<T> + AsMut<T> + From<T>,
[src]
T: From<Outer>,
Outer: AsRef<T> + AsMut<T> + From<T>,
pub fn from_ref(outer: &Outer) -> &T
[src]
Get a reference to the inner from the outer.
pub fn from_mut(outer: &mut Outer) -> &mut T
[src]
Get a mutable reference to the inner from the outer.
impl<T> KeyedVec for T where
T: Codec,
[src]
T: Codec,
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,
impl<T> Pointable for T
[src]
pub const ALIGN: usize
[src]
type Init = T
The type for initializers.
pub unsafe fn init(init: <T as Pointable>::Init) -> usize
[src]
pub unsafe fn deref<'a>(ptr: usize) -> &'a T
[src]
pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
[src]
pub unsafe fn drop(ptr: usize)
[src]
impl<T> Same<T> for T
[src]
type Output = T
Should always be Self
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<T> SendSyncUnwindSafe for T where
T: Send + Sync + UnwindSafe + ?Sized,
[src]
T: Send + Sync + UnwindSafe + ?Sized,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<S, T> UncheckedInto<T> for S where
T: UncheckedFrom<S>,
[src]
T: UncheckedFrom<S>,
pub fn unchecked_into(self) -> T
[src]
impl<T, S> UniqueSaturatedInto<T> for S where
T: Bounded,
S: TryInto<T>,
[src]
T: Bounded,
S: TryInto<T>,
pub fn unique_saturated_into(self) -> T
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
[src]
V: MultiLane<T>,