Trait 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 Constants

const STR_ID: &'static str

Required Associated Types

type Concrete: ConcreteLibfunc

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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl NamedLibfunc for ArraySnapshotMultiPopBackLibfunc

const STR_ID: &'static str = "array_snapshot_multi_pop_back"

type Concrete = ConcreteMultiPopLibfunc

impl NamedLibfunc for ArraySnapshotMultiPopFrontLibfunc

const STR_ID: &'static str = "array_snapshot_multi_pop_front"

type Concrete = ConcreteMultiPopLibfunc

impl NamedLibfunc for BoundedIntConstrainLibfunc

const STR_ID: &'static str = "bounded_int_constrain"

type Concrete = BoundedIntConstrainConcreteLibfunc

impl NamedLibfunc for BoundedIntDivRemLibfunc

const STR_ID: &'static str = "bounded_int_div_rem"

type Concrete = BoundedIntDivRemConcreteLibfunc

impl NamedLibfunc for DowncastLibfunc

const STR_ID: &'static str = "downcast"

type Concrete = DowncastConcreteLibfunc

impl NamedLibfunc for GetOutputLibFunc

const STR_ID: &'static str = "get_circuit_output"

type Concrete = ConcreteGetOutputLibFunc

impl NamedLibfunc for U96LimbsLessThanGuaranteeVerifyLibfunc

const STR_ID: &'static str = "u96_limbs_less_than_guarantee_verify"

type Concrete = ConcreteU96LimbsLessThanGuaranteeVerifyLibfunc

impl NamedLibfunc for ConstAsBoxLibfunc

const STR_ID: &'static str = "const_as_box"

type Concrete = ConstAsBoxConcreteLibfunc

impl NamedLibfunc for ConstAsImmediateLibfunc

const STR_ID: &'static str = "const_as_immediate"

type Concrete = ConstAsImmediateConcreteLibfunc

impl NamedLibfunc for CouponBuyLibfunc

const STR_ID: &'static str = "coupon_buy"

type Concrete = SignatureAndFunctionConcreteLibfunc

impl NamedLibfunc for CouponRefundLibfunc

const STR_ID: &'static str = "coupon_refund"

type Concrete = SignatureAndFunctionConcreteLibfunc

impl NamedLibfunc for EnumFromBoundedIntLibfunc

const STR_ID: &'static str = "enum_from_bounded_int"

type Concrete = EnumFromBoundedIntConcreteLibfunc

impl NamedLibfunc for EnumInitLibfunc

const STR_ID: &'static str = "enum_init"

type Concrete = EnumInitConcreteLibfunc

impl NamedLibfunc for Felt252ConstLibfunc

const STR_ID: &'static str = "felt252_const"

type Concrete = Felt252ConstConcreteLibfunc

impl NamedLibfunc for CouponCallLibfunc

const STR_ID: &'static str = "coupon_call"

type Concrete = SignatureAndFunctionConcreteLibfunc

impl NamedLibfunc for FunctionCallLibfunc

const STR_ID: &'static str = "function_call"

type Concrete = SignatureAndFunctionConcreteLibfunc

impl NamedLibfunc for CheatcodeLibfunc

const STR_ID: &'static str = "cheatcode"

type Concrete = CheatcodeConcreteLibfunc

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>

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

type Concrete = SignatureAndTypeConcreteLibfunc

impl<T: SignatureOnlyGenericLibfunc> NamedLibfunc for T

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

type Concrete = SignatureOnlyConcreteLibfunc

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

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

type Concrete = IntConstConcreteLibfunc<TIntTraits>