Trait PermTarget 

pub trait PermTarget {
    type Value<'a>
       where Self: 'a;
    type PermPayload: ?Sized;

    // Provided method
    fn is_disjoint(
        &self,
        _self_val: Self::Value<'_>,
        other: &Self,
        _other_val: Self::Value<'_>,
    ) -> bool { ... }
}

Required Associated Types

type Value<'a> where Self: 'a

type PermPayload: ?Sized

Provided Methods

fn is_disjoint( &self, _self_val: Self::Value<'_>, other: &Self, _other_val: Self::Value<'_>, ) -> bool

logic(open, inline)

self != other

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

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

fn is_disjoint(&self, self_val: &T, other: &Self, other_val: &T) -> bool

logic(open, inline)

size_of_val_logic(*self_val) != 0 && size_of_val_logic(*other_val) != 0 ==>
self.addr_logic() != other.addr_logic()

type Value<'a> = &'a T where Self: 'a

type PermPayload = (NotObjective, PhantomData<T>, [bool])

Implementors

impl PermTarget for AtomicBool

type Value<'a> = FMap<Int, (bool, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicI8

type Value<'a> = FMap<Int, (i8, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicI16

type Value<'a> = FMap<Int, (i16, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicI32

type Value<'a> = FMap<Int, (i32, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicI64

type Value<'a> = FMap<Int, (i64, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicIsize

type Value<'a> = FMap<Int, (isize, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicU8

type Value<'a> = FMap<Int, (u8, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicU16

type Value<'a> = FMap<Int, (u16, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicU32

type Value<'a> = FMap<Int, (u32, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicU64

type Value<'a> = FMap<Int, (u64, SyncView)> where Self: 'a

type PermPayload = ()

impl PermTarget for AtomicUsize

type Value<'a> = FMap<Int, (usize, SyncView)> where Self: 'a

type PermPayload = ()

impl<T: ?Sized> PermTarget for PermCell<T>

type Value<'a> = &'a T where Self: 'a

type PermPayload = (NotObjective, PhantomData<T>)

impl<T> PermTarget for AtomicPtr<T>

type Value<'a> = FMap<Int, (*mut T, SyncView)> where Self: 'a

type PermPayload = ()