hugr_core::extension

Trait SignatureFromArgs

Source 
pub trait SignatureFromArgs: Send + Sync {
    // Required methods
    fn compute_signature(
        &self,
        arg_values: &[TypeArg],
    ) -> Result<PolyFuncTypeRV, SignatureError>;
    fn static_params(&self) -> &[TypeParam] ⓘ;
}
Expand description

Compute signature of OpDef given type arguments.

Required Methods§

Source

fn compute_signature( &self, arg_values: &[TypeArg], ) -> Result<PolyFuncTypeRV, SignatureError>

Compute signature of node given values for the type parameters.

Source

fn static_params(&self) -> &[TypeParam] ⓘ

The declared type parameters which require values in order for signature to be computed.

Implementors§