Trait Ternary

pub trait Ternary {
    type Boolean;
    type Output;

    // Required method
    fn ternary(
        condition: &Self::Boolean,
        first: &Self,
        second: &Self,
    ) -> Self::Output
       where Self: Sized;
}

Trait for ternary operations.

Required Associated Types

type Boolean

type Output

Required Methods

fn ternary( condition: &Self::Boolean, first: &Self, second: &Self, ) -> Self::Output

where Self: Sized,

Returns first if condition is true, otherwise returns second.

Trait Implementations

impl<A> Metrics<dyn Ternary<Boolean = Boolean<A>, Output = ComputeKey<A>>> for ComputeKey<A>

where A: Aleo,

type Case = (Mode, Mode, Mode)

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

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

impl<A> Metrics<dyn Ternary<Boolean = Boolean<A>, Output = Signature<A>>> for Signature<A>

where A: Aleo,

type Case = (Mode, Mode, Mode)

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

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

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

where E: Environment,

type Case = (Mode, Mode, Mode)

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

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

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

where E: Environment,

type Case = (Mode, Mode, Mode)

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

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

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

where E: Environment,

type Case = (Mode, Mode, Mode)

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

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

impl<E, I> Metrics<dyn Ternary<Boolean = Boolean<E>, Output = Integer<E, I>>> for Integer<E, I>

where E: Environment, I: IntegerType,

type Case = (Mode, Mode, Mode)

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

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

impl<A> OutputMode<dyn Ternary<Boolean = Boolean<A>, Output = ComputeKey<A>>> for ComputeKey<A>

where A: Aleo,

type Case = (CircuitType<Boolean<A>>, Mode, Mode)

fn output_mode( parameter: &<ComputeKey<A> as OutputMode<dyn Ternary<Boolean = Boolean<A>, Output = ComputeKey<A>>>>::Case, ) -> Mode

Returns the mode of the output.

impl<A> OutputMode<dyn Ternary<Boolean = Boolean<A>, Output = Signature<A>>> for Signature<A>

where A: Aleo,

type Case = (CircuitType<Boolean<A>>, Mode, Mode)

fn output_mode( parameter: &<Signature<A> as OutputMode<dyn Ternary<Boolean = Boolean<A>, Output = Signature<A>>>>::Case, ) -> Mode

Returns the mode of the output.

impl<E> OutputMode<dyn Ternary<Boolean = Boolean<E>, Output = Address<E>>> for Address<E>

where E: Environment,

type Case = (CircuitType<Boolean<E>>, Mode, Mode)

fn output_mode( parameter: &<Address<E> as OutputMode<dyn Ternary<Boolean = Boolean<E>, Output = Address<E>>>>::Case, ) -> Mode

Returns the mode of the output.

impl<E> OutputMode<dyn Ternary<Boolean = Boolean<E>, Output = Field<E>>> for Field<E>

where E: Environment,

type Case = (CircuitType<Boolean<E>>, Mode, Mode)

fn output_mode( parameter: &<Field<E> as OutputMode<dyn Ternary<Boolean = Boolean<E>, Output = Field<E>>>>::Case, ) -> Mode

Returns the mode of the output.

impl<E> OutputMode<dyn Ternary<Boolean = Boolean<E>, Output = Group<E>>> for Group<E>

where E: Environment,

type Case = (CircuitType<Boolean<E>>, Mode, Mode)

fn output_mode( parameter: &<Group<E> as OutputMode<dyn Ternary<Boolean = Boolean<E>, Output = Group<E>>>>::Case, ) -> Mode

Returns the mode of the output.

impl<E, I> OutputMode<dyn Ternary<Boolean = Boolean<E>, Output = Integer<E, I>>> for Integer<E, I>

where E: Environment, I: IntegerType,

type Case = (CircuitType<Boolean<E>>, Mode, Mode)

fn output_mode( case: &<Integer<E, I> as OutputMode<dyn Ternary<Boolean = Boolean<E>, Output = Integer<E, I>>>>::Case, ) -> Mode

Returns the mode of the output.

Implementations on Foreign Types

impl<E> Ternary for Address<E>

where E: Environment,

