pub struct ResolvedType {
pub primitive: String,
pub chain: Vec<Arc<TypeDef>>,
}Expand description
Custom type definition, loaded from sqlite_turso_types A fully-resolved custom type: the chain of TypeDefs from the named type up to the ultimate primitive, plus the primitive name itself.
Fields§
§primitive: StringThe ultimate primitive type name (e.g., “integer”, “text”, “blob”).
chain: Vec<Arc<TypeDef>>TypeDefs from child (the named type) to ancestor (closest to primitive).
Implementations§
Source§impl ResolvedType
impl ResolvedType
Sourcepub fn default_expr(&self) -> Option<&Expr>
pub fn default_expr(&self) -> Option<&Expr>
Find the first DEFAULT expression in the type chain (child first, then ancestors). Matches PostgreSQL: a child domain inherits the parent’s DEFAULT when it doesn’t declare its own.
Trait Implementations§
Source§impl Clone for ResolvedType
impl Clone for ResolvedType
Source§fn clone(&self) -> ResolvedType
fn clone(&self) -> ResolvedType
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for ResolvedType
impl RefUnwindSafe for ResolvedType
impl Send for ResolvedType
impl Sync for ResolvedType
impl Unpin for ResolvedType
impl UnsafeUnpin for ResolvedType
impl UnwindSafe for ResolvedType
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> ErasedDestructor for Twhere
T: 'static,
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 more