Struct CaptureBuilder 

pub struct CaptureBuilder<Position> { /* private fields */ }

The only state that issues capture handles and retains the producer’s matching source positions.

Implementations

impl<Position> CaptureBuilder<Position>

pub const fn declared() -> Self

Open one checked capture builder with no issued source positions.

pub fn open(&mut self) -> CaptureLevel<'_, Position>

Open one root level under a fresh capture walk while retaining this builder’s continuous source-handle custody.

A fresh level lets an attribute body and its item stand under separate input bounds and one shared source table. Where the preceding level refused, opening the next rolls back only that attempt’s positions and preserves every handle from earlier finished captures.

pub fn positions(&self) -> &[Position]

The producer positions retained in handle order.

Trait Implementations

impl<Position: Clone> Clone for CaptureBuilder<Position>

fn clone(&self) -> CaptureBuilder<Position>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Position: Debug> Debug for CaptureBuilder<Position>

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

Formats the value using the given formatter.

impl<Position: Eq> Eq for CaptureBuilder<Position>

impl<Position: Hash> Hash for CaptureBuilder<Position>

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<Position: PartialEq> PartialEq for CaptureBuilder<Position>

fn eq(&self, other: &CaptureBuilder<Position>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<Position: PartialEq> StructuralPartialEq for CaptureBuilder<Position>