Trait DeepView 

pub trait DeepView {
    type V;

    // Required method
    fn deep_view(&self) -> Self::V;
}

Required Associated Types

type V

Required Methods

fn deep_view(&self) -> Self::V

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl DeepView for ()

type V = ()

fn deep_view(&self)

impl DeepView for String

Available on crate feature alloc and non-verus_verify_core only.

type V = Seq<char>

fn deep_view(&self) -> Seq<char>

impl DeepView for bool

type V = bool

fn deep_view(&self) -> bool

impl DeepView for char

type V = char

fn deep_view(&self) -> char

impl DeepView for i8

type V = i8

fn deep_view(&self) -> i8

impl DeepView for i16

type V = i16

fn deep_view(&self) -> i16

impl DeepView for i32

type V = i32

fn deep_view(&self) -> i32

impl DeepView for i64

type V = i64

fn deep_view(&self) -> i64

impl DeepView for i128

type V = i128

fn deep_view(&self) -> i128

impl DeepView for isize

type V = isize

fn deep_view(&self) -> isize

impl DeepView for str

Available on non-verus_verify_core only.

type V = Seq<char>

fn deep_view(&self) -> Seq<char>

impl DeepView for u8

type V = u8

fn deep_view(&self) -> u8

impl DeepView for u16

type V = u16

fn deep_view(&self) -> u16

impl DeepView for u32

type V = u32

fn deep_view(&self) -> u32

impl DeepView for u64

type V = u64

fn deep_view(&self) -> u64

impl DeepView for u128

type V = u128

fn deep_view(&self) -> u128

impl DeepView for usize

type V = usize

fn deep_view(&self) -> usize

impl<'a, T> DeepView for Cow<'a, T>

where T: DeepView + Clone,

Available on crate feature alloc only.

type V = <T as DeepView>::V

fn deep_view(&self) -> <Cow<'a, T> as DeepView>::V

impl<'a, T> DeepView for Cow<'a, [T]>

where T: DeepView + Clone,

Available on crate feature alloc only.

type V = Seq<<T as DeepView>::V>

fn deep_view(&self) -> <Cow<'a, [T]> as DeepView>::V

impl<'a> DeepView for Cow<'a, str>

Available on crate feature alloc only.

type V = Seq<char>

fn deep_view(&self) -> <Cow<'a, str> as DeepView>::V

impl<A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11> DeepView for (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView, A4: DeepView, A5: DeepView, A6: DeepView, A7: DeepView, A8: DeepView, A9: DeepView, A10: DeepView, A11: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V, <A8 as DeepView>::V, <A9 as DeepView>::V, <A10 as DeepView>::V, <A11 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V, <A8 as DeepView>::V, <A9 as DeepView>::V, <A10 as DeepView>::V, <A11 as DeepView>::V)

impl<A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10> DeepView for (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView, A4: DeepView, A5: DeepView, A6: DeepView, A7: DeepView, A8: DeepView, A9: DeepView, A10: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V, <A8 as DeepView>::V, <A9 as DeepView>::V, <A10 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V, <A8 as DeepView>::V, <A9 as DeepView>::V, <A10 as DeepView>::V)

impl<A0, A1, A2, A3, A4, A5, A6, A7, A8, A9> DeepView for (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView, A4: DeepView, A5: DeepView, A6: DeepView, A7: DeepView, A8: DeepView, A9: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V, <A8 as DeepView>::V, <A9 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V, <A8 as DeepView>::V, <A9 as DeepView>::V)

impl<A0, A1, A2, A3, A4, A5, A6, A7, A8> DeepView for (A0, A1, A2, A3, A4, A5, A6, A7, A8)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView, A4: DeepView, A5: DeepView, A6: DeepView, A7: DeepView, A8: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V, <A8 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V, <A8 as DeepView>::V)

impl<A0, A1, A2, A3, A4, A5, A6, A7> DeepView for (A0, A1, A2, A3, A4, A5, A6, A7)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView, A4: DeepView, A5: DeepView, A6: DeepView, A7: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V, <A7 as DeepView>::V)

impl<A0, A1, A2, A3, A4, A5, A6> DeepView for (A0, A1, A2, A3, A4, A5, A6)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView, A4: DeepView, A5: DeepView, A6: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V, <A6 as DeepView>::V)

impl<A0, A1, A2, A3, A4, A5> DeepView for (A0, A1, A2, A3, A4, A5)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView, A4: DeepView, A5: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V, <A5 as DeepView>::V)

impl<A0, A1, A2, A3, A4> DeepView for (A0, A1, A2, A3, A4)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView, A4: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V, <A4 as DeepView>::V)

impl<A0, A1, A2, A3> DeepView for (A0, A1, A2, A3)

where A0: DeepView, A1: DeepView, A2: DeepView, A3: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V, <A3 as DeepView>::V)

impl<A0, A1, A2> DeepView for (A0, A1, A2)

where A0: DeepView, A1: DeepView, A2: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V)

fn deep_view( &self, ) -> (<A0 as DeepView>::V, <A1 as DeepView>::V, <A2 as DeepView>::V)

impl<A0, A1> DeepView for (A0, A1)

where A0: DeepView, A1: DeepView,

type V = (<A0 as DeepView>::V, <A1 as DeepView>::V)

fn deep_view(&self) -> (<A0 as DeepView>::V, <A1 as DeepView>::V)

impl<A0> DeepView for (A0,)

where A0: DeepView,

type V = (<A0 as DeepView>::V,)

fn deep_view(&self) -> (<A0 as DeepView>::V,)

impl<A> DeepView for &A

where A: DeepView + ?Sized,

