Struct Fragment 

pub struct Fragment<R: UnitRA>(pub Resource<Auth<R>>);

Wrapper around a Resource, that contains a fragment.

See Authority.

Tuple Fields

0: Resource<Auth<R>>

Implementations

impl<R: UnitRA> Fragment<R>

pub fn id_ghost(&self) -> Id

Get the id for this resource.

This is the same as [Self::id], but for ghost code.

pub fn new_unit(id: Id) -> Fragment<R>

Create a fragment containing a unit resource

pub fn core(&self) -> Self

Duplicate the duplicable core of a fragment

pub fn split(self, a: Snapshot<R>, b: Snapshot<R>) -> (Self, Self)

Split a fragment into two parts, described by a and b.

See also Self::split_off.

pub fn split_off(&mut self, r: Snapshot<R>, s: Snapshot<R>) -> Self

Remove r from self and return it, leaving s in self.

pub fn join(self, other: Self) -> Self

Join two owned framents together.

See also Self::join_in and [Self::join_shared].

pub fn join_in(&mut self, other: Self)

Same as Self::join, but put the result into self.

pub fn weaken(&mut self, target: Snapshot<R>)

Transforms self into target, given that target is included in self.

pub fn valid_op_lemma(&mut self, other: &Self)

Validate the composition of self and other.

Trait Implementations

impl<R: UnitRA> From<Resource<View<AuthViewRel<R>>>> for Fragment<R>

fn from(value: Resource<Auth<R>>) -> Self

Converts to this type from the input type.

impl<R: UnitRA> View for Fragment<R>

type ViewTy = R