Struct IdrisModule 

pub struct IdrisModule {
    pub module_name: Vec<String>,
    pub imports: Vec<IdrisImport>,
    pub declarations: Vec<IdrisDecl>,
    pub doc: Option<String>,
}

A complete Idris 2 source module (maps to a .idr file).

Fields

module_name: Vec<String>

Module name, e.g. ["Data", "MyList"].

imports: Vec<IdrisImport>

Import directives.

declarations: Vec<IdrisDecl>

Top-level declarations.

doc: Option<String>

Optional module-level doc comment.

Implementations

impl IdrisModule

pub fn new(name: Vec<String>) -> Self

Create a new module.

pub fn with_doc(self, doc: impl Into<String>) -> Self

Set the module doc comment.

pub fn import(&mut self, imp: IdrisImport)

Add an import.

pub fn add(&mut self, decl: IdrisDecl)

Add a declaration.

pub fn blank(&mut self)

Add a blank line.

Trait Implementations

impl Clone for IdrisModule

fn clone(&self) -> IdrisModule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisModule

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

Formats the value using the given formatter.