Trait DeepModel 

pub trait DeepModel {
    type DeepModelTy;
}

The deep model corresponds to the model used for specifying operations such as equality, hash function or ordering, which are computed deeply in a data structure. Typically, such a model recursively calls deep models of inner types.

Required Associated Types

type DeepModelTy

Implementations on Foreign Types

impl DeepModel for Ordering

type DeepModelTy = Ordering

impl DeepModel for bool

type DeepModelTy = bool

impl DeepModel for char

type DeepModelTy = Int

impl DeepModel for i8

type DeepModelTy = Int

impl DeepModel for i16

type DeepModelTy = Int

impl DeepModel for i32

type DeepModelTy = Int

impl DeepModel for i64

type DeepModelTy = Int

impl DeepModel for i128

type DeepModelTy = Int

impl DeepModel for isize

type DeepModelTy = Int

impl DeepModel for str

type DeepModelTy = Seq<char>

impl DeepModel for u8

type DeepModelTy = Int

impl DeepModel for u16

type DeepModelTy = Int

impl DeepModel for u32

type DeepModelTy = Int

impl DeepModel for u64

type DeepModelTy = Int

impl DeepModel for u128

type DeepModelTy = Int

impl DeepModel for ()

type DeepModelTy = ()

impl DeepModel for usize

type DeepModelTy = Int

impl DeepModel for String

Available on crate feature std only.

type DeepModelTy = Seq<char>

impl DeepModel for Duration

type DeepModelTy = Int

impl DeepModel for Instant

Available on crate feature std only.

type DeepModelTy = Int

impl<A: DeepModel, Z: DeepModel, Y: DeepModel, X: DeepModel, W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (A, Z, Y, X, W, V, U, T)

