Trait snarkvm_circuit::Ternary

pub trait Ternary {
    type Boolean;
    type Output;

    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::Outputwhere
    Self: Sized,

Returns first if condition is true, otherwise returns second.

Trait Implementations

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

type Case = (Mode, Mode, Mode)

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

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

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

type Case = (Mode, Mode, Mode)

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

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

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

type Case = (Mode, Mode, Mode)

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

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

impl<E, I> Metrics<dyn Ternary<Output = Integer<E, I>, Boolean = Boolean<E>> + 'static> 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>> + 'static>>::Case
) -> Count

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

impl<E> OutputMode<dyn Ternary<Output = Address<E>, Boolean = Boolean<E>> + 'static> for Address<E>where
    E: Environment,

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

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

Returns the mode of the output.

impl<E> OutputMode<dyn Ternary<Output = Field<E>, Boolean = Boolean<E>> + 'static> for Field<E>where
    E: Environment,

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

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

Returns the mode of the output.

impl<E> OutputMode<dyn Ternary<Output = Group<E>, Boolean = Boolean<E>> + 'static> for Group<E>where
    E: Environment,

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

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

Returns the mode of the output.

impl<E, I> OutputMode<dyn Ternary<Output = Integer<E, I>, Boolean = Boolean<E>> + 'static> 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<Output = Integer<E, I>, Boolean = Boolean<E>> + 'static>>::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, 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<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>

Implementors

impl<E> Ternary for snarkvm_circuit::Address<E>where
    E: Environment,

type Boolean = Boolean<E>

type Output = Address<E>

impl<E> Ternary for snarkvm_circuit::Boolean<E>where
    E: Environment,

type Boolean = Boolean<E>

type Output = Boolean<E>

impl<E> Ternary for snarkvm_circuit::Field<E>where
    E: Environment,

type Boolean = Boolean<E>

type Output = Field<E>

impl<E> Ternary for snarkvm_circuit::Group<E>where
    E: Environment,

type Boolean = Boolean<E>

type Output = Group<E>

impl<E> Ternary for snarkvm_circuit::Scalar<E>where
    E: Environment,

type Boolean = Boolean<E>

type Output = Scalar<E>

impl<E, I> Ternary for snarkvm_circuit::integers::Integer<E, I>where
    E: Environment,
    I: IntegerType,

type Boolean = Boolean<E>

type Output = Integer<E, I>