pub enum UintLibfunc<TUintTraits: UintTraits + IntMulTraits + IsZeroTraits> {
Const(IntConstLibfunc<TUintTraits>),
Operation(UintOperationLibfunc<TUintTraits>),
SquareRoot(UintSquareRootLibfunc<TUintTraits>),
Equal(IntEqualLibfunc<TUintTraits>),
ToFelt252(IntToFelt252Libfunc<TUintTraits>),
FromFelt252(IntFromFelt252Libfunc<TUintTraits>),
IsZero(IsZeroLibfunc<TUintTraits>),
Divmod(UintDivmodLibfunc<TUintTraits>),
WideMul(IntWideMulLibfunc<TUintTraits>),
Bitwise(UintBitwiseLibfunc<TUintTraits>),
}
Variants§
Const(IntConstLibfunc<TUintTraits>)
Operation(UintOperationLibfunc<TUintTraits>)
SquareRoot(UintSquareRootLibfunc<TUintTraits>)
Equal(IntEqualLibfunc<TUintTraits>)
ToFelt252(IntToFelt252Libfunc<TUintTraits>)
FromFelt252(IntFromFelt252Libfunc<TUintTraits>)
IsZero(IsZeroLibfunc<TUintTraits>)
Divmod(UintDivmodLibfunc<TUintTraits>)
WideMul(IntWideMulLibfunc<TUintTraits>)
Bitwise(UintBitwiseLibfunc<TUintTraits>)
Trait Implementations§
Source§impl<TUintTraits: UintTraits + IntMulTraits + IsZeroTraits> GenericLibfunc for UintLibfunc<TUintTraits>
impl<TUintTraits: UintTraits + IntMulTraits + IsZeroTraits> GenericLibfunc for UintLibfunc<TUintTraits>
type Concrete = UintConcrete<TUintTraits>
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<Self>
fn by_id(id: &GenericLibfuncId) -> Option<Self>
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<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<TUintTraits> Freeze for UintLibfunc<TUintTraits>
impl<TUintTraits> RefUnwindSafe for UintLibfunc<TUintTraits>where
TUintTraits: RefUnwindSafe,
impl<TUintTraits> Send for UintLibfunc<TUintTraits>where
TUintTraits: Send,
impl<TUintTraits> Sync for UintLibfunc<TUintTraits>where
TUintTraits: Sync,
impl<TUintTraits> Unpin for UintLibfunc<TUintTraits>where
TUintTraits: Unpin,
impl<TUintTraits> UnwindSafe for UintLibfunc<TUintTraits>where
TUintTraits: 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<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