Struct WhnfConfig 

pub struct WhnfConfig {
    pub beta: bool,
    pub zeta: bool,
    pub delta: bool,
    pub iota: bool,
    pub max_steps: u64,
}

Configuration flags for the WHNF reducer.

Fields

beta: bool

Whether to apply beta reductions.

zeta: bool

Whether to apply zeta (let) reductions.

delta: bool

Whether to unfold definitions (delta).

iota: bool

Whether to apply iota (recursor) reductions.

max_steps: u64

Maximum reduction steps (0 = unlimited).

Implementations

impl WhnfConfig

pub fn structural() -> Self

Create a config that only applies structural reductions.

pub fn with_limit(max_steps: u64) -> Self

Create a config with a step limit.

pub fn no_delta(self) -> Self

Disable delta (definition unfolding).

pub fn no_beta(self) -> Self

Disable beta reduction.

pub fn any_enabled(&self) -> bool

Check if at least one reduction is enabled.

Trait Implementations

impl Clone for WhnfConfig

fn clone(&self) -> WhnfConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WhnfConfig

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

Formats the value using the given formatter.

impl Default for WhnfConfig

fn default() -> Self

Returns the “default value” for a type.