Struct ModuleDef 

pub struct ModuleDef {
    pub scope: Option<Scope>,
    pub pos: Position,
    pub arg_set: FieldList,
    pub out_expr: Option<Box<Expression>>,
    pub out_constraint: Option<Box<Expression>>,
    pub arg_tuple: Option<Rc<Val>>,
    pub statements: Vec<Statement>,
}

Fields

scope: Option<Scope>

pos: Position

arg_set: FieldList

out_expr: Option<Box<Expression>>

out_constraint: Option<Box<Expression>>

arg_tuple: Option<Rc<Val>>

statements: Vec<Statement>

Implementations

impl ModuleDef

pub fn new<P: Into<Position>>( arg_set: FieldList, stmts: Vec<Statement>, pos: P, ) -> Self

pub fn set_out_expr(&mut self, expr: Expression)

Trait Implementations

impl Clone for ModuleDef

fn clone(&self) -> ModuleDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleDef

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

Formats the value using the given formatter.

impl DeriveShape for ModuleDef

fn derive_shape(&self, symbol_table: &mut BTreeMap<Rc<str>, Shape>) -> Shape

Derive a shape using a provided symbol table.

impl PartialEq for ModuleDef

fn eq(&self, other: &ModuleDef) -> 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 StructuralPartialEq for ModuleDef