Trait RawAssertable

pub trait RawAssertable<'a>: Sealed<'a> {
    // Required method
    fn do_raw_assert<I>(self, store: &mut Store<'a, I>)
       where I: IdentGenerator;
}

Any type that is assertable by accessing the Store directly.

This is currently sealed to allow change in the actual store implementation, but may opened up eventually.

For custom Asserts you should either implement Assertable for wrapper types, or Generatable for new types of asserts.

Required Methods

fn do_raw_assert<I>(self, store: &mut Store<'a, I>)

where I: IdentGenerator,

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<'a, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31> RawAssertable<'a> for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31)

where T0: RawAssertable<'a>, T1: RawAssertable<'a>, T2: RawAssertable<'a>, T3: RawAssertable<'a>, T4: RawAssertable<'a>, T5: RawAssertable<'a>, T6: RawAssertable<'a>, T7: RawAssertable<'a>, T8: RawAssertable<'a>, T9: RawAssertable<'a>, T10: RawAssertable<'a>, T11: RawAssertable<'a>, T12: RawAssertable<'a>, T13: RawAssertable<'a>, T14: RawAssertable<'a>, T15: RawAssertable<'a>, T16: RawAssertable<'a>, T17: RawAssertable<'a>, T18: RawAssertable<'a>, T19: RawAssertable<'a>, T20: RawAssertable<'a>, T21: RawAssertable<'a>, T22: RawAssertable<'a>, T23: RawAssertable<'a>, T24: RawAssertable<'a>, T25: RawAssertable<'a>, T26: RawAssertable<'a>, T27: RawAssertable<'a>, T28: RawAssertable<'a>, T29: RawAssertable<'a>, T30: RawAssertable<'a>, T31: RawAssertable<'a>,

Also implemented for any tuple that is smaller.

fn do_raw_assert<I>(self, store: &mut Store<'a, I>)

where I: IdentGenerator,

impl<'a, T> RawAssertable<'a> for Option<T>

where T: RawAssertable<'a>,

fn do_raw_assert<I>(self, store: &mut Store<'a, I>)

where I: IdentGenerator,

Implementors

impl<'a, A> RawAssertable<'a> for A

where A: Assertable<'a>,

impl<'a, T> RawAssertable<'a> for AssertCollection<'a, T>

where T: IntoIterator, T::Item: RawAssertable<'a>,

impl<'a, T, A> RawAssertable<'a> for RawAssert<'a, T, A>

where T: Eq + Ord + Generatable<'a, A>, A: Eq + Ord + TidAble<'a>,