Enum OpKind 

pub enum OpKind<SubExpr> {
    App(SubExpr, SubExpr),
    BinOp(BinOp, SubExpr, SubExpr),
    BoolIf(SubExpr, SubExpr, SubExpr),
    Merge(SubExpr, SubExpr, Option<SubExpr>),
    ToMap(SubExpr, Option<SubExpr>),
    Field(SubExpr, Label),
    Projection(SubExpr, BTreeSet<Label>),
    ProjectionByExpr(SubExpr, SubExpr),
    Completion(SubExpr, SubExpr),
    With(SubExpr, Vec<Label>, SubExpr),
}

Operations

Variants

App(SubExpr, SubExpr)

f a

BinOp(BinOp, SubExpr, SubExpr)

Binary operations

BoolIf(SubExpr, SubExpr, SubExpr)

if x then y else z

Merge(SubExpr, SubExpr, Option<SubExpr>)

merge x y : t

ToMap(SubExpr, Option<SubExpr>)

toMap x : t

Field(SubExpr, Label)

e.x

Projection(SubExpr, BTreeSet<Label>)

e.{ x, y, z }

ProjectionByExpr(SubExpr, SubExpr)

e.(t)

Completion(SubExpr, SubExpr)

x::y

With(SubExpr, Vec<Label>, SubExpr)

x with a.b.c = y

Implementations

impl<SE> OpKind<SE>

pub fn traverse_ref<'a, SE2, Err>( &'a self, f: impl FnMut(&'a SE) -> Result<SE2, Err>, ) -> Result<OpKind<SE2>, Err>

pub fn map_ref<'a, SE2>(&'a self, f: impl FnMut(&'a SE) -> SE2) -> OpKind<SE2>

Trait Implementations

impl<SubExpr: Clone> Clone for OpKind<SubExpr>

fn clone(&self) -> OpKind<SubExpr>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<SubExpr: Debug> Debug for OpKind<SubExpr>

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

Formats the value using the given formatter.

impl<SE: Display + Clone> Display for OpKind<SE>

Generic instance that delegates to subexpressions

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

Formats the value using the given formatter.

impl<SubExpr: Hash> Hash for OpKind<SubExpr>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<SubExpr: Ord> Ord for OpKind<SubExpr>

fn cmp(&self, other: &OpKind<SubExpr>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<SubExpr: PartialEq> PartialEq for OpKind<SubExpr>

fn eq(&self, other: &OpKind<SubExpr>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<SubExpr: PartialOrd> PartialOrd for OpKind<SubExpr>

fn partial_cmp(&self, other: &OpKind<SubExpr>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<SubExpr: Eq> Eq for OpKind<SubExpr>

impl<SubExpr> StructuralPartialEq for OpKind<SubExpr>