Struct hashconsing::HConsign

pub struct HConsign<T: Hash + Eq + Clone> { /* private fields */ }

The consign storing the actual hash consed elements as HConseds.

Implementations

impl<T: Hash + Eq + Clone> HConsign<T>

pub fn empty() -> Self

Creates an empty consign.

pub fn with_capacity(capacity: usize) -> Self

Creates an empty consign with a capacity.

pub fn fold<Acc, F>(&self, init: Acc, f: F) -> Accwhere
    F: FnMut(Acc, HConsed<T>) -> Acc,

Fold on the elements stored in the consign.

pub fn fold_res<Acc, F, E>(&self, init: Acc, f: F) -> Result<Acc, E>where
    F: FnMut(Acc, HConsed<T>) -> Result<Acc, E>,

Fold on the elements stored in the consign, result version.

pub fn len(&self) -> usize

The number of elements stored, mostly for testing.

pub fn is_empty(&self) -> bool

True if the consign is empty.

Trait Implementations

impl<T: Hash + Eq + Clone> Display for HConsign<T>where
    T: Hash + Display,

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

Formats the value using the given formatter.

impl<'a, T: Hash + Eq + Clone> HashConsign<T> for &'a mut HConsign<T>

fn mk_is_new(self, elm: T) -> (HConsed<T>, bool)

Hash conses something and returns the hash consed version.

fn mk(self, elm: T) -> HConsed<T>

Creates a HConsed element.