Trait TypeName 

pub trait TypeName {
    // Required method
    fn type_name() -> &'static str;
}

Required Methods

fn type_name() -> &'static str

Returns the type name of the object as a string. (i.e. “u8”)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<A> TypeName for Signature<A>

where A: Aleo,

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<A, Private> TypeName for Record<A, Private>

where A: Aleo, Private: Visibility<A>,

fn type_name() -> &'static str

impl<E> TypeName for Address<E>

where E: Environment,

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<E> TypeName for Boolean<E>

where E: Environment,

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<E> TypeName for Field<E>

where E: Environment,

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<E> TypeName for Group<E>

where E: Environment,

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<E> TypeName for Scalar<E>

where E: Environment,

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<E> TypeName for StringType<E>

where E: Environment,

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

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

where E: Environment, I: IntegerType,

fn type_name() -> &'static str

Returns the type name of the circuit as a string.

impl<N> TypeName for Import<N>

where N: Network,

fn type_name() -> &'static str

Returns the type name as a string.

impl<N, Command> TypeName for FinalizeCore<N, Command>

where N: Network, Command: CommandTrait<N>,

fn type_name() -> &'static str

Returns the type name as a string.

impl<N, Instruction> TypeName for ClosureCore<N, Instruction>

where N: Network, Instruction: InstructionTrait<N>,

fn type_name() -> &'static str

Returns the type name as a string.

impl<N, Instruction, Command> TypeName for FunctionCore<N, Instruction, Command>

where N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>,

fn type_name() -> &'static str

Returns the type name as a string.

impl<N, Instruction, Command> TypeName for ProgramCore<N, Instruction, Command>

where N: Network, Instruction: InstructionTrait<N>, Command: CommandTrait<N>,

fn type_name() -> &'static str

Returns the type name as a string.

Implementors

impl<E> TypeName for snarkvm_debug::prelude::Address<E>

where E: Environment,

impl<E> TypeName for snarkvm_debug::prelude::Boolean<E>

where E: Environment,

impl<E> TypeName for snarkvm_debug::prelude::Field<E>

where E: Environment,

impl<E> TypeName for snarkvm_debug::prelude::Group<E>

where E: Environment,

impl<E> TypeName for snarkvm_debug::prelude::Scalar<E>

where E: Environment,

impl<E> TypeName for snarkvm_debug::prelude::StringType<E>

where E: Environment,

impl<E, I> TypeName for snarkvm_debug::prelude::integers::Integer<E, I>

where E: Environment, I: IntegerType,

impl<N> TypeName for Mapping<N>

where N: Network,

impl<N> TypeName for RecordType<N>

where N: Network,

impl<N> TypeName for snarkvm_debug::prelude::Signature<N>

where N: Network,

impl<N> TypeName for StructType<N>

where N: Network,