pub struct Field<T> {
pub label: Name,
pub label_span: NodeSpan,
pub value: T,
}Expand description
One field of a record or an update — TermKind::Record, TermKind::Update and
their typed counterparts — over the term type T of the
tree it is in; and, as a Field<SubPattern>, one entry of a
record pattern.
Fields§
§label: Name§label_span: NodeSpanWhere the label alone was written; the value carries its own span. For a record
pattern’s { label } shorthand the two are the same text.
value: TTrait Implementations§
Auto Trait Implementations§
impl<T> Freeze for Field<T>where
T: Freeze,
impl<T> RefUnwindSafe for Field<T>where
T: RefUnwindSafe,
impl<T> Send for Field<T>where
T: Send,
impl<T> Sync for Field<T>where
T: Sync,
impl<T> Unpin for Field<T>where
T: Unpin,
impl<T> UnsafeUnpin for Field<T>where
T: UnsafeUnpin,
impl<T> UnwindSafe for Field<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more