Struct ra_ap_rustc_data_structures::transitive_relation::TransitiveRelationBuilder

pub struct TransitiveRelationBuilder<T> { /* private fields */ }

Implementations

impl<T: Eq + Hash + Copy> TransitiveRelationBuilder<T>

pub fn is_empty(&self) -> bool

pub fn elements(&self) -> impl Iterator<Item = &T>

pub fn maybe_map<F, U>(&self, f: F) -> Option<TransitiveRelationBuilder<U>>

where F: FnMut(T) -> Option<U>, U: Clone + Debug + Eq + Hash + Copy,

Applies the (partial) function to each edge and returns a new relation builder. If f returns None for any end-point, returns None.

pub fn add(&mut self, a: T, b: T)

Indicate that a < b (where < is this relation)

pub fn freeze(self) -> TransitiveRelation<T>

Compute the transitive closure derived from the edges, and converted to the final result. After this, all elements will be immutable to maintain the correctness of the result.

Trait Implementations

impl<T: Clone> Clone for TransitiveRelationBuilder<T>

fn clone(&self) -> TransitiveRelationBuilder<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for TransitiveRelationBuilder<T>

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

Formats the value using the given formatter.

impl<T: Eq + Hash> Default for TransitiveRelationBuilder<T>

fn default() -> Self

Returns the “default value” for a type.