type V = <A as DeepView>::V

fn deep_view(&self) -> <A as DeepView>::V

impl<A> DeepView for Arc<A>

where A: DeepView,

Available on crate feature alloc only.

type V = <A as DeepView>::V

fn deep_view(&self) -> <A as DeepView>::V

impl<A> DeepView for Box<A>

where A: DeepView + ?Sized,

Available on crate feature alloc only.

type V = <A as DeepView>::V

fn deep_view(&self) -> <A as DeepView>::V

impl<A> DeepView for Rc<A>

where A: DeepView,

Available on crate feature alloc only.

type V = <A as DeepView>::V

fn deep_view(&self) -> <A as DeepView>::V

impl<Key, A> DeepView for BTreeSet<Key, A>

where Key: DeepView, A: Allocator + Clone,

type V = Set<<Key as DeepView>::V>

fn deep_view(&self) -> Set<<Key as DeepView>::V>

impl<Key, S, A> DeepView for HashSet<Key, S, A>

where Key: DeepView, A: Allocator,

Available on crate feature alloc and crate feature std and (verus_keep_ghost or crate feature allocator) only.

type V = Set<<Key as DeepView>::V>

fn deep_view(&self) -> Set<<Key as DeepView>::V>

impl<Key, Value, A> DeepView for BTreeMap<Key, Value, A>

where Key: DeepView, Value: DeepView, A: Allocator + Clone,

type V = Map<<Key as DeepView>::V, <Value as DeepView>::V>

fn deep_view(&self) -> Map<<Key as DeepView>::V, <Value as DeepView>::V>

impl<Key, Value, S, A> DeepView for HashMap<Key, Value, S, A>

where Key: DeepView, Value: DeepView, A: Allocator,

Available on crate feature alloc and crate feature std and (verus_keep_ghost or crate feature allocator) only.

type V = Map<<Key as DeepView>::V, <Value as DeepView>::V>

fn deep_view(&self) -> Map<<Key as DeepView>::V, <Value as DeepView>::V>

impl<T, A> DeepView for Vec<T, A>

where T: DeepView, A: Allocator,

Available on crate feature alloc and (verus_keep_ghost or crate feature allocator) only.

type V = Seq<<T as DeepView>::V>

fn deep_view(&self) -> Seq<<T as DeepView>::V>

impl<T, A> DeepView for VecDeque<T, A>

where T: DeepView, A: Allocator,

type V = Seq<<T as DeepView>::V>

fn deep_view(&self) -> Seq<<T as DeepView>::V>

impl<T, const N: usize> DeepView for [T; N]

where T: DeepView,

type V = Seq<<T as DeepView>::V>

fn deep_view(&self) -> Seq<<T as DeepView>::V>

impl<T> DeepView for Option<T>

where T: DeepView,

type V = Option<<T as DeepView>::V>

fn deep_view(&self) -> Option<<T as DeepView>::V>

impl<T> DeepView for [T]

where T: DeepView,

type V = Seq<<T as DeepView>::V>

fn deep_view(&self) -> Seq<<T as DeepView>::V>

Implementors

impl DeepView for AnyOwned

Available on crate feature alloc only.

type V = AnySpec

impl DeepView for BerLength

type V = BerLength

impl DeepView for BitStringOwned

Available on crate feature alloc only.

type V = BitStringSpec

impl DeepView for BmpString

Available on crate feature alloc only.

type V = BmpStringSpec

impl DeepView for CborFloat

type V = CborFloat

impl DeepView for CborHead

type V = CborHead

impl DeepView for CborHeadValue

type V = CborHeadValue

impl DeepView for CborInitial

type V = CborInitial

impl DeepView for Class

type V = Class

impl DeepView for DateTime

type V = DateTime

impl DeepView for ExecNever

type V = ExecNever

impl DeepView for Ia5StringOwned

Available on crate feature alloc only.

type V = Ia5StringSpec

impl DeepView for MajorType

type V = MajorType

impl DeepView for ObjectIdentifier

Available on crate feature alloc only.

type V = ObjectIdentifierSpec

impl DeepView for PrintableStringOwned

Available on crate feature alloc only.

type V = PrintableStringSpec

impl DeepView for Tag

type V = Tag

impl DeepView for TagNumber

type V = TagNumber

impl DeepView for TeletexStringOwned

Available on crate feature alloc only.

type V = TeletexStringSpec

impl DeepView for UtcTime

type V = UtcTime

impl<'a, const DER: bool> DeepView for BitString<'a, DER>

type V = BitStringSpec

impl<'a, const DER: bool> DeepView for Real<'a, DER>

type V = Seq<u8>

impl<'a> DeepView for Any<'a>

type V = AnySpec

impl<'a> DeepView for GeneralizedTime<'a>

type V = GeneralizedTimeSpec

impl<'a> DeepView for Ia5String<'a>

type V = Ia5StringSpec

impl<'a> DeepView for Integer<'a>

type V = int

impl<'a> DeepView for PrintableString<'a>

type V = PrintableStringSpec

impl<'a> DeepView for TeletexString<'a>

type V = TeletexStringSpec

impl<'i> DeepView for CborBytes<'i>

type V = Seq<u8>

impl<'i> DeepView for CborText<'i>

type V = Seq<char>

impl<'i> DeepView for CborValue<'i>

type V = CborValueSpec

impl<A: DeepView, B: DeepView> DeepView for Sum<A, B>

type V = Sum<<A as DeepView>::V, <B as DeepView>::V>

impl<T> DeepView for ExecMultiset<T>

where T: DeepView + Hash + Eq,

Implementations for shared traits

type V = Multiset<<T as DeepView>::V>