Enum CycleDetector 

pub enum CycleDetector<T> {
    Unprocessed,
    Processing,
    Cyclic,
    Processed(T),
}

An enum to manage potentially-cyclic computations.

Variants

Unprocessed

We haven’t analyzed this yet.

Processing

Sentinel value that we set when starting the computation on an item. If we ever encounter this, we know we encountered a loop that we can’t handle.

Cyclic

Sentinel value we put when encountering a cycle, so we can know that happened.

Processed(T)

The final result of the computation.

Implementations

impl<T> CycleDetector<T>

pub fn as_unprocessed(&self) -> Option<()>

pub fn as_processing(&self) -> Option<()>

pub fn as_cyclic(&self) -> Option<()>

pub fn as_processed(&self) -> Option<&T>

impl<T> CycleDetector<T>

pub fn as_unprocessed_mut(&mut self) -> Option<()>

pub fn as_processing_mut(&mut self) -> Option<()>

pub fn as_cyclic_mut(&mut self) -> Option<()>

pub fn as_processed_mut(&mut self) -> Option<&mut T>

impl<T> CycleDetector<T>

pub fn start_processing(&mut self) -> bool

If this item hadn’t been processed, return true and record it as Processing, otherwise return false. If this item is already processing, record a cycle.

pub fn done_processing(&mut self, x: T)

Trait Implementations

impl<T: Debug> Debug for CycleDetector<T>

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

Formats the value using the given formatter.

impl<T> Default for CycleDetector<T>

fn default() -> Self

Returns the “default value” for a type.