Enum adapton::engine::ArtIdChoice

pub enum ArtIdChoice {
    Eager,
    Structural,
    Nominal(Name),
}

An ArtIdChoice choses between Eager, Structural and Nominal identities for articulation points introduced by thunk.

An Eager identity is special, and it means "do not introduce any laziness/memoization overhead here"; when Eager is used, no thunk is created; rather, the computation eagerly produces an immutable value held in an Rc.

Variants

Eager

Eagerly produces an Art that merely consists of an Rc; no additional indirection is needed/used.

Structural

Identifies an Art based on hashing content (e.g., prog_pt for code and argument(s)).

Nominal(Name)

Identifies an Art based on a programmer-chosen name.

Trait Implementations

impl Hash for ArtIdChoice

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the state given, updating the hasher as necessary.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the state provided.

impl Debug for ArtIdChoice

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for ArtIdChoice

fn eq(&self, __arg_0: &ArtIdChoice) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &ArtIdChoice) -> bool

This method tests for !=.

impl Eq for ArtIdChoice

impl Clone for ArtIdChoice

fn clone(&self) -> ArtIdChoice

Returns a copy of the value.

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

Performs copy-assignment from source.