Trait hugr_core::extension::ConstFold

pub trait ConstFold: Send + Sync {
    // Required method
    fn fold(
        &self,
        type_args: &[TypeArg],
        consts: &[(IncomingPort, Value)],
    ) -> ConstFoldResult;
}

Trait implemented by extension operations that can perform constant folding.

Required Methods

fn fold( &self, type_args: &[TypeArg], consts: &[(IncomingPort, Value)], ) -> ConstFoldResult

Given type arguments type_args and crate::ops::Const values for inputs at crate::IncomingPorts, try to evaluate the operation.

Trait Implementations

impl Debug for Box<dyn ConstFold>

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

Formats the value using the given formatter.

Implementors

impl ConstFold for NaryLogic

impl ConstFold for Folder

impl<T> ConstFold for T

where T: Fn(&[(IncomingPort, Value)]) -> ConstFoldResult + Send + Sync,

Blanket implementation for functions that only require the constants to evaluate - type arguments are not relevant.