Trait cairo_lang_sierra::extensions::lib_func::GenericLibfuncEx

pub trait GenericLibfuncEx: GenericLibfunc {
    // Required methods
    fn specialize_signature_by_id(
        context: &dyn SignatureSpecializationContext,
        libfunc_id: &GenericLibfuncId,
        args: &[GenericArg]
    ) -> Result<LibfuncSignature, ExtensionError>;
    fn specialize_by_id(
        context: &dyn SpecializationContext,
        libfunc_id: &GenericLibfuncId,
        args: &[GenericArg]
    ) -> Result<Self::Concrete, ExtensionError>;
}

Trait for introducing helper methods on GenericLibfunc.

Required Methods

fn specialize_signature_by_id( context: &dyn SignatureSpecializationContext, libfunc_id: &GenericLibfuncId, args: &[GenericArg] ) -> Result<LibfuncSignature, ExtensionError>

fn specialize_by_id( context: &dyn SpecializationContext, libfunc_id: &GenericLibfuncId, args: &[GenericArg] ) -> Result<Self::Concrete, ExtensionError>

Object Safety

This trait is not object safe.

Implementors

impl<TGenericLibfunc: GenericLibfunc> GenericLibfuncEx for TGenericLibfunc