[][src]Enum adapton::reflect::ArtContent

pub enum ArtContent {
    Val(Rc<Val>),
    Comp(Option<Rc<Val>>),
    Unknown,
}

The content of an articulation: Either a cell holding a value, or a thunk that has optionally produced a value.

Variants

Val(Rc<Val>)

The Art consists of a ref cell holding a value

Comp(Option<Rc<Val>>)

The Art consists of a thunk that, when forced, computes a value

Unknown

Unknown content means that it has not yet dereferenced by any reflective process. A reflective process dereferences an Art by using a reflected DCG to map this Art's Loc to a Node. This node gives one of the two known cases (Val or Comp), above, depending on whether it is a RefNode or a CompNode.

Trait Implementations

impl Clone for ArtContent[src]

impl Debug for ArtContent[src]

impl Eq for ArtContent[src]

impl Hash for ArtContent[src]

impl PartialEq<ArtContent> for ArtContent[src]

impl StructuralEq for ArtContent[src]

impl StructuralPartialEq for ArtContent[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.