Struct ScanPredicate 

pub struct ScanPredicate;

Phase-1 placeholder for Op::Scan’s early_exit field. The FIELD is defined now so the enum shape is final (one 03-ir MAJOR bump); the data-dependent early-exit MECHANISM is Phase 2. It is never Some on any live Phase-1 path; if a realize/lowering path sees Some, that path returns a clear Err (a surfaced Phase-2 gap), never a panic.

Trait Implementations

impl Clone for ScanPredicate

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScanPredicate

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

Formats the value using the given formatter.

impl PartialEq for ScanPredicate

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ScanPredicate