Enum DescribedType 

pub enum DescribedType {
    Void,
    I8,
    I16,
    I32,
    I64,
    I128,
    U8,
    U16,
    U32,
    U64,
    U128,
    F32,
    F64,
    Bool,
    Byte,
    Char,
    String,
    Vec(Box<DescribedType>),
    Option(Box<DescribedType>),
    Data(Box<Arc<dyn Data>>),
    Generic(Box<Generic>),
}

Variants

Void

I8

I16

I32

I64

I128

U8

U16

U32

U64

U128

F32

F64

Bool

Byte

Char

String

Vec(Box<DescribedType>)

Option(Box<DescribedType>)

Data(Box<Arc<dyn Data>>)

Generic(Box<Generic>)

Implementations

impl DescribedType

pub fn contains_generic(&self) -> bool

pub fn contains_core(&self) -> bool

pub fn contains_data(&self) -> bool

pub fn final_type(&self) -> &DescribedType

pub fn final_type_mut(&mut self) -> &mut DescribedType

pub fn data(&self) -> Option<&Arc<dyn Data>>

pub fn data_mut(&mut self) -> Option<&mut Arc<dyn Data>>

pub fn implements(&self, data_trait: &DataTrait) -> bool

pub fn is_datatype( &self, dt: &DataType, generics: &HashMap<String, DescribedType>, ) -> bool

pub fn to_datatype( &self, generics: &HashMap<String, DescribedType>, ) -> Option<DataType>

pub fn is_compatible( &self, generics: &HashMap<String, DescribedType>, other: &DescribedType, generics_other: &HashMap<String, DescribedType>, ) -> bool

pub fn as_defined( &self, generics: &HashMap<String, DescribedType>, ) -> Option<DescribedType>

Trait Implementations

impl Clone for DescribedType

fn clone(&self) -> DescribedType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DescribedType

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

Formats the value using the given formatter.

impl Display for DescribedType

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

Formats the value using the given formatter.

impl From<&DataType> for DescribedType

fn from(value: &DataType) -> Self

Converts to this type from the input type.

impl From<DataType> for DescribedType

fn from(value: DataType) -> Self

Converts to this type from the input type.

impl PartialEq for DescribedType

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DescribedType