Enum BoundedIntLibfunc

pub enum BoundedIntLibfunc {
    Add(BoundedIntAddLibfunc),
    Sub(BoundedIntSubLibfunc),
    Mul(BoundedIntMulLibfunc),
    DivRem(BoundedIntDivRemLibfunc),
    Constrain(BoundedIntConstrainLibfunc),
    IsZero(BoundedIntIsZeroLibfunc),
    WrapNonZero(BoundedIntWrapNonZeroLibfunc),
}

Variants

Add(BoundedIntAddLibfunc)

Sub(BoundedIntSubLibfunc)

Mul(BoundedIntMulLibfunc)

DivRem(BoundedIntDivRemLibfunc)

Constrain(BoundedIntConstrainLibfunc)

IsZero(BoundedIntIsZeroLibfunc)

WrapNonZero(BoundedIntWrapNonZeroLibfunc)

Trait Implementations

impl GenericLibfunc for BoundedIntLibfunc

type Concrete = BoundedIntConcreteLibfunc

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.

fn by_id(id: &GenericLibfuncId) -> Option<Self>

Instantiates the libfunc by id.

fn specialize_signature( &self, context: &dyn SignatureSpecializationContext, args: &[GenericArg], ) -> Result<LibfuncSignature, SpecializationError>

Creates the specialization of the libfunc’s signature with the template arguments.

fn specialize( &self, context: &dyn SpecializationContext, args: &[GenericArg], ) -> Result<Self::Concrete, SpecializationError>

Creates the specialization with the template arguments.