Enum TermIpld 

pub enum TermIpld {
    Atom {
        value: String,
    },
    Variable {
        name: String,
    },
    Number {
        value: f64,
    },
    Compound {
        functor: String,
        args: Vec<TermIpld>,
    },
    List {
        items: Vec<TermIpld>,
    },
    Tensor {
        dtype: String,
        shape: Vec<u64>,
        cid: Option<String>,
    },
    Ref {
        cid: String,
        hint: Option<String>,
    },
}

IPLD representation of a TensorLogic Term

Covers all term variants in a way that is suitable for content-addressed DAG-CBOR encoding. The representation is flat and self-describing so that IPLD path resolution can traverse into any sub-term without additional context.

Variants

Atom

Atomic string value

Fields

value: String

Variable

Logic variable (unbound)

Fields

name: String

Number

Numeric value (f64 covers integers as well for a uniform JSON/CBOR repr)

Fields

value: f64

Compound

Compound term – a functor applied to zero or more argument terms

Fields

functor: String

args: Vec<TermIpld>

List

Ordered list of terms

Fields

items: Vec<TermIpld>

Tensor

Tensor descriptor; the actual data lives in a separate block addressed by cid (optional – may be unresolved at encoding time)

Fields

dtype: String

shape: Vec<u64>

cid: Option<String>

Ref

Content-addressed reference to another term block

Fields

cid: String

hint: Option<String>

Trait Implementations

impl Clone for TermIpld

fn clone(&self) -> TermIpld

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermIpld

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TermIpld

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TermIpld

fn eq(&self, other: &TermIpld) -> 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 Serialize for TermIpld

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TermIpld

impl TryFrom<&Term> for TermIpld

type Error = Error

The type returned in the event of a conversion error.

fn try_from(term: &Term) -> Result<Self, Error>

Performs the conversion.

impl TryFrom<&TermIpld> for Term

type Error = Error

The type returned in the event of a conversion error.

fn try_from(ipld: &TermIpld) -> Result<Self, Error>

Performs the conversion.