pub enum Occurrences {
Zero,
Once,
Many,
}Expand description
How often a name occurs — the only distinction an occurrence-gated ζ rule needs.
Variants§
Zero
The name does not occur free at all.
Once
Exactly one free occurrence — substituting cannot duplicate anything.
Many
Two or more free occurrences — substituting COPIES the value at each one.
Trait Implementations§
Source§impl Clone for Occurrences
impl Clone for Occurrences
Source§fn clone(&self) -> Occurrences
fn clone(&self) -> Occurrences
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for Occurrences
impl Debug for Occurrences
Source§impl PartialEq for Occurrences
impl PartialEq for Occurrences
impl Copy for Occurrences
impl Eq for Occurrences
impl StructuralPartialEq for Occurrences
Auto Trait Implementations§
impl Freeze for Occurrences
impl RefUnwindSafe for Occurrences
impl Send for Occurrences
impl Sync for Occurrences
impl Unpin for Occurrences
impl UnsafeUnpin for Occurrences
impl UnwindSafe for Occurrences
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more