Enum AbstractDecl

pub enum AbstractDecl<'a, 'f> {
    Const {
        name: Spanned<'f, Ident<'a, 'f>>,
        ty: Spanned<'f, TyExpr<'a, 'f>>,
        def: Option<Spanned<'f, Expr<'a, 'f>>>,
    },
    Ty {
        name: Spanned<'f, Ident<'a, 'f>>,
        value: Spanned<'f, TyDecl<'a, 'f>>,
    },
    Node {
        is_unsafe: bool,
        is_function: bool,
        name: Spanned<'f, Ident<'a, 'f>>,
        static_params: Vec<Spanned<'f, StaticParamDecl<'a, 'f>>>,
        params: Vec<Spanned<'f, VariableDecl<'a, 'f>>>,
        outputs: Vec<Spanned<'f, VariableDecl<'a, 'f>>>,
    },
}

Abstract declarations, used in models

Variants

Const

Constant

Fields

name: Spanned<'f, Ident<'a, 'f>>

Its name

ty: Spanned<'f, TyExpr<'a, 'f>>

Its type

def: Option<Spanned<'f, Expr<'a, 'f>>>

A value, if defined

Ty

Type

Fields

name: Spanned<'f, Ident<'a, 'f>>

Its name

value: Spanned<'f, TyDecl<'a, 'f>>

Its definition

Node

Node

Fields

is_unsafe: bool

Is it unsafe

is_function: bool

Is it a functional node

name: Spanned<'f, Ident<'a, 'f>>

Its name

static_params: Vec<Spanned<'f, StaticParamDecl<'a, 'f>>>

Its static parameters

params: Vec<Spanned<'f, VariableDecl<'a, 'f>>>

Its dynamic parameters

outputs: Vec<Spanned<'f, VariableDecl<'a, 'f>>>

Its outputs

Trait Implementations

impl<'a, 'f> Clone for AbstractDecl<'a, 'f>

fn clone(&self) -> AbstractDecl<'a, 'f>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, 'f> Debug for AbstractDecl<'a, 'f>

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

Formats the value using the given formatter.