Struct Fact 

pub struct Fact<T> {
    pub value: T,
    pub provenance: Provenance,
    pub cite: &'static str,
}

A number with its provenance and its source.

Fields

value: T

provenance: Provenance

cite: &'static str

For a published fact: the public source (one of the chip’s cites) and the figure as it appears there. For a derived fact: the published inputs and the arithmetic. For a measured fact: the run’s ledger and its method. For a modeled fact: what gap it fills and what it inherits.

Implementations

impl<T> Fact<T>

pub const fn published(value: T, cite: &'static str) -> Fact<T>

pub const fn derived(value: T, cite: &'static str) -> Fact<T>

pub const fn measured(value: T, cite: &'static str) -> Fact<T>

pub const fn modeled(value: T, cite: &'static str) -> Fact<T>

pub fn is_modeled(&self) -> bool

pub fn is_published(&self) -> bool

Trait Implementations

impl<T: Clone> Clone for Fact<T>

fn clone(&self) -> Fact<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Fact<T>

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

Formats the value using the given formatter.

impl<T: Hash> Hash for Fact<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: PartialEq> PartialEq for Fact<T>

fn eq(&self, other: &Fact<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T> Serialize for Fact<T>

where T: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<T: Copy> Copy for Fact<T>

impl<T: Eq> Eq for Fact<T>

impl<T> StructuralPartialEq for Fact<T>