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", so this trait is not object safe.

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> PermTarget for AtomicPtr<T>

type Value<'a> = FMap<Int, (*mut T, 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>)