Struct ConstructExpr

pub struct ConstructExpr<T: ResolvedType = ()> {
    pub id: NodeId<Expr>,
    pub target: ConstructTarget<T>,
    pub open_squirly_brace: Arc<Token>,
    pub args: Vec<ConstructArg<T>>,
    pub close_squirly_brace: Arc<Token>,
    pub resolved_type: T,
}

Fields

id: NodeId<Expr>

target: ConstructTarget<T>

open_squirly_brace: Arc<Token>

args: Vec<ConstructArg<T>>

close_squirly_brace: Arc<Token>

resolved_type: T

Trait Implementations

impl<T: Clone + ResolvedType> Clone for ConstructExpr<T>

fn clone(&self) -> ConstructExpr<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + ResolvedType> Debug for ConstructExpr<T>

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

Formats the value using the given formatter.

impl<T: ResolvedType> From<ConstructExpr> for ConstructExpr<Option<T>>

fn from(value: ConstructExpr<()>) -> Self

Converts to this type from the input type.

impl<T: ResolvedType> Node<Expr> for ConstructExpr<T>

fn node_id(&self) -> NodeId<Expr>

fn set_node_id(&mut self, id: NodeId<Expr>)

impl<T: PartialEq + ResolvedType> PartialEq for ConstructExpr<T>

fn eq(&self, other: &ConstructExpr<T>) -> 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<T: ResolvedType> Resolvable for ConstructExpr<Option<T>>

fn is_resolved(&self) -> bool

fn is_signature_resolved(&self) -> bool

impl<T: ResolvedType> TryFrom<ConstructExpr<Option<T>>> for ConstructExpr<T>

type Error = FinalizeResolveTypeError

The type returned in the event of a conversion error.

fn try_from(value: ConstructExpr<Option<T>>) -> Result<Self, Self::Error>

Performs the conversion.

impl<T: ResolvedType> StructuralPartialEq for ConstructExpr<T>