Trait snarkvm_circuit_types::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 Field<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 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 Address<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<E> TypeName for StringType<E>where E: Environment,

fn type_name() -> &'static str

Returns the type name as a string.

Implementors

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

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

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

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

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

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