snarkvm_console_program

Trait ToField

Source
pub trait ToField {
    type Field: FieldTrait;

    // Required method
    fn to_field(&self) -> Result<Self::Field, Error>;
}
Expand description

Unary operator for converting to a base field.

Required Associated Types§

Required Methods§

Source

fn to_field(&self) -> Result<Self::Field, Error>

Returns the object as a base field element.

Implementors§

Source§

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

Source§

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

Source§

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

Source§

impl<E, I> ToField for Integer<E, I>
where E: Environment, I: IntegerType,

Source§

impl<N: Network> ToField for &Identifier<N>

Source§

impl<N: Network> ToField for Identifier<N>