Struct TypeExpression 

pub struct TypeExpression {
    pub path: Option<ModulePath>,
    pub ident: Ident,
    pub template_args: Option<Vec<TemplateArg>>,
}

Fields

path: Option<ModulePath>

Available on crate feature imports only.

ident: Ident

template_args: Option<Vec<TemplateArg>>

Implementations

impl TypeExpression

pub fn new(ident: Ident) -> TypeExpression

New TypeExpression with no template.

Trait Implementations

impl Clone for TypeExpression

fn clone(&self) -> TypeExpression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExpression

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeExpression

fn deserialize<__D>( __deserializer: __D, ) -> Result<TypeExpression, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TypeExpression

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

Formats the value using the given formatter.

impl Eval for TypeExpression

Available on crate feature eval only.

fn eval(&self, ctx: &mut Context<'_>) -> Result<Instance, EvalError>

See also ty_eval_ty. This implementation evaluates TypeExpression that are identifiers, not types.

fn eval_value(&self, ctx: &mut Context<'_>) -> Result<Instance, EvalError>

impl EvalTy for TypeExpression

Available on crate feature eval only.

fn eval_ty(&self, ctx: &mut Context<'_>) -> Result<Type, EvalError>

Use only when the TypeExpression is an identifier (Expression::TypeOrIdentifier), NOT when it is a type-expression. For that, see ty_eval_ty.

impl From<Ident> for TypeExpression

fn from(ident: Ident) -> TypeExpression

Converts to this type from the input type.

impl From<TypeExpression> for Expression

fn from(value: TypeExpression) -> Expression

Converts to this type from the input type.

impl Lower for TypeExpression

Available on crate feature eval only.

fn lower(&mut self, ctx: &mut Context<'_>) -> Result<(), EvalError>

impl PartialEq for TypeExpression

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TypeExpression

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TypeExpression

impl SyntaxNode for TypeExpression

fn span(&self) -> Option<Span>

Span of a syntax node.

fn ident(&self) -> Option<Ident>

Identifier, if the syntax node is a declaration.

fn attributes(&self) -> &[Spanned<Attribute>]

List all attributes of a syntax node.

fn attributes_mut(&mut self) -> &mut [Spanned<Attribute>]

List all attributes of a syntax node.

fn contains_attribute(&self, attribute: &Attribute) -> bool

Whether the node contains an attribute.

fn retain_attributes_mut<F>(&mut self, _predicate: F)

where F: FnMut(&mut Attribute) -> bool,

Remove attributes with predicate.