Trait prio::flp::types::fixedpoint_l2::compatible_float::CompatibleFloat

pub trait CompatibleFloat {
    // Required methods
    fn to_float(t: Field128, c: u128) -> f64;
    fn to_field_integer(&self) -> <Field128 as FieldElementWithInteger>::Integer;
}

Available on crate feature experimental only.

Assign a Float type to this type and describe how to represent this type as an integer of the given field, and how to represent a field element as the assigned Float type.

Required Methods

fn to_float(t: Field128, c: u128) -> f64

Represent a field element as Float, given the number of clients c.

fn to_field_integer(&self) -> <Field128 as FieldElementWithInteger>::Integer

Represent a value of this type as an integer in the given field.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl CompatibleFloat for FixedI16<U15>

fn to_float(d: Field128, c: u128) -> f64

fn to_field_integer(&self) -> <Field128 as FieldElementWithInteger>::Integer

impl CompatibleFloat for FixedI32<U31>

fn to_float(d: Field128, c: u128) -> f64

fn to_field_integer(&self) -> <Field128 as FieldElementWithInteger>::Integer

impl CompatibleFloat for FixedI64<U63>

fn to_float(d: Field128, c: u128) -> f64

fn to_field_integer(&self) -> <Field128 as FieldElementWithInteger>::Integer

Implementors