Trait ResultAdditionalSpecFns 

pub trait ResultAdditionalSpecFns<T, E> {
    // Required methods
    fn is_Ok(&self) -> bool;
    fn get_Ok_0(&self) -> T;
    fn arrow_Ok_0(&self) -> T;
    fn is_Err(&self) -> bool;
    fn get_Err_0(&self) -> E;
    fn arrow_Err_0(&self) -> E;
    fn tracked_unwrap(self) -> T;
    fn tracked_unwrap_err(self) -> E;
    fn tracked_expect(self, msg: &str) -> T;
    fn tracked_expect_err(self, msg: &str) -> E;
}

Required Methods

fn is_Ok(&self) -> bool

👎Deprecated:

is_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html

fn get_Ok_0(&self) -> T

👎Deprecated:

get_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html

fn arrow_Ok_0(&self) -> T

fn is_Err(&self) -> bool

👎Deprecated:

is_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html

fn get_Err_0(&self) -> E

👎Deprecated:

get_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html

fn arrow_Err_0(&self) -> E

fn tracked_unwrap(self) -> T

fn tracked_unwrap_err(self) -> E

fn tracked_expect(self, msg: &str) -> T

fn tracked_expect_err(self, msg: &str) -> E

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<T, E> ResultAdditionalSpecFns<T, E> for Result<T, E>

fn is_Ok(&self) -> bool

👎Deprecated:

is_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html

fn get_Ok_0(&self) -> T

👎Deprecated:

get_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html

fn arrow_Ok_0(&self) -> T

fn is_Err(&self) -> bool

👎Deprecated:

is_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html

fn get_Err_0(&self) -> E

👎Deprecated:

get_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html

fn arrow_Err_0(&self) -> E

fn tracked_unwrap(self) -> T

fn tracked_unwrap_err(self) -> E

fn tracked_expect(self, msg: &str) -> T

fn tracked_expect_err(self, msg: &str) -> E

Implementors