Type Alias vstd::rwlock::FieldType_RwLock_inst

source ·
pub type FieldType_RwLock_inst<V, Pred> = Tracked<Instance<(Pred, CellId), PointsTo<V>, InternalPred<V, Pred>>>;

Aliased Type§

struct FieldType_RwLock_inst<V, Pred> { /* private fields */ }

Implementations

§

impl<A> Tracked<A>

pub fn view(self) -> A

pub const fn new(_a: A) -> Tracked<A>

pub const fn get(self) -> A

pub fn borrow(&self) -> &A

pub fn borrow_mut(&mut self) -> &mut A

Trait Implementations

§

impl<A> Clone for Tracked<A>
where A: Copy,

§

fn clone(&self) -> Tracked<A>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
§

impl<A> Debug for Tracked<A>

§

fn fmt(&self, _: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
§

impl<A> Copy for Tracked<A>
where A: Copy,