Struct PEConfig 

pub struct PEConfig {
    pub max_depth: usize,
    pub inline_lets: bool,
    pub prune_branches: bool,
    pub fold_arithmetic: bool,
    pub fold_logic: bool,
}

Configuration governing which reductions are attempted during partial evaluation.

Fields

max_depth: usize

Maximum recursion depth before the evaluator stops descending.

inline_lets: bool

If true, inline Let bindings whose bound expression reduces to a concrete value.

prune_branches: bool

If true, prune dead branches in logical operators when one operand is a known boolean constant.

fold_arithmetic: bool

If true, fold arithmetic operations when both operands are concrete.

fold_logic: bool

If true, fold logical operations on known boolean operands.

Trait Implementations

impl Clone for PEConfig

fn clone(&self) -> PEConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PEConfig

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

Formats the value using the given formatter.

impl Default for PEConfig

fn default() -> Self

Returns the “default value” for a type.