Struct ModuleDefinition 

pub struct ModuleDefinition {
    pub visibility: Visibility,
    pub id: Identifier,
    pub body: Body,
    pub src_ref: SrcRef,
}

Module definition.

Fields

visibility: Visibility

Visibility of the module.

id: Identifier

Name of the module.

body: Body

Module body.

src_ref: SrcRef

Source code reference.

Implementations

impl ModuleDefinition

pub fn new(visibility: Visibility, id: Identifier) -> Rc<Self>

Create a new module definition.

Trait Implementations

impl Clone for ModuleDefinition

fn clone(&self) -> ModuleDefinition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleDefinition

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

Formats the value using the given formatter.

impl Eval for ModuleDefinition

fn eval(&self, context: &mut Context) -> EvalResult<Value>

Evaluate a syntax element into a type T.

impl Grant<ModuleDefinition> for Context

fn grant(&mut self, statement: &ModuleDefinition) -> EvalResult<()>

Check if given statement T is granted within the current context

impl SrcReferrer for ModuleDefinition

fn src_ref(&self) -> SrcRef

Return source code reference.

fn source_hash(&self) -> u64

Return source code hash.

impl TreeDisplay for ModuleDefinition

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

Write item into f and use {:depth$} syntax in front of your single line output to get proper indention.

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

Display as tree starting at depth 0.

fn write_tree(&self, f: &mut impl Write) -> Result<()>

Display as tree starting at depth 0.