Trait CustomSignatureFunc

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

Trait necessary for binary computations of OpDef signature

Required Methods

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

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

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

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

Implementors

impl<T: SignatureFromArgs> CustomSignatureFunc for T