Enum View 

pub enum View<'a> {
    Int(i64),
    Real(f64),
    Date(i64),
    Var(&'a str),
    Atom(&'a str),
    Str(&'a str),
    Bin(&'a [u8]),
    Func(&'a Arena, &'a Term, &'a [Term]),
    List(&'a Arena, &'a [Term], &'a Term),
    Tuple(&'a Arena, &'a [Term]),
}

A borrowed view into the interned contents of a Term.

Use Term::view to obtain a view. Each variant of View represents the decoded form of a term and borrows any data referenced from the Arena or the term handle itself. No allocations are performed when constructing a View; instead references into the underlying storage are returned directly. The lifetime 'a binds the returned references to both the borrowed Term and the supplied Arena.

Variants

Int(i64)

An integer value.

Real(f64)

A floating point value.

Date(i64)

A date value (milliseconds since the Unix epoch).

Var(&'a str)

A variable name borrowed from the term or arena.

Atom(&'a str)

An atom name borrowed from the term or arena.

Str(&'a str)

A UTF‑8 string borrowed from the term or arena.

Bin(&'a [u8])

A binary slice borrowed from the term or arena.

Func(&'a Arena, &'a Term, &'a [Term])

A compound term view containing the functor name and a slice of arguments. Both the functor and the argument slice are borrowed; the arguments themselves are Term handles owned by the arena.

List(&'a Arena, &'a [Term], &'a Term)

A list view containing a slice of the list elements and a reference to the tail term. The element slice and the tail are borrowed; the elements themselves are Term handles owned by the arena. The tail of a proper list will always reference Term::NIL.

Tuple(&'a Arena, &'a [Term])

A tuple view containing a slice of the tuple elements. The element slice are borrowed; the elements themselves are Term handles owned by the arena.

Trait Implementations

impl<'a> Clone for View<'a>

fn clone(&self) -> View<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for View<'_>

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

Formats the value using the given formatter.

impl Ord for View<'_>

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<'a> PartialEq for View<'a>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for View<'_>

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'a> Copy for View<'a>

impl<'a> Eq for View<'a>