pub struct CouponBuyLibfunc {}Expand description
Libfunc for buying a coupon for a function. The cost of the coupon is the cost of running the
function (not including the call and ret instructions).
The coupon can be used to pay in advance for running the function, and run it later for
free (paying only for the call and ret instructions) using coupon_call.
Trait Implementations§
Source§impl Default for CouponBuyLibfunc
impl Default for CouponBuyLibfunc
Source§fn default() -> CouponBuyLibfunc
fn default() -> CouponBuyLibfunc
Returns the “default value” for a type. Read more
Source§impl NamedLibfunc for CouponBuyLibfunc
impl NamedLibfunc for CouponBuyLibfunc
const STR_ID: &'static str = "coupon_buy"
type Concrete = SignatureAndFunctionConcreteLibfunc
Source§fn specialize_signature(
&self,
context: &dyn SignatureSpecializationContext,
args: &[GenericArg],
) -> Result<LibfuncSignature, SpecializationError>
fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>
Creates the specialization of the libfunc’s signature with the template arguments.
Source§fn specialize(
&self,
context: &dyn SpecializationContext,
args: &[GenericArg],
) -> Result<Self::Concrete, SpecializationError>
fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg], ) -> Result<Self::Concrete, SpecializationError>
Creates the specialization with the template arguments.
Auto Trait Implementations§
impl Freeze for CouponBuyLibfunc
impl RefUnwindSafe for CouponBuyLibfunc
impl Send for CouponBuyLibfunc
impl Sync for CouponBuyLibfunc
impl Unpin for CouponBuyLibfunc
impl UnwindSafe for CouponBuyLibfunc
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<TNamedLibfunc> GenericLibfunc for TNamedLibfuncwhere
TNamedLibfunc: NamedLibfunc,
impl<TNamedLibfunc> GenericLibfunc for TNamedLibfuncwhere
TNamedLibfunc: NamedLibfunc,
type Concrete = <TNamedLibfunc as NamedLibfunc>::Concrete
Source§fn supported_ids() -> Vec<GenericLibfuncId>
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.Source§fn by_id(id: &GenericLibfuncId) -> Option<TNamedLibfunc>
fn by_id(id: &GenericLibfuncId) -> Option<TNamedLibfunc>
Instantiates the libfunc by id.
Source§fn specialize_signature(
&self,
context: &dyn SignatureSpecializationContext,
args: &[GenericArg],
) -> Result<LibfuncSignature, SpecializationError>
fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>
Creates the specialization of the libfunc’s signature with the template arguments.
Source§fn specialize(
&self,
context: &dyn SpecializationContext,
args: &[GenericArg],
) -> Result<<TNamedLibfunc as GenericLibfunc>::Concrete, SpecializationError>
fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg], ) -> Result<<TNamedLibfunc as GenericLibfunc>::Concrete, SpecializationError>
Creates the specialization with the template arguments.
Source§impl<TGenericLibfunc> GenericLibfuncEx for TGenericLibfuncwhere
TGenericLibfunc: GenericLibfunc,
impl<TGenericLibfunc> GenericLibfuncEx for TGenericLibfuncwhere
TGenericLibfunc: GenericLibfunc,
fn specialize_signature_by_id( context: &dyn SignatureSpecializationContext, libfunc_id: &GenericLibfuncId, generic_args: &[GenericArg], ) -> Result<LibfuncSignature, ExtensionError>
fn specialize_by_id( context: &dyn SpecializationContext, libfunc_id: &GenericLibfuncId, generic_args: &[GenericArg], ) -> Result<<TGenericLibfunc as GenericLibfunc>::Concrete, ExtensionError>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more