pub struct AddModGate {}
Expand description
Represents the action of adding two fields elements in the circuits builtin.
Trait Implementations§
Source§impl Default for AddModGate
impl Default for AddModGate
Source§fn default() -> AddModGate
fn default() -> AddModGate
Returns the “default value” for a type. Read more
Source§impl NamedType for AddModGate
impl NamedType for AddModGate
const ID: GenericTypeId = _
type Concrete = InfoOnlyConcreteType
Source§fn specialize(
&self,
context: &dyn TypeSpecializationContext,
args: &[GenericArg],
) -> Result<Self::Concrete, SpecializationError>
fn specialize( &self, context: &dyn TypeSpecializationContext, args: &[GenericArg], ) -> Result<Self::Concrete, SpecializationError>
Creates the specialization with the template arguments.
Source§fn id() -> GenericTypeId
fn id() -> GenericTypeId
Returns the generic id of named types.
Source§fn concrete_type_long_id(generic_args: &[GenericArg]) -> ConcreteTypeLongId
fn concrete_type_long_id(generic_args: &[GenericArg]) -> ConcreteTypeLongId
Returns the long ID of the concrete type with
ID
as the generic ID and the given args.Auto Trait Implementations§
impl Freeze for AddModGate
impl RefUnwindSafe for AddModGate
impl Send for AddModGate
impl Sync for AddModGate
impl Unpin for AddModGate
impl UnwindSafe for AddModGate
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<TNamedType> GenericType for TNamedTypewhere
TNamedType: NamedType,
impl<TNamedType> GenericType for TNamedTypewhere
TNamedType: NamedType,
type Concrete = <TNamedType as NamedType>::Concrete
Source§fn by_id(id: &GenericTypeId) -> Option<TNamedType>
fn by_id(id: &GenericTypeId) -> Option<TNamedType>
Instantiates the type by id.
Source§fn specialize(
&self,
context: &dyn TypeSpecializationContext,
args: &[GenericArg],
) -> Result<<TNamedType as GenericType>::Concrete, SpecializationError>
fn specialize( &self, context: &dyn TypeSpecializationContext, args: &[GenericArg], ) -> Result<<TNamedType as GenericType>::Concrete, SpecializationError>
Creates the specialization with the template arguments.
Source§impl<TGenericType> GenericTypeEx for TGenericTypewhere
TGenericType: GenericType,
impl<TGenericType> GenericTypeEx for TGenericTypewhere
TGenericType: GenericType,
fn specialize_by_id( context: &dyn TypeSpecializationContext, type_id: &GenericTypeId, args: &[GenericArg], ) -> Result<<TGenericType as GenericType>::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