type DeepModelTy = (<A as DeepModel>::DeepModelTy, <Z as DeepModel>::DeepModelTy, <Y as DeepModel>::DeepModelTy, <X as DeepModel>::DeepModelTy, <W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<B: DeepModel, A: DeepModel, Z: DeepModel, Y: DeepModel, X: DeepModel, W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (B, A, Z, Y, X, W, V, U, T)

type DeepModelTy = (<B as DeepModel>::DeepModelTy, <A as DeepModel>::DeepModelTy, <Z as DeepModel>::DeepModelTy, <Y as DeepModel>::DeepModelTy, <X as DeepModel>::DeepModelTy, <W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<C: DeepModel, B: DeepModel, A: DeepModel, Z: DeepModel, Y: DeepModel, X: DeepModel, W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (C, B, A, Z, Y, X, W, V, U, T)

type DeepModelTy = (<C as DeepModel>::DeepModelTy, <B as DeepModel>::DeepModelTy, <A as DeepModel>::DeepModelTy, <Z as DeepModel>::DeepModelTy, <Y as DeepModel>::DeepModelTy, <X as DeepModel>::DeepModelTy, <W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<D: DeepModel, C: DeepModel, B: DeepModel, A: DeepModel, Z: DeepModel, Y: DeepModel, X: DeepModel, W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (D, C, B, A, Z, Y, X, W, V, U, T)

type DeepModelTy = (<D as DeepModel>::DeepModelTy, <C as DeepModel>::DeepModelTy, <B as DeepModel>::DeepModelTy, <A as DeepModel>::DeepModelTy, <Z as DeepModel>::DeepModelTy, <Y as DeepModel>::DeepModelTy, <X as DeepModel>::DeepModelTy, <W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<E: DeepModel, D: DeepModel, C: DeepModel, B: DeepModel, A: DeepModel, Z: DeepModel, Y: DeepModel, X: DeepModel, W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (E, D, C, B, A, Z, Y, X, W, V, U, T)

type DeepModelTy = (<E as DeepModel>::DeepModelTy, <D as DeepModel>::DeepModelTy, <C as DeepModel>::DeepModelTy, <B as DeepModel>::DeepModelTy, <A as DeepModel>::DeepModelTy, <Z as DeepModel>::DeepModelTy, <Y as DeepModel>::DeepModelTy, <X as DeepModel>::DeepModelTy, <W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<T: DeepModel + ?Sized> DeepModel for &T

type DeepModelTy = <T as DeepModel>::DeepModelTy

impl<T: DeepModel + ?Sized> DeepModel for &mut T

type DeepModelTy = <T as DeepModel>::DeepModelTy

impl<T: DeepModel + ?Sized> DeepModel for Box<T>

Available on non-crate feature nightly only.

Dummy impls that don’t use the unstable trait Allocator

type DeepModelTy = Box<<T as DeepModel>::DeepModelTy>

impl<T: DeepModel> DeepModel for Bound<T>

type DeepModelTy = Bound<<T as DeepModel>::DeepModelTy>

impl<T: DeepModel> DeepModel for Option<T>

type DeepModelTy = Option<<T as DeepModel>::DeepModelTy>

impl<T: DeepModel> DeepModel for [T]

type DeepModelTy = Seq<<T as DeepModel>::DeepModelTy>

impl<T: DeepModel> DeepModel for (T,)

type DeepModelTy = (<T as DeepModel>::DeepModelTy,)

impl<T: DeepModel> DeepModel for VecDeque<T>

type DeepModelTy = Seq<<T as DeepModel>::DeepModelTy>

impl<T: DeepModel> DeepModel for Rc<T>

Available on non-crate feature nightly only.

Dummy impls that don’t use the unstable trait Allocator

type DeepModelTy = <T as DeepModel>::DeepModelTy

impl<T: DeepModel> DeepModel for Arc<T>

Available on non-crate feature nightly only.

Dummy impls that don’t use the unstable trait Allocator

type DeepModelTy = <T as DeepModel>::DeepModelTy

impl<T: DeepModel> DeepModel for Vec<T>

type DeepModelTy = Seq<<T as DeepModel>::DeepModelTy>

impl<T: DeepModel> DeepModel for Reverse<T>

type DeepModelTy = Reverse<<T as DeepModel>::DeepModelTy>

impl<T: DeepModel, E: DeepModel> DeepModel for Result<T, E>

type DeepModelTy = Result<<T as DeepModel>::DeepModelTy, <E as DeepModel>::DeepModelTy>

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

type DeepModelTy = Seq<<T as DeepModel>::DeepModelTy>

impl<T: ?Sized> DeepModel for *const T

type DeepModelTy = PtrDeepModel

impl<T: ?Sized> DeepModel for *mut T

type DeepModelTy = PtrDeepModel

impl<U: DeepModel, T: DeepModel> DeepModel for (U, T)

type DeepModelTy = (<U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (V, U, T)

type DeepModelTy = (<V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (W, V, U, T)

type DeepModelTy = (<W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<X: DeepModel, W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (X, W, V, U, T)

type DeepModelTy = (<X as DeepModel>::DeepModelTy, <W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<Y: DeepModel, X: DeepModel, W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (Y, X, W, V, U, T)

type DeepModelTy = (<Y as DeepModel>::DeepModelTy, <X as DeepModel>::DeepModelTy, <W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

impl<Z: DeepModel, Y: DeepModel, X: DeepModel, W: DeepModel, V: DeepModel, U: DeepModel, T: DeepModel> DeepModel for (Z, Y, X, W, V, U, T)

type DeepModelTy = (<Z as DeepModel>::DeepModelTy, <Y as DeepModel>::DeepModelTy, <X as DeepModel>::DeepModelTy, <W as DeepModel>::DeepModelTy, <V as DeepModel>::DeepModelTy, <U as DeepModel>::DeepModelTy, <T as DeepModel>::DeepModelTy)

Implementors

impl DeepModel for Id

type DeepModelTy = Id

impl DeepModel for Int

type DeepModelTy = Int

impl DeepModel for PeanoInt

type DeepModelTy = u64

impl<T: InhabitedInvariant + DeepModel> DeepModel for Subset<T>

type DeepModelTy = <T as DeepModel>::DeepModelTy