Trait cairo_lang_sierra::extensions::lib_func::NamedLibfunc

pub trait NamedLibfunc: Default {
    type Concrete: ConcreteLibfunc;

    const STR_ID: &'static str;

    // Required methods
    fn specialize_signature(
        &self,
        context: &dyn SignatureSpecializationContext,
        args: &[GenericArg]
    ) -> Result<LibfuncSignature, SpecializationError>;
    fn specialize(
        &self,
        context: &dyn SpecializationContext,
        args: &[GenericArg]
    ) -> Result<Self::Concrete, SpecializationError>;
}

Trait for implementing a specialization generator with a simple id.

Required Associated Types

type Concrete: ConcreteLibfunc

Required Associated Constants

const STR_ID: &'static str

Required Methods

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg] ) -> Result<LibfuncSignature, SpecializationError>

Creates the specialization of the libfunc’s signature with the template arguments.

fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg] ) -> Result<Self::Concrete, SpecializationError>

Creates the specialization with the template arguments.

Object Safety

This trait is not object safe.

Implementors

impl NamedLibfunc for DowncastLibfunc

type Concrete = DowncastConcreteLibfunc

const STR_ID: &'static str = "downcast"

impl NamedLibfunc for EnumInitLibfunc

type Concrete = EnumInitConcreteLibfunc

const STR_ID: &'static str = "enum_init"

impl NamedLibfunc for Felt252ConstLibfunc

type Concrete = Felt252ConstConcreteLibfunc

const STR_ID: &'static str = "felt252_const"

impl NamedLibfunc for FunctionCallLibfunc

type Concrete = FunctionCallConcreteLibfunc

const STR_ID: &'static str = "function_call"

impl NamedLibfunc for CheatcodeLibfunc

type Concrete = CheatcodeConcreteLibfunc

const STR_ID: &'static str = "cheatcode"

impl<T: ConstGenLibfunc> NamedLibfunc for WrapConstGenLibfunc<T>

const STR_ID: &'static str = <T as ConstGenLibfunc>::STR_ID

type Concrete = SignatureAndConstConcreteLibfunc

impl<T: SignatureAndTypeGenericLibfunc> NamedLibfunc for WrapSignatureAndTypeGenericLibfunc<T>

type Concrete = SignatureAndTypeConcreteLibfunc

const STR_ID: &'static str = <T as SignatureAndTypeGenericLibfunc>::STR_ID

impl<T: SignatureOnlyGenericLibfunc> NamedLibfunc for T

type Concrete = SignatureOnlyConcreteLibfunc

const STR_ID: &'static str = <Self as SignatureOnlyGenericLibfunc>::STR_ID

impl<TIntTraits: IntTraits> NamedLibfunc for IntConstLibfunc<TIntTraits>

const STR_ID: &'static str = TIntTraits::CONST

type Concrete = IntConstConcreteLibfunc<TIntTraits>