Struct IdrisCodegenConfig 

pub struct IdrisCodegenConfig {
    pub emit_docs: bool,
    pub emit_logging: bool,
    pub default_totality: Totality,
    pub auto_inline: bool,
    pub auto_inline_limit: usize,
    pub emit_name_pragmas: bool,
    pub emit_header_comment: bool,
    pub target_backend: String,
}

Configuration controlling how Idris 2 code is generated.

Fields

emit_docs: bool

Whether to emit docstring comments.

emit_logging: bool

Whether to emit %logging pragmas for debugging.

default_totality: Totality

Default totality annotation.

auto_inline: bool

Whether to emit %inline on small functions.

auto_inline_limit: usize

Maximum body size (in lines) for auto-inlining.

emit_name_pragmas: bool

Whether to add %name pragmas.

emit_header_comment: bool

Whether to emit a module header comment.

target_backend: String

Target backend: "chez", "node", "refc", etc.

Trait Implementations

impl Clone for IdrisCodegenConfig

fn clone(&self) -> IdrisCodegenConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisCodegenConfig

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

Formats the value using the given formatter.

impl Default for IdrisCodegenConfig

fn default() -> Self

Returns the “default value” for a type.