Trait DeepViewClone

Source

pub trait DeepViewClone: Sized + DeepView {
    // Required method
    exec fn deep_clone(&self) -> res : Self;
}

Expand description

Cloned objects have the same deep view

Required Methods§

Source

exec fn deep_clone(&self) -> res : Self

ensures

res.deep_view() == self.deep_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§

Source §

exec fn deep_clone(&self) -> Self

TODO: verify this

Trait DeepViewCloneCopy item path

Required Methods§

exec fn deep_clone(&self) -> res : Self

Dyn Compatibility§

Implementations on Foreign Types§

impl DeepViewClone for bool

exec fn deep_clone(&self) -> Self

impl DeepViewClone for char

exec fn deep_clone(&self) -> Self

impl DeepViewClone for i8

exec fn deep_clone(&self) -> Self

impl DeepViewClone for i16

exec fn deep_clone(&self) -> Self

impl DeepViewClone for i32

exec fn deep_clone(&self) -> Self

impl DeepViewClone for i64

exec fn deep_clone(&self) -> Self

impl DeepViewClone for i128

exec fn deep_clone(&self) -> Self

impl DeepViewClone for isize

exec fn deep_clone(&self) -> Self

impl DeepViewClone for u8

exec fn deep_clone(&self) -> Self

impl DeepViewClone for u16

exec fn deep_clone(&self) -> Self

impl DeepViewClone for u32

exec fn deep_clone(&self) -> Self

impl DeepViewClone for u64

exec fn deep_clone(&self) -> Self

impl DeepViewClone for u128

exec fn deep_clone(&self) -> Self

impl DeepViewClone for usize

exec fn deep_clone(&self) -> Self

impl DeepViewClone for String

exec fn deep_clone(&self) -> Self

impl<T1: DeepViewClone, T2: DeepViewClone> DeepViewClone for (T1, T2)

exec fn deep_clone(&self) -> Self

impl<T: DeepViewClone> DeepViewClone for Option<T>

exec fn deep_clone(&self) -> Self

impl<T: DeepViewClone> DeepViewClone for Vec<T>

exec fn deep_clone(&self) -> Self

Implementors§

Trait DeepViewClone