Trait snarkvm_circuit::Eject

pub trait Eject {
    type Primitive;

    fn eject_mode(&self) -> Mode;
    fn eject_value(&self) -> Self::Primitive;

    fn eject(&self) -> (Mode, Self::Primitive) { ... }
    fn is_constant(&self) -> bool { ... }
    fn is_public(&self) -> bool { ... }
    fn is_private(&self) -> bool { ... }
}

Operations to eject from a circuit environment into primitive form.

Required Associated Types

type Primitive

Required Methods

fn eject_mode(&self) -> Mode

Ejects the mode of the circuit type.

fn eject_value(&self) -> Self::Primitive

Ejects the circuit type as a primitive value.

Provided Methods

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.

Implementations on Foreign Types

impl<'a, C0, C1> Eject for (&'a C0, &'a C1)where
    C0: Eject,
    C1: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <(&'a C0, &'a C1) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> Eject for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,
    C9: Eject,
    C10: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <&'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive, <C9 as Eject>::Primitive, <C10 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8, &'a C9)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,
    C9: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8, &'a C9) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive, <C9 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8> Eject for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <&'a (C0, C1, C2, C3, C4, C5, C6, C7, C8) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11, C12> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8, &'a C9, &'a C10, &'a C11, &'a C12)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,
    C9: Eject,
    C10: Eject,
    C11: Eject,
    C12: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8, &'a C9, &'a C10, &'a C11, &'a C12) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive, <C9 as Eject>::Primitive, <C10 as Eject>::Primitive, <C11 as Eject>::Primitive, <C12 as Eject>::Primitive)

impl<'a, C0, C1, C2> Eject for &'a (C0, C1, C2)where
    C0: Eject,
    C1: Eject,
    C2: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <&'a (C0, C1, C2) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4> Eject for &'a (C0, C1, C2, C3, C4)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <&'a (C0, C1, C2, C3, C4) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8, &'a C9, &'a C10)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,
    C9: Eject,
    C10: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8, &'a C9, &'a C10) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive, <C9 as Eject>::Primitive, <C10 as Eject>::Primitive)

impl<'a, C0> Eject for &'a (C0,)where
    C0: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <&'a (C0,) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive,)

impl<'a, C0, C1, C2, C3, C4, C5> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3> Eject for &'a (C0, C1, C2, C3)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <&'a (C0, C1, C2, C3) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6> Eject for &'a (C0, C1, C2, C3, C4, C5, C6)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <&'a (C0, C1, C2, C3, C4, C5, C6) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive)

impl<'a, C0, C1, C2> Eject for (&'a C0, &'a C1, &'a C2)where
    C0: Eject,
    C1: Eject,
    C2: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <(&'a C0, &'a C1, &'a C2) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive)

impl<C, P> Eject for Vec<C, Global>where
    C: Eject<Primitive = P>,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a list of Eject circuits.

fn eject_value(&self) -> <Vec<C, Global> as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = Vec<P, Global>

impl<'a, C0, C1, C2, C3, C4, C5> Eject for &'a (C0, C1, C2, C3, C4, C5)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <&'a (C0, C1, C2, C3, C4, C5) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3> Eject for (&'a C0, &'a C1, &'a C2, &'a C3)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <(&'a C0, &'a C1, &'a C2, &'a C3) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8, &'a C9, &'a C10, &'a C11)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,
    C9: Eject,
    C10: Eject,
    C11: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8, &'a C9, &'a C10, &'a C11) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive, <C9 as Eject>::Primitive, <C10 as Eject>::Primitive, <C11 as Eject>::Primitive)

impl<'a, C0, C1> Eject for &'a (C0, C1)where
    C0: Eject,
    C1: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <&'a (C0, C1) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive)

impl Eject for Vec<Mode, Global>

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a list of Eject circuits.

fn eject_value(&self) -> <Vec<Mode, Global> as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = Vec<Mode, Global>

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11> Eject for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,
    C9: Eject,
    C10: Eject,
    C11: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <&'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive, <C9 as Eject>::Primitive, <C10 as Eject>::Primitive, <C11 as Eject>::Primitive)

