Struct AgdaX2PassConfig 

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

Configuration for AgdaX2 passes.

Fields

name: String

phase: AgdaX2PassPhase

enabled: bool

max_iterations: usize

debug: u32

timeout_ms: Option<u64>

Implementations

impl AgdaX2PassConfig

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

pub fn with_phase(self, phase: AgdaX2PassPhase) -> 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 AgdaX2PassConfig

fn clone(&self) -> AgdaX2PassConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgdaX2PassConfig

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

Formats the value using the given formatter.

impl Default for AgdaX2PassConfig

fn default() -> Self

Returns the “default value” for a type.