Trait snarkvm_debug::prelude::string::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”)

Object Safety

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::Address<E>

where E: Environment,

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

where E: Environment,

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

where E: Environment,

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

where E: Environment,

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

where E: Environment,

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

where E: Environment,

impl<E, I> TypeName for snarkvm_debug::prelude::string::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,