Enum OpArgs 

pub enum OpArgs {
    CountWhere(CountWhere),
    WindowFilter(WindowFilter),
    Extremum(Extremum),
    TimestampDiff(TimestampDiff),
    Compare(Compare),
    Arith(Arith),
    FxConvert(FxConvert),
    MemberOf(MemberOf),
    FieldPresence(FieldPresence),
    FilterWithReasons(FilterWithReasons),
    TopK(TopK),
    WeightedRank(WeightedRank),
    JoinKeyed(JoinKeyed),
    MergeFields(MergeFields),
    ComposeKey(ComposeKey),
}

Decoded operator arguments.

Variants

CountWhere(CountWhere)

WindowFilter(WindowFilter)

Extremum(Extremum)

TimestampDiff(TimestampDiff)

Compare(Compare)

Arith(Arith)

FxConvert(FxConvert)

MemberOf(MemberOf)

FieldPresence(FieldPresence)

FilterWithReasons(FilterWithReasons)

TopK(TopK)

WeightedRank(WeightedRank)

JoinKeyed(JoinKeyed)

MergeFields(MergeFields)

ComposeKey(ComposeKey)

Implementations

impl OpArgs

pub fn op(&self) -> (&'static str, u32)

Registry name and version.

pub fn to_json(&self) -> Json

The arguments as the definition document carries them.

impl OpArgs

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

References this step reads, in argument order (spec 002, 3.10.4).

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

Every raw reference string, including item references and now, for the structure phase.

pub fn uses_v2(&self) -> bool

Whether the arguments use a predicate or reference form of rustev.exact/2 (spec 032, 3.1.3).

pub fn structure(&self) -> Result<(), String>

Structural checks (compile phase b).

pub fn own_reasons(&self) -> BTreeSet<ReasonKind>

Reasons this operator itself can produce, beyond its dependencies’.

pub fn type_check(&self, env: &TyEnv<'_>) -> Result<Ty, String>

The output type, or a kind mismatch (compile phase e).

pub fn merge_rule_error(&self, env: &TyEnv<'_>) -> Option<String>

The category 11 refusals of merge_fields@1 (spec 032, 3.6.1): a field of either side with no rule, or a rule naming a field missing from a side it reads.

impl OpArgs

pub fn eval(&self, cx: &OpContext<'_>) -> Result<Value, Unresolved>

Evaluate with every dependency resolved (the evaluator checks that first, except for field_presence, which reads statuses).

Trait Implementations

impl Clone for OpArgs

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 OpArgs

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

Formats the value using the given formatter.

impl PartialEq for OpArgs

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OpArgs