Struct IdrisNamespaceBlock 

pub struct IdrisNamespaceBlock {
    pub name: String,
    pub decls: Vec<IdrisDecl>,
}

An Idris 2 namespace block.

Fields

name: String

Namespace name.

decls: Vec<IdrisDecl>

Declarations in this namespace.

Implementations

impl IdrisNamespaceBlock

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

Create a new namespace block.

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

Add a declaration.

pub fn emit(&self, backend: &IdrisBackend) -> String

Emit the namespace block.

Trait Implementations

impl Clone for IdrisNamespaceBlock

fn clone(&self) -> IdrisNamespaceBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisNamespaceBlock

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

Formats the value using the given formatter.