Trait rkyv::CheckBytes

source ·
pub trait CheckBytes<C>where
    C: ?Sized,{
    type Error: Error + 'static;

    // Required method
    unsafe fn check_bytes<'a>(
        value: *const Self,
        context: &mut C
    ) -> Result<&'a Self, Self::Error>;
}
Expand description

A type that can check whether a pointer points to a valid value.

CheckBytes can be derived with CheckBytes or implemented manually for custom behavior.

Required Associated Types§

source

type Error: Error + 'static

The error that may result from checking the type.

Required Methods§

source

unsafe fn check_bytes<'a>( value: *const Self, context: &mut C ) -> Result<&'a Self, Self::Error>

Checks whether the given pointer points to a valid value within the given context.

Safety

The passed pointer must be aligned and point to enough bytes to represent the type.

Implementations on Foreign Types§

source§

impl<T6, T5, T4, T3, T2, T1, T0, C> CheckBytes<C> for (T6, T5, T4, T3, T2, T1, T0)where T6: CheckBytes<C>, T5: CheckBytes<C>, T4: CheckBytes<C>, T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

source§

impl<C> CheckBytes<C> for f64where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const f64, _: &mut C ) -> Result<&'a f64, <f64 as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for i64where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const i64, _: &mut C ) -> Result<&'a i64, <i64 as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for i32where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const i32, _: &mut C ) -> Result<&'a i32, <i32 as CheckBytes<C>>::Error>

source§

impl<T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0, C> CheckBytes<C> for (T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)where T10: CheckBytes<C>, T9: CheckBytes<C>, T8: CheckBytes<C>, T7: CheckBytes<C>, T6: CheckBytes<C>, T5: CheckBytes<C>, T4: CheckBytes<C>, T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

source§

impl<C> CheckBytes<C> for ()where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const (), _: &mut C ) -> Result<&'a (), <() as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for i128where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const i128, _: &mut C ) -> Result<&'a i128, <i128 as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for NonZeroU8where C: ?Sized,

source§

impl<C> CheckBytes<C> for AtomicU64where C: ?Sized,

source§

impl<C> CheckBytes<C> for boolwhere C: ?Sized,

§

type Error = BoolCheckError

source§

unsafe fn check_bytes<'a>( value: *const bool, _: &mut C ) -> Result<&'a bool, <bool as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for NonZeroI16where C: ?Sized,

source§

impl<C> CheckBytes<C> for AtomicI64where C: ?Sized,

source§

impl<C> CheckBytes<C> for u64where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const u64, _: &mut C ) -> Result<&'a u64, <u64 as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for AtomicI8where C: ?Sized,

source§

impl<T, C, const N: usize> CheckBytes<C> for [T; N]where T: CheckBytes<C>, C: ?Sized,

§

type Error = ArrayCheckError<<T as CheckBytes<C>>::Error>

source§

unsafe fn check_bytes<'a>( value: *const [T; N], context: &mut C ) -> Result<&'a [T; N], <[T; N] as CheckBytes<C>>::Error>

source§

impl<T, C> CheckBytes<C> for RangeToInclusive<T>where T: CheckBytes<C>, C: ?Sized,

source§

impl<T3, T2, T1, T0, C> CheckBytes<C> for (T3, T2, T1, T0)where T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

§

type Error = Tuple4CheckError<<T3 as CheckBytes<C>>::Error, <T2 as CheckBytes<C>>::Error, <T1 as CheckBytes<C>>::Error, <T0 as CheckBytes<C>>::Error>

source§

unsafe fn check_bytes<'a>( value: *const (T3, T2, T1, T0), context: &mut C ) -> Result<&'a (T3, T2, T1, T0), <(T3, T2, T1, T0) as CheckBytes<C>>::Error>

source§

impl<T4, T3, T2, T1, T0, C> CheckBytes<C> for (T4, T3, T2, T1, T0)where T4: CheckBytes<C>, T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

§

type Error = Tuple5CheckError<<T4 as CheckBytes<C>>::Error, <T3 as CheckBytes<C>>::Error, <T2 as CheckBytes<C>>::Error, <T1 as CheckBytes<C>>::Error, <T0 as CheckBytes<C>>::Error>

source§

unsafe fn check_bytes<'a>( value: *const (T4, T3, T2, T1, T0), context: &mut C ) -> Result<&'a (T4, T3, T2, T1, T0), <(T4, T3, T2, T1, T0) as CheckBytes<C>>::Error>

source§

impl<T8, T7, T6, T5, T4, T3, T2, T1, T0, C> CheckBytes<C> for (T8, T7, T6, T5, T4, T3, T2, T1, T0)where T8: CheckBytes<C>, T7: CheckBytes<C>, T6: CheckBytes<C>, T5: CheckBytes<C>, T4: CheckBytes<C>, T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

