Struct ComprehensionSpec 

pub struct ComprehensionSpec {
    pub for: ForSpec,
    pub where: Option<String>,
    pub order: Option<String>,
}

The friendly, serde-deserializable comprehension surface.

Field names match the YAML / JSON keys 1:1. The for field carries the only required input — the clause specification — in any of the three accepted shapes (see ForSpec).

Fields

for: ForSpec

The clause specification. See ForSpec for the accepted shapes. r#for because for is a reserved keyword in Rust — serde renames it for YAML / JSON.

where: Option<String>

Optional filter predicate (the where clause). String form, evaluated against bound coordinates at iteration time.

order: Option<String>

Optional traversal-order spec. See crate::comprehension::parse::parse_order_spec for the accepted syntax (lex, halton/50, shells(origin=center, depth=3), etc.).

Implementations

impl ComprehensionSpec

pub fn into_algebra(self) -> Result<Comprehension, SpecConvertError>

Convert this spec into the algebra-layer AlgebraAst. Routes the for shape through the legacy parser, builds a legacy AST (applying where / order modifiers), and runs the legacy_to_algebra bridge.

pub fn into_legacy(self) -> Result<Comprehension, SpecConvertError>

Build the intermediate legacy AST. Exposed for tests and for any consumer that still needs the legacy shape (e.g., during incremental cutover).

Trait Implementations

impl Clone for ComprehensionSpec

fn clone(&self) -> ComprehensionSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ComprehensionSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ComprehensionSpec

fn deserialize<__D>( __deserializer: __D, ) -> Result<ComprehensionSpec, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ComprehensionSpec

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.