Enum ExtendedSet 

pub enum ExtendedSet {
    F64(TypedTensor<f64, DynRank, Host>),
    Df64(TypedTensor<Df64, DynRank, Host>),
}

Value enum for the external extended-precision set.

Examples

use tenferro_df64_proof::{Df64, ExtendedSet, ExtendedTag};
use tenferro_tensor::{DynRank, Host, ScalarSet, TypedTensor};

let value = ExtendedSet::Df64(
    TypedTensor::<_, DynRank, Host>::from_host_vec_col_major(vec![1], vec![Df64::from_f64(2.0)])?,
);
assert_eq!(value.tag(), ExtendedTag::Df64);

Variants

F64(TypedTensor<f64, DynRank, Host>)

Standard double precision.

Df64(TypedTensor<Df64, DynRank, Host>)

The external two-component scalar, ranked above double precision.

Trait Implementations

impl Clone for ExtendedSet

fn clone(&self) -> ExtendedSet

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExtendedSet

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl ScalarSet for ExtendedSet

const TAGS: &'static [Self::Tag]

Tags of every member, in declaration order.

type Tag = ExtendedTag

Tag identifying one member of this set.

fn tag(&self) -> Self::Tag

Tag of the member this value currently holds.

fn promote(lhs: Self::Tag, rhs: Self::Tag) -> Self::Tag

Promote two members of this set to the member that represents both.