Trait CastLossy

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

Unary operator for casting values of one type to another, with lossy truncation.

Required Methods

fn cast_lossy(&self) -> T

Casts the value of self into a value of type T, with lossy truncation.

This method makes a best-effort attempt to preserve all bits of information, but it is not guaranteed to do so.

Implementations on Foreign Types

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

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

Casts a Boolean to a Boolean. This is an identity cast, so it is always lossless.

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

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

Casts a Field to a Field. This is an identity cast, so it is always lossless.

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

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

Casts a Scalar to a Scalar. This is an identity cast, so it is always lossless.

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

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

Casts a Boolean to an Address. This is safe because casting from a boolean to any other type is always lossless.

If the boolean is true, the address is the generator of the prime-order subgroup. If the boolean is false, the address is the zero group element.

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

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

Casts a Field to an Address.

This operation attempts to recover the group element from the given field, which is then used to construct the address. See the documentation of Field::cast_lossy on the Group type for more details.

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

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

Casts a Scalar to an Address.

This operation converts the scalar into a field element, and then attempts to recover the group element to construct the address. See the documentation of Field::cast_lossy on the Group type for more details.

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

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

Casts a Field to a Boolean, with lossy truncation. This operation returns the least significant bit of the field.

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

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

Casts a Scalar to a Boolean, with lossy truncation. This operation returns the least significant bit of the scalar.

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

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

Casts a Boolean to a Field. This is safe because casting from a boolean to any other type is always lossless.

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

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

Casts a Scalar to a Field. This operation is always lossless.

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

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

Casts a Boolean to a Group. This is safe because casting from a boolean to any other type is always lossless.

If the boolean is true, the group element is the generator of the prime-order subgroup. If the boolean is false, the group element is the zero group element.

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

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

Casts a Field to a Group.

This operation attempts to recover the group element from the given field.

If the field is a valid x-coordinate, then the group element is returned. If the field is not a valid x-coordinate, then if the field is the one element, the generator of the prime-order subgroup is returned. Otherwise, Elligator-2 is applied to the field element to recover a group element.

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

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

Casts a Scalar to a Group.

This operation converts the scalar into a field element, and then attempts to recover the group element. See the documentation of Field::cast_lossy on the Group type for more details.

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

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

Casts a Boolean to a Scalar. This is safe because casting from a boolean to any other type is always lossless.

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

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

Casts a Field to a Scalar, with lossy truncation. This operation truncates the field to a scalar.

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

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

Casts an Integer to an Integer of a different type, with lossy truncation.

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

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

Casts an Integer to an Address.

This operation converts the integer into a field element, and then attempts to recover the group element to construct the address. See the documentation of Field::cast_lossy on the Group type for more details.

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

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

Casts an Integer to a Boolean, with lossy truncation. This operation returns the least significant bit of the field.

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

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

Casts an Integer to a Field. This is safe because casting from an integer to a field is always lossless.

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

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

Casts an Integer to a Group.

This operation converts the integer into a field element, and then attempts to recover the group element. See the documentation of Field::cast_lossy on the Group type for more details.

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

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

Casts a Boolean to an Integer.

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

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

Casts a Field to an Integer, with lossy truncation. This operation truncates the field to an integer.

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

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

Casts a Scalar to an Integer, with lossy truncation.

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

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

Casts an Integer to a Scalar. This is safe because casting from an integer to a scalar is always lossless.

Implementors