Trait ToCore 

pub trait ToCore {
    // Required method
    fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>;
}

Convert a Rust type to a Core Value (for interpolation into CoreExpr or evaluation).

This trait is used to inject Rust values into the Core evaluator.

Required Methods

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

Convert this type to a Value using the provided DataConTable for lookups.

Errors

Returns BridgeError::UnknownDataConName if a required constructor is missing from the table.

Implementations on Foreign Types

impl ToCore for Value

Convert a serde_json::Value to a Tidepool Core Value matching the vendored Tidepool.Aeson.Value Haskell type.

The resulting Core value can be passed to Haskell code that expects Value (the aeson-compatible type) and accessed via lens combinators.

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for Value

fn to_value(&self, _table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for bool

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for char

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for f64

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for i32

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for i64

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for u64

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for ()

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl ToCore for String

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl<A: ToCore, B: ToCore> ToCore for (A, B)

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl<A: ToCore, B: ToCore, C: ToCore> ToCore for (A, B, C)

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl<T> ToCore for PhantomData<T>

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl<T: ToCore> ToCore for Option<T>

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl<T: ToCore> ToCore for Box<T>

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl<T: ToCore> ToCore for Vec<T>

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

impl<T: ToCore, E: ToCore> ToCore for Result<T, E>

fn to_value(&self, table: &DataConTable) -> Result<Value, BridgeError>

Implementors