Struct AgdaExtConstFolder 

pub struct AgdaExtConstFolder { /* private fields */ }

Constant folding helper for AgdaExt.

Implementations

impl AgdaExtConstFolder

pub fn new() -> Self

pub fn add_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn sub_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn mul_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn div_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn rem_i64(&mut self, a: i64, b: i64) -> Option<i64>

pub fn neg_i64(&mut self, a: i64) -> Option<i64>

pub fn shl_i64(&mut self, a: i64, s: u32) -> Option<i64>

pub fn shr_i64(&mut self, a: i64, s: u32) -> Option<i64>

pub fn and_i64(&mut self, a: i64, b: i64) -> i64

pub fn or_i64(&mut self, a: i64, b: i64) -> i64

pub fn xor_i64(&mut self, a: i64, b: i64) -> i64

pub fn not_i64(&mut self, a: i64) -> i64

pub fn fold_count(&self) -> usize

pub fn failure_count(&self) -> usize

pub fn enable(&mut self)

pub fn disable(&mut self)

pub fn is_enabled(&self) -> bool

Trait Implementations

impl Clone for AgdaExtConstFolder

fn clone(&self) -> AgdaExtConstFolder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgdaExtConstFolder

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

Formats the value using the given formatter.

impl Default for AgdaExtConstFolder

fn default() -> AgdaExtConstFolder

Returns the “default value” for a type.