Trait snarkvm_circuit::prelude::Eject

pub trait Eject {
    type Primitive;

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

    // Provided methods
    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, 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> 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, 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<'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, 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<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<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>

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 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, &'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, 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> 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, 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, 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<'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, 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> 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> 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> 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<'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, 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, 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> 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> 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> 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> 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<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, 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> 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<E, I> Eject for Integer<E, I>where E: Environment, I: IntegerType,

fn eject_mode(&self) -> Mode

Ejects the mode of the integer.

fn eject_value(&self) -> <Integer<E, I> as Eject>::Primitive

Ejects the integer circuit as a console integer value.

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

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, 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