Struct IdrisModuleBuilder 

pub struct IdrisModuleBuilder { /* private fields */ }

Fluent builder for constructing complete IdrisModule objects.

Implementations

impl IdrisModuleBuilder

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

Start building a new module with the given hierarchical name.

pub fn import(self, imp: IdrisImport) -> Self

Add an import.

pub fn public_import(self, parts: Vec<String>) -> Self

Add a public import.

pub fn decl(self, decl: IdrisDecl) -> Self

Add a declaration.

pub fn pragma(self, pragma: IdrisPragma) -> Self

Add a pragma.

pub fn comment(self, text: impl Into<String>) -> Self

Add a comment.

pub fn build(self) -> IdrisModule

Consume the builder and produce the module.

Trait Implementations

impl Debug for IdrisModuleBuilder

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

Formats the value using the given formatter.