Struct StreamerValue 

pub struct StreamerValue {
    pub text: String,
    pub ast: Comprehension,
}

A comprehension bound as a value.

Fields

text: String

The text after for, as the author wrote it (or, for a derived producer, the derivation text).

ast: Comprehension

The comprehension, with any derivation already applied.

Implementations

impl StreamerValue

pub fn new(text: impl Into<String>, ast: Comprehension) -> Self

A streamer over ast with its source text.

pub fn element_names(&self) -> Vec<String>

Element names in tuple order.

pub fn metadata(&self) -> Metadata

The algebra’s metadata: cardinality, index addressability, and natural order.

pub fn cardinality(&self) -> CardinalityClass

The cardinality class of the tuple space.

pub fn compiled(&self) -> CompiledComprehension

Compile to the shared IR. Each call is independent.

pub fn coordinate_stream(&self) -> CoordinateStream

A fresh coordinate stream with its own dispense cursor.

pub fn to_json(&self) -> String

Serialize for transport through a const node argument. The compiler lowers a producer binding to streamer("<json>").

pub fn from_json(payload: &str) -> Self

Build from a node argument: either the JSON payload the compiler emits for for expressions, or plain comprehension text such as k in 1..4 when an author calls streamer directly. Panics with the parser’s diagnostic when neither form applies.

pub fn parse_text(text: &str) -> Result<Self, String>

Parse canonical comprehension text into a streamer value.

Trait Implementations

impl Clone for StreamerValue

fn clone(&self) -> StreamerValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StreamerValue

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StreamerValue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for StreamerValue

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

Equality operator ==.

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

Inequality operator !=.

impl ReflectedValue for StreamerValue

fn type_name(&self) -> &str

Type name for diagnostics and describe output.

fn display(&self) -> String

Human-readable string representation. Used by stdout adapter, logging, and diagnostics.

fn to_json_value(&self) -> Value

JSON representation for serialization and HTTP bodies.

fn as_any(&self) -> &dyn Any

Downcast to the concrete type. Only works when the consuming code has the concrete type in scope (same crate or shared dep).

fn clone_reflected(&self) -> Box<dyn ReflectedValue>

Clone into a new boxed trait object.

fn try_as_str(&self) -> Option<String>

Try to represent as a string. Many types have a canonical string form (UUIDs, timestamps, IP addresses).

fn try_as_u64(&self) -> Option<u64>

Try to represent as u64.

fn try_as_f64(&self) -> Option<f64>

Try to represent as f64.

fn try_as_bytes(&self) -> Option<&[u8]>

Try to represent as bytes.

impl Serialize for StreamerValue

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for StreamerValue