pub enum Uint128Libfunc {
Operation(UintOperationLibfunc<Uint128Traits>),
Divmod(UintDivmodLibfunc<Uint128Traits>),
GuaranteeMul(U128GuaranteeMulLibfunc),
MulGuaranteeVerify(U128MulGuaranteeVerifyLibfunc),
Equal(IntEqualLibfunc<Uint128Traits>),
SquareRoot(UintSquareRootLibfunc<Uint128Traits>),
Const(IntConstLibfunc<Uint128Traits>),
FromFelt252(Uint128sFromFelt252Libfunc),
ToFelt252(IntToFelt252Libfunc<Uint128Traits>),
IsZero(IsZeroLibfunc<Uint128Traits>),
Bitwise(UintBitwiseLibfunc<Uint128Traits>),
ByteReverse(U128ByteReverseLibfunc),
}
Variants§
Operation(UintOperationLibfunc<Uint128Traits>)
Divmod(UintDivmodLibfunc<Uint128Traits>)
GuaranteeMul(U128GuaranteeMulLibfunc)
MulGuaranteeVerify(U128MulGuaranteeVerifyLibfunc)
Equal(IntEqualLibfunc<Uint128Traits>)
SquareRoot(UintSquareRootLibfunc<Uint128Traits>)
Const(IntConstLibfunc<Uint128Traits>)
FromFelt252(Uint128sFromFelt252Libfunc)
ToFelt252(IntToFelt252Libfunc<Uint128Traits>)
IsZero(IsZeroLibfunc<Uint128Traits>)
Bitwise(UintBitwiseLibfunc<Uint128Traits>)
ByteReverse(U128ByteReverseLibfunc)
Trait Implementations§
Source§impl GenericLibfunc for Uint128Libfunc
impl GenericLibfunc for Uint128Libfunc
type Concrete = Uint128Concrete
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 Freeze for Uint128Libfunc
impl RefUnwindSafe for Uint128Libfunc
impl Send for Uint128Libfunc
impl Sync for Uint128Libfunc
impl Unpin for Uint128Libfunc
impl UnwindSafe for Uint128Libfunc
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