impl<'a, C0> Eject for (&'a C0,)where
    C0: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(&self) -> <(&'a C0,) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive,)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> Eject for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,
    C9: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <&'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive, <C9 as Eject>::Primitive)

impl<C, P, const N: usize> Eject for [C; N]where
    C: Eject<Primitive = P>,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a list of Eject circuits.

fn eject_value(&self) -> <[C; N] as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = Vec<P, Global>

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7, &'a C8) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7> Eject for &'a (C0, C1, C2, C3, C4, C5, C6, C7)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <&'a (C0, C1, C2, C3, C4, C5, C6, C7) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11, C12> Eject for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11, C12)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,
    C8: Eject,
    C9: Eject,
    C10: Eject,
    C11: Eject,
    C12: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <&'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11, C12) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive, <C8 as Eject>::Primitive, <C9 as Eject>::Primitive, <C10 as Eject>::Primitive, <C11 as Eject>::Primitive, <C12 as Eject>::Primitive)

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7> Eject for (&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7)where
    C0: Eject,
    C1: Eject,
    C2: Eject,
    C3: Eject,
    C4: Eject,
    C5: Eject,
    C6: Eject,
    C7: Eject,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a tuple of Eject circuits.

fn eject_value(
    &self
) -> <(&'a C0, &'a C1, &'a C2, &'a C3, &'a C4, &'a C5, &'a C6, &'a C7) as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = (<C0 as Eject>::Primitive, <C1 as Eject>::Primitive, <C2 as Eject>::Primitive, <C3 as Eject>::Primitive, <C4 as Eject>::Primitive, <C5 as Eject>::Primitive, <C6 as Eject>::Primitive, <C7 as Eject>::Primitive)

impl<C, P> Eject for &[C]where
    C: Eject<Primitive = P>,

fn eject_mode(&self) -> Mode

A helper method to deduce the mode from a list of Eject circuits.

fn eject_value(&self) -> <&[C] as Eject>::Primitive

Ejects the value from each circuit.

type Primitive = Vec<P, Global>

Implementors

impl<A> Eject for Entry<A, Plaintext<A>>where
    A: Aleo,

type Primitive = Entry<<A as Environment>::Network, Plaintext<<A as Environment>::Network>>

impl<A> Eject for Entry<A, Ciphertext<A>>where
    A: Aleo,

type Primitive = Entry<<A as Environment>::Network, Ciphertext<<A as Environment>::Network>>

impl<A> Eject for InputID<A>where
    A: Aleo,

type Primitive = InputID<<A as Environment>::Network>

impl<A> Eject for Literal<A>where
    A: Aleo,

type Primitive = Literal<<A as Environment>::Network>

impl<A> Eject for OutputID<A>where
    A: Aleo,

type Primitive = OutputID<<A as Environment>::Network>

impl<A> Eject for Plaintext<A>where
    A: Aleo,

type Primitive = Plaintext<<A as Environment>::Network>

impl<A> Eject for Value<A>where
    A: Aleo,

type Primitive = Value<<A as Environment>::Network>

impl<A> Eject for Ciphertext<A>where
    A: Aleo,

type Primitive = Ciphertext<<A as Environment>::Network>

impl<A> Eject for ComputeKey<A>where
    A: Aleo,

type Primitive = ComputeKey<<A as Environment>::Network>

impl<A> Eject for GraphKey<A>where
    A: Aleo,

type Primitive = GraphKey<<A as Environment>::Network>

impl<A> Eject for HeaderLeaf<A>where
    A: Aleo,

type Primitive = HeaderLeaf<<A as Environment>::Network>

impl<A> Eject for Identifier<A>where
    A: Aleo,

type Primitive = Identifier<<A as Environment>::Network>

impl<A> Eject for PrivateKey<A>where
    A: Aleo,

type Primitive = (Scalar<<A as Environment>::Network>, Scalar<<A as Environment>::Network>)

impl<A> Eject for ProgramID<A>where
    A: Aleo,

type Primitive = ProgramID<<A as Environment>::Network>

impl<A> Eject for Record<A, Plaintext<A>>where
    A: Aleo,

type Primitive = Record<<A as Environment>::Network, Plaintext<<A as Environment>::Network>>

impl<A> Eject for Record<A, Ciphertext<A>>where
    A: Aleo,

type Primitive = Record<<A as Environment>::Network, Ciphertext<<A as Environment>::Network>>

impl<A> Eject for Request<A>where
    A: Aleo,

type Primitive = Request<<A as Environment>::Network>

impl<A> Eject for Response<A>where
    A: Aleo,

type Primitive = Response<<A as Environment>::Network>

impl<A> Eject for Signature<A>where
    A: Aleo,

type Primitive = Signature<<A as Environment>::Network>

impl<A> Eject for StatePath<A>where
    A: Aleo,

type Primitive = StatePath<<A as Environment>::Network>

impl<A> Eject for TransactionLeaf<A>where
    A: Aleo,

type Primitive = TransactionLeaf<<A as Environment>::Network>

impl<A> Eject for TransitionLeaf<A>where
    A: Aleo,

type Primitive = TransitionLeaf<<A as Environment>::Network>

impl<A> Eject for ViewKey<A>where
    A: Aleo,

type Primitive = ViewKey<<A as Environment>::Network>

impl<E> Eject for Address<E>where
    E: Environment,

type Primitive = Address<<E as Environment>::Network>

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

type Primitive = bool

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

type Primitive = Field<<E as Environment>::Network>

impl<E> Eject for Group<E>where
    E: Environment,

type Primitive = Group<<E as Environment>::Network>

impl<E> Eject for Scalar<E>where
    E: Environment,

type Primitive = Scalar<<E as Environment>::Network>

impl<E> Eject for StringType<E>where
    E: Environment,

type Primitive = StringType<<E as Environment>::Network>

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

type Primitive = Integer<<E as Environment>::Network, I>

impl<E, const DEPTH: u8> Eject for MerklePath<E, DEPTH>where
    E: Environment,

type Primitive = MerklePath<<E as Environment>::Network, DEPTH>

impl<T> Eject for Constant<T>where
    T: Eject,

type Primitive = <T as Eject>::Primitive