Enum TypeReference 

pub enum TypeReference {
    Concrete(ConcreteTypeReference),
    Dynamic(DynamicTypeReference),
}

type reference

Variants

Concrete(ConcreteTypeReference)

concrete type with array qualifies

Dynamic(DynamicTypeReference)

dynamic type

Implementations

impl TypeReference

pub fn dynamic(type_def: &TypeDefinition) -> TypeReference

create a reference for dynamic type

pub fn full_name(&self) -> &FullName

type full name

pub fn type_definition(&self) -> Option<&TypeDefinition>

get type definition when owned

pub fn is_array(&self) -> Option<bool>

type is array?

pub fn element_type(&self) -> Self

get element type reference

Panics

self requires array type

pub fn is_record(&self) -> bool

is record type?

pub fn from_full_name(full_name: FullName) -> Self

create a type reference to named type

pub fn from_master_type_name(name: &str) -> Self

coverts type name with ‘_’ as array

pub fn concrete_type_ref(full_name: &FullName, is_array: bool) -> Self

create concrete type reference

pub fn is_range(&self) -> bool

is multi range type?

pub fn range_subtype(&self) -> Self

get subtype from range type

pub fn is_multi_range(&self) -> bool

is multi range type?

pub fn multi_range_base_element(&self) -> TypeReference

get base element type from multi range type

pub fn is_simple_infer_arg(&self) -> bool

type is simple inference arg

pub fn is_common_infer_arg(&self) -> bool

type is common inference arg

pub fn is_any_element(&self) -> bool

type is just anyelement

pub fn is_any_array(&self) -> bool

type is just anyarrry

pub fn is_any_non_array(&self) -> bool

type is just anynonarray

pub fn is_any_range(&self) -> bool

type is just anyrange

pub fn is_any_multi_range(&self) -> bool

type is just anymultirange

pub fn is_any_compatible(&self) -> bool

type is just anycompatible

pub fn is_any_compatible_array(&self) -> bool

type is just anycompatiblearray

pub fn is_any_compatible_non_array(&self) -> bool

type is just anycompatiblenonarray

pub fn is_any_compatible_range(&self) -> bool

type is just anycompatiblerange

pub fn is_any_compatible_multi_range(&self) -> bool

type is just anycompatiblemultirange

pub fn into_range_type(&self) -> TypeReference

convert to range type

pub fn into_multi_range_type(&self) -> TypeReference

convert to multi range type

pub fn apply_simple_infer_result(&mut self, infer_result_type: &TypeReference)

apply simple inference result

pub fn apply_common_infer_result(&mut self, infer_result_type: &TypeReference)

apply common inference result

pub fn is_dynamic(&self) -> bool

type is dynamic

Trait Implementations

impl Clone for TypeReference

fn clone(&self) -> TypeReference

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeReference

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeReference

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TypeReference

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

Formats the value using the given formatter.

impl Hash for TypeReference

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TypeReference

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for TypeReference

impl StructuralPartialEq for TypeReference