Enum Path

pub enum Path {
    NextClientSequence(NextClientSequencePath),
    NextConnectionSequence(NextConnectionSequencePath),
    NextChannelSequence(NextChannelSequencePath),
    ClientState(ClientStatePath),
    ClientConsensusState(ClientConsensusStatePath),
    ClientUpdateTime(ClientUpdateTimePath),
    ClientUpdateHeight(ClientUpdateHeightPath),
    ClientConnection(ClientConnectionPath),
    Connection(ConnectionPath),
    Ports(PortPath),
    ChannelEnd(ChannelEndPath),
    SeqSend(SeqSendPath),
    SeqRecv(SeqRecvPath),
    SeqAck(SeqAckPath),
    Commitment(CommitmentPath),
    Ack(AckPath),
    Receipt(ReceiptPath),
    UpgradeClientState(UpgradeClientStatePath),
    UpgradeConsensusState(UpgradeConsensusStatePath),
}

The Path enum abstracts out the different sub-paths.

Variants

NextClientSequence(NextClientSequencePath)

NextConnectionSequence(NextConnectionSequencePath)

NextChannelSequence(NextChannelSequencePath)

ClientState(ClientStatePath)

ClientConsensusState(ClientConsensusStatePath)

ClientUpdateTime(ClientUpdateTimePath)

ClientUpdateHeight(ClientUpdateHeightPath)

ClientConnection(ClientConnectionPath)

Connection(ConnectionPath)

Ports(PortPath)

ChannelEnd(ChannelEndPath)

SeqSend(SeqSendPath)

SeqRecv(SeqRecvPath)

SeqAck(SeqAckPath)

Commitment(CommitmentPath)

Ack(AckPath)

Receipt(ReceiptPath)

UpgradeClientState(UpgradeClientStatePath)

UpgradeConsensusState(UpgradeConsensusStatePath)

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_f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl From<AckPath> for Path

fn from(value: AckPath) -> Path

Converts to this type from the input type.

impl From<ChannelEndPath> for Path

fn from(value: ChannelEndPath) -> Path

Converts to this type from the input type.

impl From<ClientConnectionPath> for Path

fn from(value: ClientConnectionPath) -> Path

Converts to this type from the input type.

impl From<ClientConsensusStatePath> for Path

fn from(value: ClientConsensusStatePath) -> Path

Converts to this type from the input type.

impl From<ClientStatePath> for Path

fn from(value: ClientStatePath) -> Path

Converts to this type from the input type.

impl From<ClientUpdateHeightPath> for Path

fn from(value: ClientUpdateHeightPath) -> Path

Converts to this type from the input type.

impl From<ClientUpdateTimePath> for Path

fn from(value: ClientUpdateTimePath) -> Path

Converts to this type from the input type.

impl From<CommitmentPath> for Path

fn from(value: CommitmentPath) -> Path

Converts to this type from the input type.

impl From<ConnectionPath> for Path

fn from(value: ConnectionPath) -> Path

Converts to this type from the input type.

impl From<NextChannelSequencePath> for Path

fn from(value: NextChannelSequencePath) -> Path

Converts to this type from the input type.

impl From<NextClientSequencePath> for Path

fn from(value: NextClientSequencePath) -> Path

Converts to this type from the input type.

impl From<NextConnectionSequencePath> for Path

fn from(value: NextConnectionSequencePath) -> Path

Converts to this type from the input type.

impl From<PortPath> for Path

fn from(value: PortPath) -> Path

Converts to this type from the input type.

impl From<ReceiptPath> for Path

fn from(value: ReceiptPath) -> Path

Converts to this type from the input type.

impl From<SeqAckPath> for Path

fn from(value: SeqAckPath) -> Path

Converts to this type from the input type.

impl From<SeqRecvPath> for Path

fn from(value: SeqRecvPath) -> Path

Converts to this type from the input type.

impl From<SeqSendPath> for Path

fn from(value: SeqSendPath) -> Path

Converts to this type from the input type.

impl From<UpgradeClientStatePath> for Path

fn from(value: UpgradeClientStatePath) -> Path

Converts to this type from the input type.

impl From<UpgradeConsensusStatePath> for Path

fn from(value: UpgradeConsensusStatePath) -> 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