Enum Path

pub enum Path {
    ClientType(ClientTypePath),
    ClientState(ClientStatePath),
    ClientConsensusState(ClientConsensusStatePath),
    ClientConnection(ClientConnectionPath),
    Connection(ConnectionPath),
    Ports(PortPath),
    ChannelEnd(ChannelEndPath),
    SeqSend(SeqSendPath),
    SeqRecv(SeqRecvPath),
    SeqAck(SeqAckPath),
    Commitment(CommitmentPath),
    Ack(AckPath),
    Receipt(ReceiptPath),
    Upgrade(ClientUpgradePath),
}

The Path enum abstracts out the different sub-paths.

Variants

ClientType(ClientTypePath)

ClientState(ClientStatePath)

ClientConsensusState(ClientConsensusStatePath)

ClientConnection(ClientConnectionPath)

Connection(ConnectionPath)

Ports(PortPath)

ChannelEnd(ChannelEndPath)

SeqSend(SeqSendPath)

SeqRecv(SeqRecvPath)

SeqAck(SeqAckPath)

Commitment(CommitmentPath)

Ack(AckPath)

Receipt(ReceiptPath)

Upgrade(ClientUpgradePath)

Implementations

impl Path

pub fn is_provable(&self) -> bool

Indication if the path is provable.

pub fn into_bytes(self) -> Vec<u8>

into_bytes implementation

Trait Implementations

impl Clone for Path

fn clone(&self) -> Path

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Path

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

Formats the value using the given formatter.

impl Display for Path

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

Formats the value using the given formatter.

impl From<AckPath> for Path

fn from(original: AckPath) -> Path

Converts to this type from the input type.

impl From<ChannelEndPath> for Path

fn from(original: ChannelEndPath) -> Path

Converts to this type from the input type.

impl From<ClientConnectionPath> for Path

fn from(original: ClientConnectionPath) -> Path

Converts to this type from the input type.

impl From<ClientConsensusStatePath> for Path

fn from(original: ClientConsensusStatePath) -> Path

Converts to this type from the input type.

impl From<ClientStatePath> for Path

fn from(original: ClientStatePath) -> Path

Converts to this type from the input type.

impl From<ClientTypePath> for Path

fn from(original: ClientTypePath) -> Path

Converts to this type from the input type.

impl From<ClientUpgradePath> for Path

fn from(original: ClientUpgradePath) -> Path

Converts to this type from the input type.

impl From<CommitmentPath> for Path

fn from(original: CommitmentPath) -> Path

Converts to this type from the input type.

impl From<ConnectionPath> for Path

fn from(original: ConnectionPath) -> Path

Converts to this type from the input type.

impl From<PortPath> for Path

fn from(original: PortPath) -> Path

Converts to this type from the input type.

impl From<ReceiptPath> for Path

fn from(original: ReceiptPath) -> Path

Converts to this type from the input type.

impl From<SeqAckPath> for Path

fn from(original: SeqAckPath) -> Path

Converts to this type from the input type.

impl From<SeqRecvPath> for Path

fn from(original: SeqRecvPath) -> Path

Converts to this type from the input type.

impl From<SeqSendPath> for Path

fn from(original: SeqSendPath) -> Path

Converts to this type from the input type.

impl FromStr for Path

The FromStr trait allows paths encoded as strings to be parsed into Paths.

type Err = PathError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Path, <Path as FromStr>::Err>

Parses a string s to return a value of this type.

impl Hash for Path

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Path

fn cmp(&self, other: &Path) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Path

fn eq(&self, other: &Path) -> 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 PartialOrd for Path

fn partial_cmp(&self, other: &Path) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Path

impl StructuralPartialEq for Path