Struct TupleView 

pub struct TupleView<'id> { /* private fields */ }

A Tuple whose elements have been resolved, produced by Tuple::with_elements.

It is still a tuple Term (it carries the original term word, so it encodes and compares like one), and additionally behaves as a fixed-size collection of its elements: len/is_empty, tuple[i] indexing, and iteration, all yielding AnyTerm<'id> — the unresolved element terms. enif_get_tuple returns a pointer into the boxed tuple’s own heap storage (it hands back tuple_val(t)+1, confirmed in the ERTS source); the process heap holds that at a fixed address for the duration of a NIF call (no GC mid-NIF), so the cached slice is valid for this view’s brand 'id and the type stays Copy.

Implementations

impl<'id> TupleView<'id>

pub fn len(self) -> usize

Number of elements (arity) of the tuple.

pub fn is_empty(self) -> bool

Returns true if the tuple has zero elements.

Trait Implementations

impl<'id> Clone for TupleView<'id>

fn clone(&self) -> TupleView<'id>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'id> Copy for TupleView<'id>

impl Debug for TupleView<'_>

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

Formats the value using the given formatter.

impl<'id> Encoder<'id> for TupleView<'id>

Encodes for free by rewrapping the term’s own machine word — an otter term is already an Erlang term. Never fails.

fn encode(&self, env: impl Env<'id>) -> Result<AnyTerm<'id>, CodecError>

impl<'id> Index<usize> for TupleView<'id>

fn index(&self, i: usize) -> &AnyTerm<'id>

The element at zero-based index i. Panics if i >= self.len().

type Output = AnyTerm<'id>

The returned type after indexing.

impl<'id> IntoIterator for TupleView<'id>

type Item = AnyTerm<'id>

The type of the elements being iterated over.

type IntoIter = Copied<Iter<'id, AnyTerm<'id>>>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'id> Term<'id> for TupleView<'id>

fn raw_term(self) -> Term

The raw machine word backing this term.

fn copy_to<'dst>(self, env: impl Env<'dst>) -> AnyTerm<'dst>

where Self: Sized,

Copy this term into another environment (enif_make_copy), producing a term branded to the destination. The general cross-env copy — distinct from same-brand Encoder (which wraps for free) and from OwnedEnvArena copy_out (the arena exit).