Struct Expr

pub struct Expr<M> {
    pub meta: M,
    pub kind: ExprKind,
    pub ty: ExprType,
}

An expression with some metadata and a type.

Fields

meta: M

kind: ExprKind

ty: ExprType

Implementations

impl<M> Expr<M>

pub fn get_type( &self, expressions: &[Expr<M>], entities: &[Entity<M>], ) -> ExprType

Get the expression’s type.

impl Expr<()>

pub fn new(kind: ExprKind, ty: ExprType) -> Self

Create a new expression with a kind and a type.

Trait Implementations

impl<M: Clone> Clone for Expr<M>

fn clone(&self) -> Expr<M>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<M: Debug> Debug for Expr<M>

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

Formats the value using the given formatter.

impl<M: Default> Default for Expr<M>

fn default() -> Expr<M>

Returns the “default value” for a type.

impl<M: Hash> Hash for Expr<M>

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<M: PartialEq> PartialEq for Expr<M>

fn eq(&self, other: &Expr<M>) -> 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<M> Reindex for Expr<M>

fn reindex(&mut self, map: &IndexMap)

Reindex the expression/rule according to the given map.

impl<M> Serialize for Expr<M>

where M: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<M: Eq> Eq for Expr<M>

impl<M> StructuralPartialEq for Expr<M>