Trait OptionAdditionalFns
pub trait OptionAdditionalFns<T>: Sized {
// Required methods
fn is_Some(&self) -> bool;
fn get_Some_0(&self) -> T;
fn is_None(&self) -> bool;
fn arrow_Some_0(&self) -> T;
fn arrow_0(&self) -> T;
fn tracked_unwrap(self) -> T;
fn tracked_expect(self, msg: &str) -> T;
fn tracked_borrow(&self) -> &T;
fn tracked_take(&mut self) -> T;
}Required Methods§
fn is_Some(&self) -> bool
is_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html
fn get_Some_0(&self) -> T
get_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html
fn is_None(&self) -> bool
is_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html
fn arrow_Some_0(&self) -> T
fn arrow_0(&self) -> T
fn tracked_unwrap(self) -> T
fn tracked_expect(self, msg: &str) -> T
fn tracked_borrow(&self) -> &T
fn tracked_take(&mut self) -> T
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".
Implementations on Foreign Types§
§impl<T> OptionAdditionalFns<T> for Option<T>
impl<T> OptionAdditionalFns<T> for Option<T>
§fn tracked_take(&mut self) -> T
fn tracked_take(&mut self) -> T
Similar to Option::take
§fn is_Some(&self) -> bool
fn is_Some(&self) -> bool
is_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html
§fn get_Some_0(&self) -> T
fn get_Some_0(&self) -> T
get_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html
§fn is_None(&self) -> bool
fn is_None(&self) -> bool
is_Variant is deprecated - use -> or matches instead: https://verus-lang.github.io/verus/guide/datatypes_enum.html