Trait ExecSpecEq 

pub trait ExecSpecEq<'a>: DeepView + Sized {
    type Other: DeepView<V = Self::V>;

    // Required method
    exec fn exec_eq(this: Self, other: Self::Other) -> res : bool;
}

Spec for the executable version of equality.

Required Associated Types

type Other: DeepView<V = Self::V>

Required Methods

exec fn exec_eq(this: Self, other: Self::Other) -> res : bool

ensures

res == (this.deep_view() =~~= other.deep_view()),

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl<'a, K: DeepView + DeepViewClone + Hash + Eq, V: DeepView + DeepViewClone> ExecSpecEq<'a> for &'a HashMap<K, V>

where &'a K: ExecSpecEq<'a, Other = &'a K>, &'a V: ExecSpecEq<'a, Other = &'a V>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a HashMap<K, V>

impl<'a, K: DeepView + DeepViewClone + Hash + Eq> ExecSpecEq<'a> for &'a HashSet<K>

where &'a K: ExecSpecEq<'a, Other = &'a K>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a HashSet<K>

impl<'a, T0: DeepView, T1: DeepView, T2: DeepView, T3: DeepView> ExecSpecEq<'a> for &'a (T0, T1, T2, T3)

where &'a T0: ExecSpecEq<'a, Other = &'a T0>, &'a T1: ExecSpecEq<'a, Other = &'a T1>, &'a T2: ExecSpecEq<'a, Other = &'a T2>, &'a T3: ExecSpecEq<'a, Other = &'a T3>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a (T0, T1, T2, T3)

impl<'a, T0: DeepView, T1: DeepView, T2: DeepView> ExecSpecEq<'a> for &'a (T0, T1, T2)

where &'a T0: ExecSpecEq<'a, Other = &'a T0>, &'a T1: ExecSpecEq<'a, Other = &'a T1>, &'a T2: ExecSpecEq<'a, Other = &'a T2>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a (T0, T1, T2)

impl<'a, T0: DeepView, T1: DeepView> ExecSpecEq<'a> for &'a (T0, T1)

where &'a T0: ExecSpecEq<'a, Other = &'a T0>, &'a T1: ExecSpecEq<'a, Other = &'a T1>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a (T0, T1)

impl<'a, T0: DeepView> ExecSpecEq<'a> for &'a (T0,)

where &'a T0: ExecSpecEq<'a, Other = &'a T0>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a (T0,)

impl<'a, T: DeepView> ExecSpecEq<'a> for &'a Option<T>

where &'a T: ExecSpecEq<'a, Other = &'a T>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a Option<T>

impl<'a, T: DeepView> ExecSpecEq<'a> for &'a Vec<T>

where &'a T: ExecSpecEq<'a, Other = &'a T>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a Vec<T>

impl<'a, T: DeepView> ExecSpecEq<'a> for &'a [T]

where &'a T: ExecSpecEq<'a, Other = &'a T>,

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a [T]

impl<'a> ExecSpecEq<'a> for &'a String

Required for comparing, e.g., Vec<String>s.

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a String

impl<'a> ExecSpecEq<'a> for &'a bool

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a bool

impl<'a> ExecSpecEq<'a> for &'a char

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a char

impl<'a> ExecSpecEq<'a> for &'a i8

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a i8

impl<'a> ExecSpecEq<'a> for &'a i16

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a i16

impl<'a> ExecSpecEq<'a> for &'a i32

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a i32

impl<'a> ExecSpecEq<'a> for &'a i64

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a i64

impl<'a> ExecSpecEq<'a> for &'a i128

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a i128

impl<'a> ExecSpecEq<'a> for &'a isize

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a isize

impl<'a> ExecSpecEq<'a> for &'a str

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a str

impl<'a> ExecSpecEq<'a> for &'a u8

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a u8

impl<'a> ExecSpecEq<'a> for &'a u16

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a u16

impl<'a> ExecSpecEq<'a> for &'a u32

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a u32

impl<'a> ExecSpecEq<'a> for &'a u64

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a u64

impl<'a> ExecSpecEq<'a> for &'a u128

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a u128

impl<'a> ExecSpecEq<'a> for &'a usize

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = &'a usize

impl<'a> ExecSpecEq<'a> for bool

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = bool

impl<'a> ExecSpecEq<'a> for char

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = char

impl<'a> ExecSpecEq<'a> for i8

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = i8

impl<'a> ExecSpecEq<'a> for i16

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = i16

impl<'a> ExecSpecEq<'a> for i32

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = i32

impl<'a> ExecSpecEq<'a> for i64

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = i64

impl<'a> ExecSpecEq<'a> for i128

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = i128

impl<'a> ExecSpecEq<'a> for isize

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = isize

impl<'a> ExecSpecEq<'a> for u8

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = u8

impl<'a> ExecSpecEq<'a> for u16

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = u16

impl<'a> ExecSpecEq<'a> for u32

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = u32

impl<'a> ExecSpecEq<'a> for u64

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = u64

impl<'a> ExecSpecEq<'a> for u128

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = u128

impl<'a> ExecSpecEq<'a> for usize

exec fn exec_eq(this: Self, other: Self::Other) -> bool

type Other = usize

Implementors

impl<'a, T: DeepView + DeepViewClone + Hash + Eq> ExecSpecEq<'a> for &'a ExecMultiset<T>

where &'a T: ExecSpecEq<'a, Other = &'a T>,

type Other = &'a ExecMultiset<T>