source§

impl<C> CheckBytes<C> for AtomicU16where C: ?Sized,

source§

impl<C> CheckBytes<C> for NonZeroI8where C: ?Sized,

source§

impl<T, C> CheckBytes<C> for PhantomData<T>where T: ?Sized, C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const PhantomData<T>, _: &mut C ) -> Result<&'a PhantomData<T>, <PhantomData<T> as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for f32where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const f32, _: &mut C ) -> Result<&'a f32, <f32 as CheckBytes<C>>::Error>

source§

impl<T2, T1, T0, C> CheckBytes<C> for (T2, T1, T0)where T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

§

type Error = Tuple3CheckError<<T2 as CheckBytes<C>>::Error, <T1 as CheckBytes<C>>::Error, <T0 as CheckBytes<C>>::Error>

source§

unsafe fn check_bytes<'a>( value: *const (T2, T1, T0), context: &mut C ) -> Result<&'a (T2, T1, T0), <(T2, T1, T0) as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for u32where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const u32, _: &mut C ) -> Result<&'a u32, <u32 as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for AtomicBoolwhere C: ?Sized,

source§

impl<C> CheckBytes<C> for NonZeroU64where C: ?Sized,

source§

impl<C> CheckBytes<C> for NonZeroU32where C: ?Sized,

source§

impl<C> CheckBytes<C> for NonZeroU128where C: ?Sized,

source§

impl<C> CheckBytes<C> for u8where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const u8, _: &mut C ) -> Result<&'a u8, <u8 as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for u128where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const u128, _: &mut C ) -> Result<&'a u128, <u128 as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for NonZeroI32where C: ?Sized,

source§

impl<C> CheckBytes<C> for AtomicI16where C: ?Sized,

source§

impl<C> CheckBytes<C> for i16where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const i16, _: &mut C ) -> Result<&'a i16, <i16 as CheckBytes<C>>::Error>

source§

impl<T11, T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0, C> CheckBytes<C> for (T11, T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)where T11: CheckBytes<C>, T10: CheckBytes<C>, T9: CheckBytes<C>, T8: CheckBytes<C>, T7: CheckBytes<C>, T6: CheckBytes<C>, T5: CheckBytes<C>, T4: CheckBytes<C>, T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

source§

impl<T0, C> CheckBytes<C> for (T0,)where T0: CheckBytes<C>, C: ?Sized,

§

type Error = Tuple1CheckError<<T0 as CheckBytes<C>>::Error>

source§

unsafe fn check_bytes<'a>( value: *const (T0,), context: &mut C ) -> Result<&'a (T0,), <(T0,) as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for CStrwhere C: ?Sized,

§

type Error = CStrCheckError

source§

unsafe fn check_bytes<'a>( value: *const CStr, _: &mut C ) -> Result<&'a CStr, <CStr as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for strwhere C: ?Sized,

§

type Error = StrCheckError

source§

unsafe fn check_bytes<'a>( value: *const str, _: &mut C ) -> Result<&'a str, <str as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for AtomicI32where C: ?Sized,

source§

impl<T, C> CheckBytes<C> for Range<T>where T: CheckBytes<C>, C: ?Sized,

§

type Error = StructCheckError

source§

unsafe fn check_bytes<'a>( value: *const Range<T>, context: &mut C ) -> Result<&'a Range<T>, <Range<T> as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for charwhere C: ?Sized,

§

type Error = CharCheckError

source§

unsafe fn check_bytes<'a>( value: *const char, context: &mut C ) -> Result<&'a char, <char as CheckBytes<C>>::Error>

source§

impl<T9, T8, T7, T6, T5, T4, T3, T2, T1, T0, C> CheckBytes<C> for (T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)where T9: CheckBytes<C>, T8: CheckBytes<C>, T7: CheckBytes<C>, T6: CheckBytes<C>, T5: CheckBytes<C>, T4: CheckBytes<C>, T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

source§

impl<C> CheckBytes<C> for NonZeroI128where C: ?Sized,

source§

impl<T, C> CheckBytes<C> for [T]where T: CheckBytes<C>, C: ?Sized,

§

type Error = SliceCheckError<<T as CheckBytes<C>>::Error>

source§

unsafe fn check_bytes<'a>( value: *const [T], context: &mut C ) -> Result<&'a [T], <[T] as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for AtomicU8where C: ?Sized,

source§

impl<T, C> CheckBytes<C> for RangeTo<T>where T: CheckBytes<C>, C: ?Sized,

§

type Error = StructCheckError

source§

unsafe fn check_bytes<'a>( value: *const RangeTo<T>, context: &mut C ) -> Result<&'a RangeTo<T>, <RangeTo<T> as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for PhantomPinnedwhere C: ?Sized,

source§

impl<T, C> CheckBytes<C> for RangeFrom<T>where T: CheckBytes<C>, C: ?Sized,

