Struct Sources 

pub struct Sources {
    pub module: Option<String>,
    pub interface: Option<String>,
    pub path: Option<String>,
}

One module’s sources: its implementation, and its published interface if one is checked in.

Fields

module: Option<String>

The .beck file. Required to link; optional to check against.

interface: Option<String>

The .becki file, if it is checked in. When present it is what downstream modules see — which is the point: reviewing the contract is reviewing this file.

path: Option<String>

Where the module text came from, if it was a file. Two things depend on it and both are visible to a user: which surface the text is in — .sx selects the S-expression reader (§2.2) — and what a diagnostic calls the file. Defaults to <name>.beck.

Trait Implementations

impl Clone for Sources

fn clone(&self) -> Sources

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Sources

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

Formats the value using the given formatter.

impl Default for Sources

fn default() -> Sources

Returns the “default value” for a type.