Trait snarkvm_console_types_string::Ternary

pub trait Ternary {
    type Boolean;
    type Output;

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

Trait for ternary operations.

Required Associated Types

type Boolean

type Output

Required Methods

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

Returns first if condition is true, otherwise returns second.

Implementors

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

type Boolean = Boolean<E>

type Output = Boolean<E>

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

type Boolean = Boolean<E>

type Output = Field<E>

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

type Boolean = Boolean<E>

type Output = Integer<E, I>

impl<E: Environment> Ternary for StringType<E>

type Boolean = Boolean<E>

type Output = StringType<E>