Enum DeclBody 

pub enum DeclBody {
    Type {
        name: String,
        params: Vec<Param>,
        ty: TypeAst,
        tail: Option<Tail>,
    },
    Const {
        name: String,
        ty: Option<TypeAst>,
        expr: Rc<Expr>,
    },
    Func {
        name: String,
        params: Vec<Param>,
        ret: Option<TypeAst>,
        body: Rc<Expr>,
    },
    Output {
        name: String,
        ty: TypeAst,
        expr: Rc<Expr>,
    },
    Input {
        name: String,
        ty: TypeAst,
        fallback: Option<Rc<Expr>>,
    },
    Diagnostic {
        name: String,
        params: Vec<Param>,
        severity: String,
        template: Vec<TPart>,
    },
    Dimension {
        name: String,
        terms: Option<Vec<(String, i32)>>,
    },
    Unit {
        name: String,
        dim: Option<String>,
        factor: Option<Rc<Expr>>,
        base: Option<String>,
    },
    Import {
        from: String,
        names: Option<Vec<ImportItem>>,
        ns: Option<String>,
    },
    ReExport {
        from: String,
        names: Vec<ImportItem>,
    },
}

a declaration (§5, §8)

Variants

Type

a type

Fields

name: String

the name

params: Vec<Param>

the type parameters

ty: TypeAst

the type

tail: Option<Tail>

its else tail

Const

a constant

Fields

name: String

the name

ty: Option<TypeAst>

the annotation, when given

expr: Rc<Expr>

the expression

Func

a function

Fields

name: String

the name

params: Vec<Param>

the parameters

ret: Option<TypeAst>

the return type, when annotated

body: Rc<Expr>

the body

Output

an output root

Fields

name: String

the name

ty: TypeAst

the type

expr: Rc<Expr>

the expression

Input

an input root

Fields

name: String

the name

ty: TypeAst

the type

fallback: Option<Rc<Expr>>

the fallback, when given

Diagnostic

a diagnostic template

Fields

name: String

the name

params: Vec<Param>

the parameters

severity: String

the severity

template: Vec<TPart>

the message template

Dimension

a dimension

Fields

name: String

the name

terms: Option<Vec<(String, i32)>>

its definition as (dimension, exponent) terms; none for a base dimension

Unit

a unit

Fields

name: String

the name

dim: Option<String>

its dimension

factor: Option<Rc<Expr>>

its factor against the base unit

base: Option<String>

the base unit it is defined against

Import

an import

Fields

from: String

the module

names: Option<Vec<ImportItem>>

the names imported; none for a namespace import

ns: Option<String>

the namespace, for import * as ns

ReExport

a re-export

Fields

from: String

the module

names: Vec<ImportItem>

the names

Trait Implementations

impl Clone for DeclBody

fn clone(&self) -> DeclBody

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclBody

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

Formats the value using the given formatter.