Struct egg::RecExpr

pub struct RecExpr<L> { /* fields omitted */ }

A recursive expression from a user-defined Language.

This conceptually represents a recursive expression, but it's actually just a list of enodes.

RecExprs must satisfy the invariant that enodes' children must refer to elements that come before it in the list.

If the serde-1 feature is enabled, this implements serde::Serialize.

Implementations

impl<L: Language> RecExpr<L>

pub fn add(&mut self, node: L) -> Id

Adds a given enode to this RecExpr. The enode's children Ids must refer to elements already in this list.

impl<L: Language> RecExpr<L>

pub fn pretty(&self, width: usize) -> String

Pretty print with a maximum line length.

This gives you a nice, indented, pretty-printed s-expression.

Example

let e: RecExpr<StringLang> = "(* (+ 2 2) (+ x y))".parse().unwrap();
assert_eq!(e.pretty(10), "
(*
  (+ 2 2)
  (+ x y))
".trim());

Trait Implementations

impl<L> AsRef<[L]> for RecExpr<L>

fn as_ref(&self) -> &[L]

Performs the conversion.

impl<L: Clone> Clone for RecExpr<L>

fn clone(&self) -> RecExpr<L>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<L: Debug> Debug for RecExpr<L>

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

Formats the value using the given formatter.

impl<L> Default for RecExpr<L>

fn default() -> Self

Returns the "default value" for a type.

impl<L: Language> Display for RecExpr<L>

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

Formats the value using the given formatter.

impl<L: Language> FromStr for RecExpr<L>

type Err = String

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl<L: PartialEq> PartialEq<RecExpr<L>> for RecExpr<L>

fn eq(&self, other: &RecExpr<L>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &RecExpr<L>) -> bool

This method tests for !=.

impl<L> StructuralPartialEq for RecExpr<L>

impl<L: Language> TryFrom<Pattern<L>> for RecExpr<L>

type Error = Var

The type returned in the event of a conversion error.

fn try_from(pat: Pattern<L>) -> Result<Self, Self::Error>

Performs the conversion.