Trait snarkvm_circuit::TypeName

pub trait TypeName {
    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<N> TypeName for RecordType<N> where
    N: Network, 

fn type_name() -> &'static str

Returns the type name.

impl<N> TypeName for Interface<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, 

impl<E, I> TypeName for snarkvm_circuit::integers::Integer<E, I> where
    E: Environment,
    I: IntegerType,