Struct Module 

pub struct Module {
    pub name: String,
    pub line: usize,
    pub depends: Vec<String>,
    pub exposes: Vec<String>,
    pub exposes_opaque: Vec<String>,
    pub exposes_line: Option<usize>,
    pub intent: String,
    pub effects: Option<Vec<String>>,
    pub effects_line: Option<usize>,
}

Fields

name: String

line: usize

depends: Vec<String>

exposes: Vec<String>

exposes_opaque: Vec<String>

exposes_line: Option<usize>

intent: String

effects: Option<Vec<String>>

Module-level effect surface declaration. None is legacy/mixed (no enforcement, soft warning emitted by aver check); Some([]) is explicit pure; Some([...]) is a declared boundary — every function’s ! [...] must be a subset (namespace-level entry like Disk admits any Disk.* method).

effects_line: Option<usize>

Trait Implementations

impl Clone for Module

fn clone(&self) -> Module

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Module

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

Formats the value using the given formatter.

impl PartialEq for Module

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