Trait snarkvm_circuit::Zero
source · [−]pub trait Zero {
type Boolean: BooleanTrait;
fn zero() -> Self;
fn is_zero(&self) -> Self::Boolean;
}
Expand description
Representation of the zero value.
Required Associated Types
source
type Boolean: BooleanTrait
Required Methods
Trait Implementations
impl<E> Metrics<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> Metrics<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E, I> Metrics<dyn Zero<Boolean = Boolean<E>> + 'static> for Integer<E, I> where
E: Environment,
I: IntegerType,
impl<E, I> Metrics<dyn Zero<Boolean = Boolean<E>> + 'static> for Integer<E, I> where
E: Environment,
I: IntegerType,
impl<E> OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
impl<E> OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static> for Field<E> where
E: Environment,
type Case = ()
fn output_mode(
_input: &<Field<E> as OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
_input: &<Field<E> as OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.
impl<E, I> OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static> for Integer<E, I> where
E: Environment,
I: IntegerType,
impl<E, I> OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static> for Integer<E, I> where
E: Environment,
I: IntegerType,
type Case = ()
fn output_mode(
_case: &<Integer<E, I> as OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
fn output_mode(
_case: &<Integer<E, I> as OutputMode<dyn Zero<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode
Returns the mode of the output.