Struct tvix_eval::value::thunk::ThunkSet

pub struct ThunkSet(FxHashSet<*const ThunkRepr>);

A wrapper type for tracking which thunks have already been seen in a context. This is necessary for printing and deeply forcing cyclic non-diverging data structures like rec { f = [ f ]; }. This is separate from the ThunkRepr::Blackhole mechanism, which detects diverging data structures like (rec { f = f; }).f.

The inner HashSet is not available on the outside, as it would be potentially unsafe to interact with the pointers in the set.

Tuple Fields

0: FxHashSet<*const ThunkRepr>

Implementations

impl ThunkSet

pub fn insert(&mut self, thunk: &Thunk) -> bool

Check whether the given thunk has already been seen. Will mark the thunk as seen otherwise.

Trait Implementations

impl Default for ThunkSet

fn default() -> ThunkSet

Returns the “default value” for a type.