Trait snarkvm_circuit_program::Cast

pub trait Cast<T: Sized = Self> {
    // Required method
    fn cast(&self) -> T;
}

Unary operator for casting values of one type to another.

Required Methods

fn cast(&self) -> T

Casts the value of self into a value of type T.

This method checks that the cast does not lose any bits of information.

Implementations on Foreign Types

impl<E: Environment> Cast for Boolean<E>

fn cast(&self) -> Boolean<E>

Casts a Boolean to a Boolean.

impl<E: Environment> Cast for Field<E>

fn cast(&self) -> Field<E>

Casts a Field to a Field.

impl<E: Environment> Cast for Scalar<E>

fn cast(&self) -> Scalar<E>

Casts a Scalar to a Scalar.

impl<E: Environment> Cast<Address<E>> for Boolean<E>

fn cast(&self) -> Address<E>

Casts a Boolean to an Address.

impl<E: Environment> Cast<Address<E>> for Field<E>

fn cast(&self) -> Address<E>

Casts a Field to an Address.

This operation attempts to recover the group element from the field element, and then constructs an address from the group element.

To cast arbitrary field elements to addresses, use Field::cast_lossy.

impl<E: Environment> Cast<Address<E>> for Scalar<E>

fn cast(&self) -> Address<E>

Casts a Scalar to an Address.

This operation converts the scalar to a field element, and then attempts to recover the group element by treating the field element as an x-coordinate. The group element is then converted to an address.

To cast arbitrary scalars to addresses, use Scalar::cast_lossy.

impl<E: Environment> Cast<Boolean<E>> for Field<E>

fn cast(&self) -> Boolean<E>

Casts a Field to a Boolean, if the field is zero or one.

To cast arbitrary field elements to booleans, use Field::cast_lossy.

impl<E: Environment> Cast<Boolean<E>> for Scalar<E>

fn cast(&self) -> Boolean<E>

Casts a Scalar to a Boolean, if the scalar is zero or one.

To cast arbitrary scalars to booleans, use Scalar::cast_lossy.

impl<E: Environment> Cast<Field<E>> for Boolean<E>

fn cast(&self) -> Field<E>

Casts a Boolean to a Field.

impl<E: Environment> Cast<Field<E>> for Scalar<E>

fn cast(&self) -> Field<E>

Casts a Scalar to a Field.

impl<E: Environment> Cast<Group<E>> for Boolean<E>

fn cast(&self) -> Group<E>

Casts a Boolean to a Group.

impl<E: Environment> Cast<Group<E>> for Field<E>

fn cast(&self) -> Group<E>

Casts a Field to a Group.

This operation attempts to recover the group element from the field element, and returns an error if the field element is not a valid x-coordinate.

To cast arbitrary field elements to groups, use Field::cast_lossy.

impl<E: Environment> Cast<Group<E>> for Scalar<E>

fn cast(&self) -> Group<E>

Casts a Scalar to a Group.

This operation converts the scalar to a field element, and then attempts to recover the group element by treating the field element as an x-coordinate.

To cast arbitrary scalars to groups, use Scalar::cast_lossy.

impl<E: Environment> Cast<Scalar<E>> for Boolean<E>

fn cast(&self) -> Scalar<E>

Casts a Boolean to a Scalar.

impl<E: Environment> Cast<Scalar<E>> for Field<E>

fn cast(&self) -> Scalar<E>

Casts a Field to a Scalar, if the field element is in the scalar’s range.

To cast arbitrary field elements to scalars, use Field::cast_lossy.

impl<E: Environment, I0: IntegerType, I1: IntegerType> Cast<Integer<E, I1>> for Integer<E, I0>

fn cast(&self) -> Integer<E, I1>

Casts an Integer to another Integer, if the conversion is lossless.

impl<E: Environment, I: IntegerType> Cast<Address<E>> for Integer<E, I>

fn cast(&self) -> Address<E>

Casts an Integer to an Address.

This operation converts the integer to a field element, and then attempts to recover the group element by treating the field element as an x-coordinate. The group element is then converted to an address.

To cast arbitrary integers to addresses, use Integer::cast_lossy.

impl<E: Environment, I: IntegerType> Cast<Boolean<E>> for Integer<E, I>

fn cast(&self) -> Boolean<E>

Casts an Integer to a Boolean, if the integer is zero or one.

To cast arbitrary integers to booleans, use Integer::cast_lossy.

impl<E: Environment, I: IntegerType> Cast<Field<E>> for Integer<E, I>

fn cast(&self) -> Field<E>

Casts an Integer to a Field.

impl<E: Environment, I: IntegerType> Cast<Group<E>> for Integer<E, I>

fn cast(&self) -> Group<E>

Casts an Integer to a Group.

This operation converts the integer to a field element, and then attempts to recover the group element by treating the field element as an x-coordinate.

To cast arbitrary integers to groups, use Integer::cast_lossy.

impl<E: Environment, I: IntegerType> Cast<Integer<E, I>> for Boolean<E>

fn cast(&self) -> Integer<E, I>

Casts a Boolean to an Integer.

impl<E: Environment, I: IntegerType> Cast<Integer<E, I>> for Field<E>

fn cast(&self) -> Integer<E, I>

Casts a Field to an Integer, if the field element is in the integer’s range.

To cast arbitrary field elements to integers, use Field::cast_lossy.

impl<E: Environment, I: IntegerType> Cast<Integer<E, I>> for Scalar<E>

fn cast(&self) -> Integer<E, I>

Casts a Scalar to an Integer, if the scalar is in the range of the integer.

To cast arbitrary scalars to integers, via truncation, use Scalar::cast_lossy.

impl<E: Environment, I: IntegerType> Cast<Scalar<E>> for Integer<E, I>

fn cast(&self) -> Scalar<E>

Casts an Integer to a Scalar.

Implementors