Trait snarkvm_circuit::environment::Metrics

pub trait Metrics<Op>where
    Op: ?Sized,{
    type Case: ?Sized;

    // Required method
    fn count(parameter: &Self::Case) -> Count;
}

Trait for determining the number of constants, public input, private inputs, and constraints for an operation.

Required Associated Types

type Case: ?Sized

Required Methods

fn count(parameter: &Self::Case) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

Implementations on Foreign Types

impl<E, I> Metrics<dyn Neg<Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = Mode

fn count( case: &<Integer<E, I> as Metrics<dyn Neg<Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn BitOr<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn RemChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn RemChecked<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Equal<Integer<E, I>, Output = Boolean<E>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Equal<Integer<E, I>, Output = Boolean<E>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Zero<Boolean = Boolean<E>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = ()

fn count( _case: &<Integer<E, I> as Metrics<dyn Zero<Boolean = Boolean<E>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Ternary<Output = Integer<E, I>, Boolean = Boolean<E>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Ternary<Output = Integer<E, I>, Boolean = Boolean<E>>>>::Case ) -> Count

impl<E, I> Metrics<dyn MulWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn MulWrapped<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Compare<Integer<E, I>, Output = Boolean<E>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Compare<Integer<E, I>, Output = Boolean<E>>>>::Case ) -> Count

impl<E, I> Metrics<dyn One<Boolean = Boolean<E>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = ()

fn count( _case: &<Integer<E, I> as Metrics<dyn One<Boolean = Boolean<E>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Div<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Div<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn BitAnd<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn BitAnd<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn AddWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn AddWrapped<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn DivChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn DivChecked<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn AbsWrapped<Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = Mode

fn count( case: &<Integer<E, I> as Metrics<dyn AbsWrapped<Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn MulChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn MulChecked<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I, M> Metrics<dyn PowWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType, M: Magnitude,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn PowWrapped<Integer<E, M>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn AddChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn AddChecked<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn SubWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn SubWrapped<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Rem<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Rem<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Sub<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Sub<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn DivWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn DivWrapped<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I, M> Metrics<dyn ShrChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType, M: Magnitude,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn ShrChecked<Integer<E, M>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I, M> Metrics<dyn ShlWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType, M: Magnitude,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn ShlWrapped<Integer<E, M>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Not<Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = Mode

fn count( _case: &<Integer<E, I> as Metrics<dyn Not<Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn BitXor<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn BitXor<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn AbsChecked<Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = Mode

fn count( case: &<Integer<E, I> as Metrics<dyn AbsChecked<Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I, M> Metrics<dyn PowChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType, M: Magnitude,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn PowChecked<Integer<E, M>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Mul<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Mul<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I, M> Metrics<dyn ShlChecked<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType, M: Magnitude,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn ShlChecked<Integer<E, M>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn SubChecked<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn SubChecked<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn RemWrapped<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn RemWrapped<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Shr<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Shr<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Add<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Add<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I> Metrics<dyn Shl<Integer<E, I>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn Shl<Integer<E, I>, Output = Integer<E, I>>>>::Case ) -> Count

impl<E, I, M> Metrics<dyn ShrWrapped<Integer<E, M>, Output = Integer<E, I>>> for Integer<E, I>where E: Environment, I: IntegerType, M: Magnitude,

type Case = (Mode, Mode)

fn count( case: &<Integer<E, I> as Metrics<dyn ShrWrapped<Integer<E, M>, Output = Integer<E, I>>>>::Case ) -> Count

Implementors

impl<E> Metrics<dyn Add<Field<E>, Output = Field<E>>> for Field<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn Add<Group<E>, Output = Group<E>>> for Group<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn Add<Scalar<E>, Output = Scalar<E>>> for Scalar<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn Div<Field<E>, Output = Field<E>>> for Field<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn DivUnchecked<Field<E>, Output = Field<E>>> for Field<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn Double<Output = Field<E>>> for Field<E>where E: Environment,

type Case = Mode

impl<E> Metrics<dyn Equal<Field<E>, Output = Boolean<E>>> for Field<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn FromBits<Boolean = Boolean<E>>> for Field<E>where E: Environment,

type Case = Vec<Mode, Global>

impl<E> Metrics<dyn FromBoolean<Boolean = Boolean<E>>> for Field<E>where E: Environment,

type Case = ()

impl<E> Metrics<dyn Inverse<Output = Field<E>>> for Field<E>where E: Environment,

type Case = Mode

impl<E> Metrics<dyn Mul<Field<E>, Output = Field<E>>> for Field<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn Neg<Output = Field<E>>> for Field<E>where E: Environment,

type Case = Mode

impl<E> Metrics<dyn Neg<Output = Group<E>>> for Group<E>where E: Environment,

type Case = Mode

impl<E> Metrics<dyn Nor<Boolean<E>, Output = Boolean<E>>> for Boolean<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn Not<Output = Boolean<E>>> for Boolean<E>where E: Environment,

type Case = Mode

impl<E> Metrics<dyn One<Boolean = Boolean<E>>> for Field<E>where E: Environment,

type Case = ()

impl<E> Metrics<dyn Pow<Field<E>, Output = Field<E>>> for Field<E>where E: Environment,

type Case = (CircuitType<Field<E>>, CircuitType<Field<E>>)

impl<E> Metrics<dyn Square<Output = Field<E>>> for Field<E>where E: Environment,

type Case = Mode

impl<E> Metrics<dyn SquareRoot<Output = Field<E>>> for Field<E>where E: Environment,

type Case = Mode

impl<E> Metrics<dyn Sub<Field<E>, Output = Field<E>>> for Field<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn Sub<Group<E>, Output = Group<E>>> for Group<E>where E: Environment,

type Case = (Mode, Mode)

impl<E> Metrics<dyn Ternary<Output = Address<E>, Boolean = Boolean<E>>> for Address<E>where E: Environment,

type Case = (Mode, Mode, Mode)

impl<E> Metrics<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>>> for Field<E>where E: Environment,

type Case = (Mode, Mode, Mode)

impl<E> Metrics<dyn Ternary<Output = Group<E>, Boolean = Boolean<E>>> for Group<E>where E: Environment,

type Case = (Mode, Mode, Mode)

impl<E> Metrics<dyn ToBits<Boolean = Boolean<E>>> for Field<E>where E: Environment,

type Case = Mode

impl<E> Metrics<dyn ToLowerBits<Boolean = Boolean<E>>> for Field<E>where E: Environment,

type Case = (Mode, u64)

impl<E> Metrics<dyn ToUpperBits<Boolean = Boolean<E>>> for Field<E>where E: Environment,

type Case = (Mode, u64)

impl<E> Metrics<dyn Zero<Boolean = Boolean<E>>> for Field<E>where E: Environment,

type Case = ()

impl<E, const NUM_BITS: u8> Metrics<dyn Commit<Output = Field<E>, Randomizer = Scalar<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = (Vec<Mode, Global>, Vec<Mode, Global>)

impl<E, const NUM_BITS: u8> Metrics<dyn CommitUncompressed<Randomizer = Scalar<E>, Output = Group<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = (Vec<Mode, Global>, Vec<Mode, Global>)

impl<E, const NUM_BITS: u8> Metrics<dyn Hash<Output = Field<E>, Input = Boolean<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = Vec<Mode, Global>

impl<E, const NUM_BITS: u8> Metrics<dyn HashUncompressed<Input = Boolean<E>, Output = Group<E>>> for Pedersen<E, NUM_BITS>where E: Environment,

type Case = Vec<Mode, Global>