ViewReflex

vest_lib::utils

Trait ViewReflex

pub trait ViewReflexwhere
    Self: Sized + View<V = Self>,{
    // Required method
    proof fn reflex(&self);
}

Expand description

Helper trait for types that have a reflexive view.

Required Methods§

proof fn reflex(&self)

ensures

self@ == self,

Reflexivity proof for the view.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

impl ViewReflex for bool

proof fn reflex(&self)

impl ViewReflex for i8

proof fn reflex(&self)

impl ViewReflex for i16

proof fn reflex(&self)

impl ViewReflex for i32

proof fn reflex(&self)

impl ViewReflex for i64

proof fn reflex(&self)

impl ViewReflex for i128

proof fn reflex(&self)

impl ViewReflex for isize

proof fn reflex(&self)

impl ViewReflex for u8

proof fn reflex(&self)

impl ViewReflex for u16

proof fn reflex(&self)

impl ViewReflex for u32

proof fn reflex(&self)

impl ViewReflex for u64

proof fn reflex(&self)

impl ViewReflex for u128

proof fn reflex(&self)

impl ViewReflex for ()

proof fn reflex(&self)

impl ViewReflex for usize

proof fn reflex(&self)

Implementors§