pub struct GetterLibfunc<TGetterTraitsEx: GetterTraitsEx> { /* private fields */ }
Expand description
Libfunc for a getter system call.
Trait Implementations§
source§impl<TGetterTraitsEx: Default + GetterTraitsEx> Default for GetterLibfunc<TGetterTraitsEx>
impl<TGetterTraitsEx: Default + GetterTraitsEx> Default for GetterLibfunc<TGetterTraitsEx>
source§fn default() -> GetterLibfunc<TGetterTraitsEx>
fn default() -> GetterLibfunc<TGetterTraitsEx>
Returns the “default value” for a type. Read more
source§impl<TGetterTraitsEx: GetterTraitsEx> SyscallGenericLibfunc for GetterLibfunc<TGetterTraitsEx>
impl<TGetterTraitsEx: GetterTraitsEx> SyscallGenericLibfunc for GetterLibfunc<TGetterTraitsEx>
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<TGetterTraitsEx> Freeze for GetterLibfunc<TGetterTraitsEx>
impl<TGetterTraitsEx> RefUnwindSafe for GetterLibfunc<TGetterTraitsEx>where
TGetterTraitsEx: RefUnwindSafe,
impl<TGetterTraitsEx> Send for GetterLibfunc<TGetterTraitsEx>where
TGetterTraitsEx: Send,
impl<TGetterTraitsEx> Sync for GetterLibfunc<TGetterTraitsEx>where
TGetterTraitsEx: Sync,
impl<TGetterTraitsEx> Unpin for GetterLibfunc<TGetterTraitsEx>where
TGetterTraitsEx: Unpin,
impl<TGetterTraitsEx> UnwindSafe for GetterLibfunc<TGetterTraitsEx>where
TGetterTraitsEx: UnwindSafe,
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.