Skip to main content

Def

Struct Def 

Source
pub struct Def {
    pub symbol: String,
    pub lib: String,
    pub is_: Vec<String>,
    pub tag_on: Vec<String>,
    pub of: Option<String>,
    pub mandatory: bool,
    pub doc: String,
    pub tags: HDict,
}
Expand description

A single Haystack 4 definition loaded from Trio.

Each def has a symbol (name), belongs to a library, and has an inheritance chain via the is tag. Additional metadata such as tagOn, of, mandatory, and doc describe how the def relates to entity types and other defs.

Fields§

§symbol: String

Def name, e.g. "ahu" or "lib:phIoT".

§lib: String

Library name, e.g. "phIoT".

§is_: Vec<String>

Supertype symbols from the is tag.

§tag_on: Vec<String>

Entity types this tag applies to (tagOn).

§of: Option<String>

Target type for refs/choices (of tag).

§mandatory: bool

Whether this tag is mandatory on entities.

§doc: String

Human-readable documentation string.

§tags: HDict

Full HDict of all meta tags on this def.

Implementations§

Source§

impl Def

Source

pub fn kind(&self) -> DefKind

Derive the def kind from its supertype chain.

Priority order:

  1. "lib" in is_ -> DefKind::Lib
  2. "choice" in is_ -> DefKind::Choice
  3. "entity" in is_ -> DefKind::Entity
  4. "val" or "scalar" in is_ -> DefKind::Val
  5. "feature" in is_ -> DefKind::Feature
  6. "-" in symbol -> DefKind::Conjunct
  7. default -> DefKind::Marker

Trait Implementations§

Source§

impl Clone for Def

Source§

fn clone(&self) -> Def

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Def

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for Def

Source§

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl Eq for Def

Auto Trait Implementations§

§

impl Freeze for Def

§

impl RefUnwindSafe for Def

§

impl Send for Def

§

impl Sync for Def

§

impl Unpin for Def

§

impl UnsafeUnpin for Def

§

impl UnwindSafe for Def

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<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
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> Same for T

Source§

type Output = T

Should always be Self
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 = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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.