Trait bytecheck::CheckBytes[][src]

pub trait CheckBytes<C: ?Sized> {
    type Error: Error + 'static;
    unsafe fn check_bytes<'a>(
        value: *const Self,
        context: &mut C
    ) -> Result<&'a Self, Self::Error>; }

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.

Associated Types

type Error: Error + 'static[src]

The error that may result from checking the type.

Loading content...

Required methods

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

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.

Loading content...

Implementations on Foreign Types

impl<C: ?Sized> CheckBytes<C> for ()[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for i8[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for i16[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for i32[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for i64[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for i128[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for u8[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for u16[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for u32[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for u64[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for u128[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for f32[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for f64[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for AtomicI8[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for AtomicI16[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for AtomicI32[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for AtomicI64[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for AtomicU8[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for AtomicU16[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for AtomicU32[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for AtomicU64[src]

type Error = Unreachable

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

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for PhantomPinned[src]

type Error = Unreachable

impl<C: ?Sized> CheckBytes<C> for bool[src]

type Error = BoolCheckError

impl<C: ?Sized> CheckBytes<C> for AtomicBool[src]

type Error = BoolCheckError

impl<C: ?Sized> CheckBytes<C> for char[src]

type Error = CharCheckError

impl<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> CheckBytes<C> for (T11, T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)[src]

type Error = Tuple12CheckError<T11::Error, T10::Error, T9::Error, T8::Error, T7::Error, T6::Error, T5::Error, T4::Error, T3::Error, T2::Error, T1::Error, T0::Error>

impl<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> CheckBytes<C> for (T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)[src]

type Error = Tuple11CheckError<T10::Error, T9::Error, T8::Error, T7::Error, T6::Error, T5::Error, T4::Error, T3::Error, T2::Error, T1::Error, T0::Error>

impl<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> CheckBytes<C> for (T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)[src]

type Error = Tuple10CheckError<T9::Error, T8::Error, T7::Error, T6::Error, T5::Error, T4::Error, T3::Error, T2::Error, T1::Error, T0::Error>

impl<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> CheckBytes<C> for (T8, T7, T6, T5, T4, T3, T2, T1, T0)[src]

type Error = Tuple9CheckError<T8::Error, T7::Error, T6::Error, T5::Error, T4::Error, T3::Error, T2::Error, T1::Error, T0::Error>

impl<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> CheckBytes<C> for (T7, T6, T5, T4, T3, T2, T1, T0)[src]

type Error = Tuple8CheckError<T7::Error, T6::Error, T5::Error, T4::Error, T3::Error, T2::Error, T1::Error, T0::Error>

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

type Error = Tuple7CheckError<T6::Error, T5::Error, T4::Error, T3::Error, T2::Error, T1::Error, T0::Error>

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

type Error = Tuple6CheckError<T5::Error, T4::Error, T3::Error, T2::Error, T1::Error, T0::Error>

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

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

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

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

impl<T2: CheckBytes<C>, T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized> CheckBytes<C> for (T2, T1, T0)[src]

type Error = Tuple3CheckError<T2::Error, T1::Error, T0::Error>

impl<T1: CheckBytes<C>, T0: CheckBytes<C>, C: ?Sized> CheckBytes<C> for (T1, T0)[src]

type Error = Tuple2CheckError<T1::Error, T0::Error>

impl<T0: CheckBytes<C>, C: ?Sized> CheckBytes<C> for (T0,)[src]

type Error = Tuple1CheckError<T0::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 31][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 30][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 29][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 28][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 27][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 26][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 25][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 24][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 23][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 22][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 21][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 20][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 19][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 18][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 17][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 16][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 15][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 14][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 13][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 12][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 11][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 10][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 9][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 8][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 7][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 6][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 5][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 4][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 3][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 2][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 1][src]

type Error = ArrayCheckError<T::Error>

impl<T: CheckBytes<C>, C: ?Sized> CheckBytes<C> for [T; 0][src]

type Error = ArrayCheckError<T::Error>

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

type Error = SliceCheckError<T::Error>

impl<C: ?Sized> CheckBytes<C> for str[src]

type Error = StrCheckError

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

type Error = StructCheckError

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

type Error = StructCheckError

impl<C: ?Sized> CheckBytes<C> for RangeFull[src]

type Error = Unreachable

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

type Error = StructCheckError

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

type Error = StructCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroI8[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroI16[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroI32[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroI64[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroI128[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroU8[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroU16[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroU32[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroU64[src]

type Error = NonZeroCheckError

impl<C: ?Sized> CheckBytes<C> for NonZeroU128[src]

type Error = NonZeroCheckError

Loading content...

Implementors

Loading content...