Struct IdrisParametersBlock 

pub struct IdrisParametersBlock {
    pub params: Vec<(String, IdrisType)>,
    pub decls: Vec<IdrisDecl>,
}

A parameters block, grouping shared implicit parameters.

Fields

params: Vec<(String, IdrisType)>

Shared parameters declared for all contained definitions.

decls: Vec<IdrisDecl>

Declarations inside the block.

Implementations

impl IdrisParametersBlock

pub fn new(params: Vec<(String, IdrisType)>) -> Self

Create a new parameters block.

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

Add a declaration to the block.

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

Emit the parameters block.

Trait Implementations

impl Clone for IdrisParametersBlock

fn clone(&self) -> IdrisParametersBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisParametersBlock

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

Formats the value using the given formatter.