Trait AST 

pub trait AST: Sized + Debug {
    type Generous;

    // Required method
    fn validate(
        report: &mut impl FnMut(Location, &str),
        tree: &Self::Generous,
    ) -> Result<Self, Invalid>;
}

Represents a valid abstract syntax tree of some valid Welly source code.

Required Associated Types

type Generous

The parser type that turns into Self.

Required Methods

fn validate( report: &mut impl FnMut(Location, &str), tree: &Self::Generous, ) -> Result<Self, Invalid>

Attempt to construct a Self given its parse tree.

If you return Invalid, you must first report() at least one error.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<T: AST> AST for Box<T>

type Generous = Box<<T as AST>::Generous>

fn validate( report: &mut impl FnMut(Location, &str), tree: &Self::Generous, ) -> Result<Self, Invalid>

impl<T: AST> AST for Option<T>

type Generous = Option<<T as AST>::Generous>

fn validate( report: &mut impl FnMut(Location, &str), tree: &Self::Generous, ) -> Result<Self, Invalid>

Implementors

impl AST for Block

type Generous = Brace

impl AST for Case

type Generous = Case

impl AST for Else

type Generous = Else

impl AST for Expr

type Generous = Expr

impl AST for LExpr

type Generous = Expr

impl AST for Loc<u64>

type Generous = Loc<String>

impl AST for Name

type Generous = Loc<String>

impl AST for Stmt

type Generous = Stmt

impl<A: AST> AST for Tuple<A>

where <A as AST>::Generous: Tree,

type Generous = Round