Trait ExecSpecType 

pub trait ExecSpecType
where
    for<'a> &'a Self::ExecOwnedType: ToRef<Self::ExecRefType<'a>>,
    for<'a> Self::ExecRefType<'a>: ToOwned<Self::ExecOwnedType>,
{
    type ExecOwnedType: DeepView<V = Self>;
    type ExecRefType<'a>: DeepView<V = Self>;
}

Any spec types used in exec_spec_verified or exec_spec_unverified macros must implement this trait to indicate the corresponding exec type (owned and borrowed versions).

Required Associated Types

type ExecOwnedType: DeepView<V = Self>

Owned version of the exec type.

type ExecRefType<'a>: DeepView<V = Self>

Reference version of the exec type.

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 ExecSpecType for bool

type ExecOwnedType = bool

type ExecRefType<'a> = bool

impl ExecSpecType for char

type ExecOwnedType = char

type ExecRefType<'a> = char

impl ExecSpecType for i8

type ExecOwnedType = i8

type ExecRefType<'a> = i8

impl ExecSpecType for i16

type ExecOwnedType = i16

type ExecRefType<'a> = i16

impl ExecSpecType for i32

type ExecOwnedType = i32

type ExecRefType<'a> = i32

impl ExecSpecType for i64

type ExecOwnedType = i64

type ExecRefType<'a> = i64

impl ExecSpecType for i128

type ExecOwnedType = i128

type ExecRefType<'a> = i128

impl ExecSpecType for isize

type ExecOwnedType = isize

type ExecRefType<'a> = isize

impl ExecSpecType for u8

type ExecOwnedType = u8

type ExecRefType<'a> = u8

impl ExecSpecType for u16

type ExecOwnedType = u16

type ExecRefType<'a> = u16

impl ExecSpecType for u32

type ExecOwnedType = u32

type ExecRefType<'a> = u32

impl ExecSpecType for u64

type ExecOwnedType = u64

type ExecRefType<'a> = u64

impl ExecSpecType for u128

type ExecOwnedType = u128

type ExecRefType<'a> = u128

impl ExecSpecType for usize

type ExecOwnedType = usize

type ExecRefType<'a> = usize

Implementors

impl ExecSpecType for SpecString

Impls for shared traits

type ExecOwnedType = String

type ExecRefType<'a> = &'a str