Type Alias ApplicationResult

pub type ApplicationResult = Result<Reduction, ApplicationError>;

The result of applying a rule to an expression. Contains either a set of reduction instructions or an error.

Aliased Type

pub enum ApplicationResult {
    Ok(Reduction),
    Err(ApplicationError),
}

Variants

Ok(Reduction)

Contains the success value

Err(ApplicationError)

Contains the error value

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.