pub struct DataspaceColumn {
pub name: String,
pub declared_type: String,
pub loc: Loc,
}Expand description
§Fase 108.b — one declared dataspace column: column <name>: <Type>.
The type is kept RAW at parse time (the string the adopter wrote);
the §108.b type-checker resolves it against the closed catalog and
emits axon-T928 on a miss — so ALL schema errors in a declaration
accumulate in one compile, instead of dying at the first bad token.
Fields§
§name: String§declared_type: String§loc: LocTrait Implementations§
Auto Trait Implementations§
impl Freeze for DataspaceColumn
impl RefUnwindSafe for DataspaceColumn
impl Send for DataspaceColumn
impl Sync for DataspaceColumn
impl Unpin for DataspaceColumn
impl UnsafeUnpin for DataspaceColumn
impl UnwindSafe for DataspaceColumn
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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreCreates a shared type from an unshared type.