Skip to main content

RuntimeValue

Enum RuntimeValue 

Source
pub enum RuntimeValue {
    Coordinates(Coordinates),
    Number {
        value: f64,
        provenance: Provenance,
    },
    Text {
        value: String,
        provenance: Provenance,
    },
}
Expand description

A value observed at runtime, tagged with the evidence that produced it. 运行期观测到的取值,并携带产出它的证据。

Variants§

§

Coordinates(Coordinates)

Geometry carrying both its actual and expected coordinate spaces. 同时携带实际坐标系与预期坐标系的几何取值。

§

Number

A numeric observation plus its provenance. 数值观测及其来源。

Fields

§value: f64

The observed number. 观测到的数值。

§provenance: Provenance

Evidence explaining where the number came from. 说明该数值由来的证据。

§

Text

A text observation plus its provenance. 文本观测及其来源。

Fields

§value: String

The observed text. 观测到的文本。

§provenance: Provenance

Evidence explaining where the text came from. 说明该文本由来的证据。

Implementations§

Source§

impl RuntimeValue

Source

pub fn number(value: f64, provenance: Provenance) -> RuntimeValue

Build a numeric value carrying its provenance. 构建携带来源证据的数值。

Source

pub fn text(value: impl Into<String>, provenance: Provenance) -> RuntimeValue

Build a text value carrying its provenance. 构建携带来源证据的文本值。

Source

pub fn provenance(&self) -> &Provenance

Borrow the evidence chain shared by every variant. 借用各变体共有的证据链。

Source

pub const fn kind(&self) -> &'static str

Stable kind name used in check-failure messages. 用于校验失败消息的稳定种类名。

Trait Implementations§

Source§

impl Clone for RuntimeValue

Source§

fn clone(&self) -> RuntimeValue

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for RuntimeValue

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.