Struct omniflix_std::types::ics23::NonExistenceProof

pub struct NonExistenceProof {
    pub key: Vec<u8>,
    pub left: Option<ExistenceProof>,
    pub right: Option<ExistenceProof>,
}

NonExistenceProof takes a proof of two neighbors, one left of the desired key, one right of the desired key. If both proofs are valid AND they are neighbors, then there is no valid proof for the given key.

Fields

key: Vec<u8>

TODO: remove this as unnecessary??? we prove a range

left: Option<ExistenceProof>

right: Option<ExistenceProof>

Implementations

impl NonExistenceProof

pub const TYPE_URL: &'static str = "/ics23.NonExistenceProof"

pub fn to_proto_bytes(&self) -> Vec<u8>

pub fn to_any(&self) -> Any

Trait Implementations

impl Clone for NonExistenceProof

fn clone(&self) -> NonExistenceProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NonExistenceProof

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

Formats the value using the given formatter.

impl Default for NonExistenceProof

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for NonExistenceProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<NonExistenceProof> for Binary

fn from(msg: NonExistenceProof) -> Self

Converts to this type from the input type.

impl<T> From<NonExistenceProof> for CosmosMsg<T>

fn from(msg: NonExistenceProof) -> Self

Converts to this type from the input type.

impl JsonSchema for NonExistenceProof

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Message for NonExistenceProof

fn encoded_len(&self) -> usize

Returns the encoded length of the message without a length delimiter.

fn clear(&mut self)

Clears the message, resetting all fields to their default.

fn encode<B>(&self, buf: &mut B) -> Result<(), EncodeError>where B: BufMut, Self: Sized,

Encodes the message to a buffer.

fn encode_to_vec(&self) -> Vec<u8>where Self: Sized,

Encodes the message to a newly allocated buffer.

fn encode_length_delimited<B>(&self, buf: &mut B) -> Result<(), EncodeError>where B: BufMut, Self: Sized,

Encodes the message with a length-delimiter to a buffer.

fn encode_length_delimited_to_vec(&self) -> Vec<u8>where Self: Sized,

Encodes the message with a length-delimiter to a newly allocated buffer.

fn decode<B>(buf: B) -> Result<Self, DecodeError>where B: Buf, Self: Default,

Decodes an instance of the message from a buffer.

fn decode_length_delimited<B>(buf: B) -> Result<Self, DecodeError>where B: Buf, Self: Default,

Decodes a length-delimited instance of the message from the buffer.

fn merge<B>(&mut self, buf: B) -> Result<(), DecodeError>where B: Buf, Self: Sized,

Decodes an instance of the message from a buffer, and merges it into self.

fn merge_length_delimited<B>(&mut self, buf: B) -> Result<(), DecodeError>where B: Buf, Self: Sized,

Decodes a length-delimited instance of the message from buffer, and merges it into self.

impl PartialEq for NonExistenceProof

fn eq(&self, other: &NonExistenceProof) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for NonExistenceProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<Binary> for NonExistenceProof

type Error = StdError

The type returned in the event of a conversion error.

fn try_from(binary: Binary) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SubMsgResult> for NonExistenceProof

type Error = StdError

The type returned in the event of a conversion error.

fn try_from(result: SubMsgResult) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for NonExistenceProof

impl StructuralEq for NonExistenceProof

impl StructuralPartialEq for NonExistenceProof