Struct pax_compiler::manifest::TypeDefinition

pub struct TypeDefinition {
    pub type_id: String,
    pub type_id_escaped: String,
    pub import_path: String,
    pub inner_iterable_type_id: Option<String>,
    pub property_definitions: Vec<PropertyDefinition>,
}

Describes metadata surrounding a property’s type, gathered from a combination of static & dynamic analysis

Fields

type_id: String

Program-unique ID for this type

type_id_escaped: String

Same as fully qualified type, but Pascalized to make a suitable enum identifier

import_path: String

Unlike type_id, contains no generics data. Simply used for qualifying / importing a type, like std::vec::Vec

inner_iterable_type_id: Option<String>

Statically known type_id for this Property’s iterable TypeDefinition, that is, T for some Property<Vec>

property_definitions: Vec<PropertyDefinition>

A vec of PropertyType, describing known addressable (sub-)properties of this PropertyType

Implementations

impl TypeDefinition

pub fn primitive(type_name: &str) -> Self

pub fn builtin_vec_rc_properties_coproduct( inner_iterable_type_id: String ) -> Self

Used by Repeat for source expressions, e.g. the self.some_vec in for elem in self.some_vec

pub fn builtin_range_isize() -> Self

pub fn builtin_rc_properties_coproduct() -> Self

Trait Implementations

impl Clone for TypeDefinition

fn clone(&self) -> TypeDefinition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDefinition

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

Formats the value using the given formatter.

impl Default for TypeDefinition

fn default() -> TypeDefinition

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TypeDefinition

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TypeDefinition

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

where __S: Serializer,

Serialize this value into the given Serde serializer.