[−][src]Trait egg::parse::ParsableLanguage

pub trait ParsableLanguage: Language where
    Self::Constant: FromStr,
    Self::Variable: FromStr,
    Self::Operator: FromStr,
    Self::Wildcard: FromStr, {
    fn parse_pattern(&self, s: &str) -> Result<Pattern<Self>> { ... }

    fn parse_rewrite(
        &self, 
        name: &str, 
        lhs: &str, 
        rhs: &str
    ) -> Result<Rewrite<Self>> { ... }

    fn parse_expr(&self, s: &str) -> Result<RecExpr<Self>> { ... }
}

A trait to parse stuff from a Langauge.

This is blanket-impled for any Langauge whose domains all implement FromStr. TestLang is a parsable langauge.

Provided methods

fn parse_pattern(&self, s: &str) -> Result<Pattern<Self>>

fn parse_rewrite(
    &self,
    name: &str,
    lhs: &str,
    rhs: &str
) -> Result<Rewrite<Self>>

fn parse_expr(&self, s: &str) -> Result<RecExpr<Self>>

Loading content...

Implementors

impl<L: Language> ParsableLanguage for L where
    Self::Constant: FromStr,
    Self::Variable: FromStr,
    Self::Operator: FromStr,
    Self::Wildcard: FromStr, [src]

fn parse_pattern(&self, s: &str) -> Result<Pattern<Self>>[src]

fn parse_rewrite(
    &self,
    name: &str,
    lhs: &str,
    rhs: &str
) -> Result<Rewrite<Self>>[src]

fn parse_expr(&self, s: &str) -> Result<RecExpr<Self>>[src]

Loading content...