Trait proc_macro_assertions::raw_assert::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,

Object Safety

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 Awhere A: Assertable<'a>,

impl<'a, T> RawAssertable<'a> for AssertCollection<'a, T>where T: IntoIterator, T::Item: RawAssertable<'a>,

impl<'a, T> RawAssertable<'a> for RawAssert<'a, T>where T: Generatable<'a> + Eq + Ord, T::Assert: Eq + Ord,