Struct NoneReads 

pub struct NoneReads { /* private fields */ }

Per leaf clause, the names whose reads of None made an evaluation of its source yield nothing (comprehension_forms.md §5 V3, none_semantics.md Rule 1): the names the source read, after composition, that nothing binds or that are bound to None, each with which of the two it was. A host that holds an unbound name in a source as an error reads it here.

Indexed like EvaluatedIteration::clauses: entry i belongs to clause i. Each list holds a name once over every evaluation, in NoneRead’s order, and is empty when no evaluation read None.

Implementations

impl NoneReads

pub fn clause(&self, index: usize) -> &[NoneRead]

The None reads of clause index of EvaluatedIteration::clauses; empty past the end.

pub fn iter(&self) -> impl Iterator<Item = &[NoneRead]>

Every clause’s None reads, in clause order.

pub fn is_empty(&self) -> bool

Whether no evaluation of any clause read None.

Trait Implementations

impl Clone for NoneReads

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 NoneReads

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

Formats the value using the given formatter.

impl Default for NoneReads

fn default() -> Self

Returns the “default value” for a type.

impl Eq for NoneReads

impl PartialEq for NoneReads

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for NoneReads