Trait snarkvm_circuit::environment::traits::operators::Zero
source · pub trait Zero {
type Boolean: BooleanTrait;
// Required methods
fn zero() -> Self
where Self: Sized;
fn is_zero(&self) -> Self::Boolean;
}
Expand description
Representation of the zero value.
Required Associated Types§
type Boolean: BooleanTrait
Required Methods§
Trait Implementations§
§impl<E, I> Metrics<dyn Zero<Boolean = Boolean<E>>> for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> Metrics<dyn Zero<Boolean = Boolean<E>>> for Integer<E, I>where E: Environment, I: IntegerType,
§impl<E> OutputMode<dyn Zero<Boolean = Boolean<E>>> for Field<E>where
E: Environment,
impl<E> OutputMode<dyn Zero<Boolean = Boolean<E>>> for Field<E>where E: Environment,
§impl<E, I> OutputMode<dyn Zero<Boolean = Boolean<E>>> for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> OutputMode<dyn Zero<Boolean = Boolean<E>>> 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>>>>::Case
) -> Mode
fn output_mode( _case: &<Integer<E, I> as OutputMode<dyn Zero<Boolean = Boolean<E>>>>::Case ) -> Mode
Returns the mode of the output.