Enum Statement 

pub enum Statement<'a> {
    Expression(Expression<'a>),
    DefineVariable(DefineVariable<'a>),
    DefineFunction {
        function_name: &'a str,
        decorators: Vec<Decorator<'a>>,
        type_parameters: Vec<(&'a str, Option<TypeParameterBound>)>,
        parameters: Vec<(Span, &'a str, Option<TypeAnnotation>, Markup)>,
        body: Option<Expression<'a>>,
        local_variables: Vec<DefineVariable<'a>>,
        fn_type: TypeScheme,
        return_type_annotation: Option<TypeAnnotation>,
        readable_return_type: Markup,
    },
    DefineDimension(&'a str, Vec<TypeExpression>),
    DefineBaseUnit {
        name: &'a str,
        identifier_span: Span,
        decorators: Vec<Decorator<'a>>,
        type_annotation: Option<TypeAnnotation>,
        type_scheme: TypeScheme,
    },
    DefineDerivedUnit {
        name: &'a str,
        identifier_span: Span,
        expr: Expression<'a>,
        decorators: Vec<Decorator<'a>>,
        type_annotation: Option<TypeAnnotation>,
        type_scheme: TypeScheme,
        readable_type: Markup,
    },
    ProcedureCall {
        kind: ProcedureKind,
        span: Span,
        args: Vec<Expression<'a>>,
    },
    DefineStruct(StructInfo),
}

Variants

Expression(Expression<'a>)

DefineVariable(DefineVariable<'a>)

DefineFunction

Fields

function_name: &'a str

decorators: Vec<Decorator<'a>>

type_parameters: Vec<(&'a str, Option<TypeParameterBound>)>

parameters: Vec<(Span, &'a str, Option<TypeAnnotation>, Markup)>

body: Option<Expression<'a>>

local_variables: Vec<DefineVariable<'a>>

fn_type: TypeScheme

return_type_annotation: Option<TypeAnnotation>

readable_return_type: Markup

DefineDimension(&'a str, Vec<TypeExpression>)

DefineBaseUnit

Fields

name: &'a str

identifier_span: Span

decorators: Vec<Decorator<'a>>

type_annotation: Option<TypeAnnotation>

type_scheme: TypeScheme

DefineDerivedUnit

Fields

name: &'a str

identifier_span: Span

expr: Expression<'a>

decorators: Vec<Decorator<'a>>

type_annotation: Option<TypeAnnotation>

type_scheme: TypeScheme

readable_type: Markup

ProcedureCall

Fields

kind: ProcedureKind

span: Span

args: Vec<Expression<'a>>

DefineStruct(StructInfo)

Implementations

impl Statement<'_>

pub fn as_expression(&self) -> Option<&Expression<'_>>

Trait Implementations

impl<'a> Clone for Statement<'a>

fn clone(&self) -> Statement<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Statement<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for Statement<'a>

fn eq(&self, other: &Statement<'a>) -> 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 PrettyPrint for Statement<'_>

fn pretty_print(&self) -> Markup

Pretty prints with default options.

impl<'a> StructuralPartialEq for Statement<'a>