§

type Error = StructCheckError

source§

unsafe fn check_bytes<'a>( value: *const RangeFrom<T>, context: &mut C ) -> Result<&'a RangeFrom<T>, <RangeFrom<T> as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for RangeFullwhere C: ?Sized,

source§

impl<C> CheckBytes<C> for i8where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const i8, _: &mut C ) -> Result<&'a i8, <i8 as CheckBytes<C>>::Error>

source§

impl<T1, T0, C> CheckBytes<C> for (T1, T0)where T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

§

type Error = Tuple2CheckError<<T1 as CheckBytes<C>>::Error, <T0 as CheckBytes<C>>::Error>

source§

unsafe fn check_bytes<'a>( value: *const (T1, T0), context: &mut C ) -> Result<&'a (T1, T0), <(T1, T0) as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for NonZeroU16where C: ?Sized,

source§

impl<C> CheckBytes<C> for NonZeroI64where C: ?Sized,

source§

impl<T5, T4, T3, T2, T1, T0, C> CheckBytes<C> for (T5, T4, T3, T2, T1, T0)where T5: CheckBytes<C>, T4: CheckBytes<C>, T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

source§

impl<C> CheckBytes<C> for AtomicU32where C: ?Sized,

source§

impl<T7, T6, T5, T4, T3, T2, T1, T0, C> CheckBytes<C> for (T7, T6, T5, T4, T3, T2, T1, T0)where T7: CheckBytes<C>, T6: CheckBytes<C>, T5: CheckBytes<C>, T4: CheckBytes<C>, T3: CheckBytes<C>, T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized,

source§

impl<C> CheckBytes<C> for u16where C: ?Sized,

§

type Error = Infallible

source§

unsafe fn check_bytes<'a>( value: *const u16, _: &mut C ) -> Result<&'a u16, <u16 as CheckBytes<C>>::Error>

source§

impl<C> CheckBytes<C> for NativeEndian<NonZeroI128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<f32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<AtomicI32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<AtomicU32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<NonZeroU128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<i128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<u128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<AtomicU32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<AtomicU16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<AtomicI16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<NonZeroU128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<char>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<AtomicI16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<i16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<i64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<NonZeroI128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<char>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<NonZeroU32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<u16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<AtomicU16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<AtomicI16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<AtomicU64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<u16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<AtomicU64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<u128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<u128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<i32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<NonZeroU16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<NonZeroU16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<u16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<i128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<NonZeroU128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<i16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<NonZeroI64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<f64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<NonZeroI16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<AtomicI32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<NonZeroI64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<u32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<NonZeroU64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<AtomicI64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<i32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<u64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<u64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<i16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<u64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<NonZeroI16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<i64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<AtomicI64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<NonZeroU64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<AtomicI64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<NonZeroU32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<i128>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<f32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<NonZeroU64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<NonZeroI32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<AtomicU32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<AtomicI32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<char>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<NonZeroI32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<NonZeroU32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<f64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<i32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<i64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<NonZeroI16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<u32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<AtomicU16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<u32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<NonZeroI64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<f32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<f64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for NativeEndian<NonZeroI32>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<AtomicU64>where C: ?Sized,

source§

impl<C> CheckBytes<C> for LittleEndian<NonZeroU16>where C: ?Sized,

source§

impl<C> CheckBytes<C> for BigEndian<NonZeroI128>where C: ?Sized,

Implementors§

source§

impl<C: Fallible + ?Sized> CheckBytes<C> for ArchivedDuration

§

type Error = DurationError

source§

impl<C: Fallible + ?Sized> CheckBytes<C> for ArchivedStringRepr

§

type Error = CheckStringReprError

source§

impl<C: ArchiveContext + ?Sized> CheckBytes<C> for ArchivedHashIndexwhere C::Error: Error,

source§

impl<C: ArchiveContext + ?Sized> CheckBytes<C> for ArchivedCStringwhere C::Error: Error,

source§

impl<C: ArchiveContext + ?Sized> CheckBytes<C> for ArchivedStringwhere C::Error: Error + 'static,

source§

impl<K, V, C> CheckBytes<C> for ArchivedBTreeMap<K, V>where K: CheckBytes<C> + Ord, V: CheckBytes<C>, C: ArchiveContext + ?Sized, C::Error: Error,

source§

impl<K, V, C> CheckBytes<C> for ArchivedHashMap<K, V>where K: CheckBytes<C> + Eq + Hash, V: CheckBytes<C>, C: ArchiveContext + ?Sized, C::Error: Error,

§

type Error = HashMapError<<K as CheckBytes<C>>::Error, <V as CheckBytes<C>>::Error, <C as Fallible>::Error>

source§

