pub struct ReplaceClassLibfunc {}
Expand description
Libfunc for the replace_class system call.
Trait Implementations§
Source§impl Default for ReplaceClassLibfunc
impl Default for ReplaceClassLibfunc
Source§fn default() -> ReplaceClassLibfunc
fn default() -> ReplaceClassLibfunc
Returns the “default value” for a type. Read more
Source§impl SyscallGenericLibfunc for ReplaceClassLibfunc
impl SyscallGenericLibfunc for ReplaceClassLibfunc
Source§fn input_tys(
context: &dyn SignatureSpecializationContext,
) -> Result<Vec<ConcreteTypeId>, SpecializationError>
fn input_tys( context: &dyn SignatureSpecializationContext, ) -> Result<Vec<ConcreteTypeId>, SpecializationError>
The non implicits inputs for the libfunc.
Source§fn success_output_tys(
_context: &dyn SignatureSpecializationContext,
) -> Result<Vec<ConcreteTypeId>, SpecializationError>
fn success_output_tys( _context: &dyn SignatureSpecializationContext, ) -> Result<Vec<ConcreteTypeId>, SpecializationError>
The success case non implicits outputs of the libfunc.
Auto Trait Implementations§
impl Freeze for ReplaceClassLibfunc
impl RefUnwindSafe for ReplaceClassLibfunc
impl Send for ReplaceClassLibfunc
impl Sync for ReplaceClassLibfunc
impl Unpin for ReplaceClassLibfunc
impl UnwindSafe for ReplaceClassLibfunc
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 moreSource§impl<T> NamedLibfunc for Twhere
T: SignatureOnlyGenericLibfunc,
impl<T> NamedLibfunc for Twhere
T: SignatureOnlyGenericLibfunc,
const STR_ID: &'static str = const STR_ID: &'static str = <Self as SignatureOnlyGenericLibfunc>::STR_ID;
type Concrete = SignatureOnlyConcreteLibfunc
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<<T as NamedLibfunc>::Concrete, SpecializationError>
fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg], ) -> Result<<T as NamedLibfunc>::Concrete, SpecializationError>
Creates the specialization with the template arguments.