pub struct DeconstructorDecl {
pub target: TypeKey,
pub records: Vec<DeconRecord>,
pub default: Option<(DeconTarget, Delivery)>,
}Expand description
A type-level deconstructor declaration (expand_return!(T).field*): the
complete, ordered record list decomposing target. An immutable record —
the leaf order is the declaration order of the records vector.
Fields§
§target: TypeKeyThe type being decomposed, as an identity — see
ConstructorDecl::target.
records: Vec<DeconRecord>§default: Option<(DeconTarget, Delivery)>Auto-apply this deconstructor to every matching declared fn (Some
carries the inferred (target-position, delivery) to use). Always
Some for type-level default (expand_return!) declarations.
Trait Implementations§
Source§impl Clone for DeconstructorDecl
impl Clone for DeconstructorDecl
Source§fn clone(&self) -> DeconstructorDecl
fn clone(&self) -> DeconstructorDecl
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 !Send for DeconstructorDecl
impl !Sync for DeconstructorDecl
impl Freeze for DeconstructorDecl
impl RefUnwindSafe for DeconstructorDecl
impl Unpin for DeconstructorDecl
impl UnsafeUnpin for DeconstructorDecl
impl UnwindSafe for DeconstructorDecl
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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