Struct adapton::engine::Art

pub struct Art<T> { /* fields omitted */ }

Articulations: for incrementally-changing data/computation.

• Introduced by (produced by) thunk, cell and put

• Eliminated by (consumed by) force (and set).

The term Art stands for two things here:

• Adapton Reference / Thunk, and

• Articulation, for naming and discretizing incrementally-changing data (and computations).

Each art has a unique identity, its Name. Because this identity, each art permits efficient (O(1) time) hashing and equality checks.

The concept of an art abstracts over whether the producer is eager (like a ref cell) or lazy (like a thunk). One uses force to inspect both eager and lazy arts. Consequently, code that consumes structures with arts need only ever use force (not two different functions, depending on whether the art is lazy or eager).

Trait Implementations

impl<T: Clone> Clone for Art<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Art<T>

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

Formats the value using the given formatter.

impl<T: Eq> Eq for Art<T>

impl<T: Hash> Hash for Art<T>

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].

impl<T: PartialEq> PartialEq<Art<T>> for Art<T>

fn eq(&self, other: &Art<T>) -> bool

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

fn ne(&self, other: &Art<T>) -> bool

This method tests for !=.

impl<T> StructuralEq for Art<T>

impl<T> StructuralPartialEq for Art<T>