fn ternary( condition: &<Address<E> as Ternary>::Boolean, first: &Address<E>, second: &Address<E>, ) -> <Address<E> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = Address<E>

impl<E> Ternary for Boolean<E>

where E: Environment,

fn ternary( condition: &<Boolean<E> as Ternary>::Boolean, first: &Boolean<E>, second: &Boolean<E>, ) -> <Boolean<E> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = Boolean<E>

impl<E> Ternary for Field<E>

where E: Environment,

fn ternary( condition: &<Field<E> as Ternary>::Boolean, first: &Field<E>, second: &Field<E>, ) -> <Field<E> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = Field<E>

impl<E> Ternary for Group<E>

where E: Environment,

fn ternary( condition: &<Group<E> as Ternary>::Boolean, first: &Group<E>, second: &Group<E>, ) -> <Group<E> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = Group<E>

impl<E> Ternary for Scalar<E>

where E: Environment,

fn ternary( condition: &<Scalar<E> as Ternary>::Boolean, first: &Scalar<E>, second: &Scalar<E>, ) -> <Scalar<E> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = Scalar<E>

impl<E> Ternary for StringType<E>

where E: Environment,

fn ternary( condition: &<StringType<E> as Ternary>::Boolean, first: &StringType<E>, second: &StringType<E>, ) -> <StringType<E> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = StringType<E>

impl<E, I> Ternary for Integer<E, I>

where E: Environment, I: IntegerType,

fn ternary( condition: &<Integer<E, I> as Ternary>::Boolean, first: &Integer<E, I>, second: &Integer<E, I>, ) -> <Integer<E, I> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<E>

type Output = Integer<E, I>

impl<N> Ternary for ComputeKey<N>

where N: Network,

fn ternary( condition: &<ComputeKey<N> as Ternary>::Boolean, first: &ComputeKey<N>, second: &ComputeKey<N>, ) -> <ComputeKey<N> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<N>

type Output = ComputeKey<N>

impl<N> Ternary for Signature<N>

where N: Network,

fn ternary( condition: &<Signature<N> as Ternary>::Boolean, first: &Signature<N>, second: &Signature<N>, ) -> <Signature<N> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = Boolean<N>

type Output = Signature<N>

impl<T> Ternary for Box<T>

where T: Ternary,

fn ternary( condition: &<Box<T> as Ternary>::Boolean, first: &Box<T>, second: &Box<T>, ) -> <Box<T> as Ternary>::Output

Returns first if condition is true, otherwise returns second.

type Boolean = <T as Ternary>::Boolean

type Output = Box<<T as Ternary>::Output>

Implementors

impl<A> Ternary for snarkvm_circuit::modules::ComputeKey<A>

where A: Aleo,

type Boolean = Boolean<A>

type Output = ComputeKey<A>

impl<A> Ternary for snarkvm_circuit::modules::Signature<A>

where A: Aleo,

type Boolean = Boolean<A>

type Output = Signature<A>

impl<E> Ternary for snarkvm_circuit::modules::Address<E>

where E: Environment,

type Boolean = Boolean<E>

type Output = Address<E>

impl<E> Ternary for snarkvm_circuit::modules::Boolean<E>

where E: Environment,

type Boolean = Boolean<E>

type Output = Boolean<E>

impl<E> Ternary for snarkvm_circuit::modules::Field<E>

where E: Environment,

type Boolean = Boolean<E>

type Output = Field<E>

impl<E> Ternary for snarkvm_circuit::modules::Group<E>

where E: Environment,

type Boolean = Boolean<E>

type Output = Group<E>

impl<E> Ternary for snarkvm_circuit::modules::Scalar<E>

where E: Environment,

type Boolean = Boolean<E>

type Output = Scalar<E>

impl<E, I> Ternary for snarkvm_circuit::modules::modules::integers::Integer<E, I>

where E: Environment, I: IntegerType,

type Boolean = Boolean<E>

type Output = Integer<E, I>

impl<E, const VARIANT: usize> Ternary for BooleanHash<E, VARIANT>

where E: Environment,

type Boolean = Boolean<E>

type Output = BooleanHash<E, VARIANT>