hugr_core::extension

Trait CustomSignatureFunc

source 
pub trait CustomSignatureFunc: Send + Sync {
    // Required methods
    fn compute_signature<'o, 'a: 'o>(
        &'a self,
        arg_values: &[TypeArg],
        def: &'o OpDef,
        extension_registry: &ExtensionRegistry,
    ) -> Result<PolyFuncTypeRV, SignatureError>;
    fn static_params(&self) -> &[TypeParam];
}
Expand description

Trait necessary for binary computations of OpDef signature

Required Methods§

source

fn compute_signature<'o, 'a: 'o>( &'a self, arg_values: &[TypeArg], def: &'o OpDef, extension_registry: &ExtensionRegistry, ) -> Result<PolyFuncTypeRV, SignatureError>

Compute signature of node given values for the type parameters, the operation definition and the extension registry.

source

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

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

Implementors§