Struct AgdaExtPassConfig 

pub struct AgdaExtPassConfig {
    pub name: String,
    pub phase: AgdaExtPassPhase,
    pub enabled: bool,
    pub max_iterations: usize,
    pub debug: u32,
    pub timeout_ms: Option<u64>,
}

Configuration for AgdaExt passes.

Fields

name: String

phase: AgdaExtPassPhase

enabled: bool

max_iterations: usize

debug: u32

timeout_ms: Option<u64>

Implementations

impl AgdaExtPassConfig

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

pub fn with_phase(self, phase: AgdaExtPassPhase) -> Self

pub fn with_max_iter(self, n: usize) -> Self

pub fn with_debug(self, d: u32) -> Self

pub fn disabled(self) -> Self

pub fn with_timeout(self, ms: u64) -> Self

pub fn is_debug_enabled(&self) -> bool

Trait Implementations

impl Clone for AgdaExtPassConfig

fn clone(&self) -> AgdaExtPassConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgdaExtPassConfig

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

Formats the value using the given formatter.

impl Default for AgdaExtPassConfig

fn default() -> Self

Returns the “default value” for a type.