Trait snarkvm_circuit::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”)

Implementations on Foreign Types

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

fn type_name() -> &'static str

Returns the type name as a string.

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

fn type_name() -> &'static str

Returns the type name as a string.

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

fn type_name() -> &'static str

Returns the type name as a string.

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

fn type_name() -> &'static str

Returns the type name as a string.

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

fn type_name() -> &'static str

Returns the type name 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 as a string.

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

fn type_name() -> &'static str

Returns the type name 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 Struct<N>where N: Network,

fn type_name() -> &'static str

Returns the type name.

impl<N> TypeName for RecordType<N>where N: Network,

fn type_name() -> &'static str

Returns the type name.

Implementors

impl<A, Private> TypeName for Record<A, Private>where A: Aleo, Private: Visibility<A>,

impl<E> TypeName for snarkvm_circuit::Address<E>where E: Environment,

impl<E> TypeName for snarkvm_circuit::Boolean<E>where E: Environment,

impl<E> TypeName for snarkvm_circuit::Field<E>where E: Environment,

impl<E> TypeName for snarkvm_circuit::Group<E>where E: Environment,

impl<E> TypeName for snarkvm_circuit::Scalar<E>where E: Environment,

impl<E> TypeName for snarkvm_circuit::StringType<E>where E: Environment,