Enum cairo_lang_sierra::extensions::modules::gas::GasLibfunc

pub enum GasLibfunc {
    WithdrawGas(WithdrawGasLibfunc),
    RedepositGas(RedepositGasLibfunc),
    GetAvailableGas(GetAvailableGasLibfunc),
    BuiltinWithdrawGas(BuiltinCostWithdrawGasLibfunc),
    GetBuiltinCosts(BuiltinCostGetBuiltinCostsLibfunc),
}

Variants

WithdrawGas(WithdrawGasLibfunc)

RedepositGas(RedepositGasLibfunc)

GetAvailableGas(GetAvailableGasLibfunc)

BuiltinWithdrawGas(BuiltinCostWithdrawGasLibfunc)

GetBuiltinCosts(BuiltinCostGetBuiltinCostsLibfunc)

Trait Implementations

impl GenericLibfunc for GasLibfunc

type Concrete = GasConcreteLibfunc

fn supported_ids() -> Vec<GenericLibfuncId>

Returns the list of generic libfuncs ids that can be instantiated through this type. This is useful on hierarchical libfunc aggregates such as CoreLibfunc.

fn by_id(id: &GenericLibfuncId) -> Option<Self>

Instantiates the libfunc by id.

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.