Trait NativeInstructions 

pub trait NativeInstructions<F>:
    FieldInstructions<F, AssignedNative<F>>
    + BinaryInstructions<F>
    + AssertionInstructions<F, AssignedBit<F>>
    + AssertionInstructions<F, AssignedByte<F>>
    + EqualityInstructions<F, AssignedBit<F>>
    + ControlFlowInstructions<F, AssignedBit<F>>
    + DecompositionInstructions<F, AssignedNative<F>>
    + ComparisonInstructions<F, AssignedNative<F>>
    + RangeCheckInstructions<F, AssignedNative<F>>
    + UnsafeConversionInstructions<F, AssignedNative<F>, AssignedByte<F>>
    + DivisionInstructions<F, AssignedNative<F>>
where
    F: CircuitField,
{ }

The set of circuit all native instructions.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<F, CoreDecomposition, NativeArith> NativeInstructions<F> for NativeGadget<F, CoreDecomposition, NativeArith>

where F: CircuitField, CoreDecomposition: CoreDecompositionInstructions<F>, NativeArith: CanonicityInstructions<F, AssignedNative<F>> + AssertionInstructions<F, AssignedBit<F>> + EqualityInstructions<F, AssignedBit<F>> + ControlFlowInstructions<F, AssignedBit<F>> + BinaryInstructions<F> + UnsafeConversionInstructions<F, AssignedNative<F>, AssignedBit<F>> + ConversionInstructions<F, AssignedBit<F>, AssignedNative<F>>,