pub enum SintLibfunc<TSintTraits: SintTraits + IntMulTraits + IsZeroTraits> {
Const(IntConstLibfunc<TSintTraits>),
Equal(IntEqualLibfunc<TSintTraits>),
ToFelt252(IntToFelt252Libfunc<TSintTraits>),
FromFelt252(IntFromFelt252Libfunc<TSintTraits>),
Operation(SintOperationLibfunc<TSintTraits>),
Diff(SintDiffLibfunc<TSintTraits>),
IsZero(IsZeroLibfunc<TSintTraits>),
WideMul(IntWideMulLibfunc<TSintTraits>),
}
Variants§
Const(IntConstLibfunc<TSintTraits>)
Equal(IntEqualLibfunc<TSintTraits>)
ToFelt252(IntToFelt252Libfunc<TSintTraits>)
FromFelt252(IntFromFelt252Libfunc<TSintTraits>)
Operation(SintOperationLibfunc<TSintTraits>)
Diff(SintDiffLibfunc<TSintTraits>)
IsZero(IsZeroLibfunc<TSintTraits>)
WideMul(IntWideMulLibfunc<TSintTraits>)
Trait Implementations§
source§impl<TSintTraits: SintTraits + IntMulTraits + IsZeroTraits> GenericLibfunc for SintLibfunc<TSintTraits>
impl<TSintTraits: SintTraits + IntMulTraits + IsZeroTraits> GenericLibfunc for SintLibfunc<TSintTraits>
type Concrete = SintConcrete<TSintTraits>
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<TSintTraits> Freeze for SintLibfunc<TSintTraits>
impl<TSintTraits> RefUnwindSafe for SintLibfunc<TSintTraits>where
TSintTraits: RefUnwindSafe,
impl<TSintTraits> Send for SintLibfunc<TSintTraits>where
TSintTraits: Send,
impl<TSintTraits> Sync for SintLibfunc<TSintTraits>where
TSintTraits: Sync,
impl<TSintTraits> Unpin for SintLibfunc<TSintTraits>where
TSintTraits: Unpin,
impl<TSintTraits> UnwindSafe for SintLibfunc<TSintTraits>where
TSintTraits: 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