impl<K, V, C> CheckBytes<C> for ArchivedIndexMap<K, V>where K: CheckBytes<C> + Eq + Hash, V: CheckBytes<C>, C: ArchiveContext + ?Sized, C::Error: Error,

§

type Error = IndexMapError<<K as CheckBytes<C>>::Error, <V as CheckBytes<C>>::Error, <C as Fallible>::Error>

source§

impl<K, V, C> CheckBytes<C> for Entry<K, V>where K: CheckBytes<C>, V: CheckBytes<C>, C: ArchiveContext + ?Sized,

source§

impl<T, C> CheckBytes<C> for ArchivedBox<T>where T: ArchivePointee + CheckBytes<C> + LayoutRaw + Pointee + ?Sized, C: ArchiveContext + ?Sized, T::ArchivedMetadata: CheckBytes<C>, C::Error: Error,

source§

impl<T, C> CheckBytes<C> for ArchivedVec<T>where T: CheckBytes<C>, C: ArchiveContext + ?Sized, C::Error: Error,

source§

impl<T, C> CheckBytes<C> for RawArchivedVec<T>where T: CheckBytes<C>, C: ArchiveContext + ?Sized, C::Error: Error,

source§

impl<T, F, C> CheckBytes<C> for ArchivedRcWeak<T, F>where T: ArchivePointee + CheckBytes<C> + LayoutRaw + Pointee + ?Sized + 'static, C: ArchiveContext + SharedContext + ?Sized, T::ArchivedMetadata: CheckBytes<C>, C::Error: Error, F: 'static,

source§

impl<T, F, C> CheckBytes<C> for ArchivedRc<T, F>where T: ArchivePointee + CheckBytes<C> + LayoutRaw + Pointee + ?Sized + 'static, C: ArchiveContext + SharedContext + ?Sized, T::ArchivedMetadata: CheckBytes<C>, C::Error: Error, F: 'static,

source§

impl<T: CheckBytes<C> + ?Sized, C: ?Sized> CheckBytes<C> for Immutable<T>

§

type Error = <T as CheckBytes<C>>::Error

source§

impl<__C: ?Sized> CheckBytes<__C> for ArchivedIpAddrwhere ArchivedIpv4Addr: CheckBytes<__C>, ArchivedIpv6Addr: CheckBytes<__C>,

source§

impl<__C: ?Sized> CheckBytes<__C> for ArchivedSocketAddrwhere ArchivedSocketAddrV4: CheckBytes<__C>, ArchivedSocketAddrV6: CheckBytes<__C>,

source§

impl<__C: ?Sized> CheckBytes<__C> for ArchivedIpv4Addrwhere [Archived<u8>; 4]: CheckBytes<__C>,

source§

impl<__C: ?Sized> CheckBytes<__C> for ArchivedIpv6Addrwhere [Archived<u8>; 16]: CheckBytes<__C>,

source§

impl<__C: ?Sized> CheckBytes<__C> for ArchivedSocketAddrV4where ArchivedIpv4Addr: CheckBytes<__C>, Archived<u16>: CheckBytes<__C>,

source§

impl<__C: ?Sized> CheckBytes<__C> for ArchivedSocketAddrV6where ArchivedIpv6Addr: CheckBytes<__C>, Archived<u16>: CheckBytes<__C>, Archived<u32>: CheckBytes<__C>,

source§

impl<__C: ?Sized, K> CheckBytes<__C> for ArchivedBTreeSet<K>where ArchivedBTreeMap<K, ()>: CheckBytes<__C>,

source§

impl<__C: ?Sized, K> CheckBytes<__C> for ArchivedHashSet<K>where ArchivedHashMap<K, ()>: CheckBytes<__C>,

source§

impl<__C: ?Sized, K> CheckBytes<__C> for ArchivedIndexSet<K>where ArchivedIndexMap<K, ()>: CheckBytes<__C>,

source§

impl<__C: ?Sized, T> CheckBytes<__C> for ArchivedOption<T>where T: CheckBytes<__C>,

source§

impl<__C: ?Sized, T> CheckBytes<__C> for ArchivedRange<T>where T: CheckBytes<__C>,

source§

impl<__C: ?Sized, T> CheckBytes<__C> for ArchivedRangeFrom<T>where T: CheckBytes<__C>,

source§

impl<__C: ?Sized, T> CheckBytes<__C> for ArchivedRangeInclusive<T>where T: CheckBytes<__C>,

source§

impl<__C: ?Sized, T> CheckBytes<__C> for ArchivedRangeTo<T>where T: CheckBytes<__C>,

source§

impl<__C: ?Sized, T> CheckBytes<__C> for ArchivedRangeToInclusive<T>where T: CheckBytes<__C>,

source§

impl<__C: ?Sized, T, E> CheckBytes<__C> for ArchivedResult<T, E>where T: CheckBytes<__C>, E: CheckBytes<__C>,