Struct ezno_checker::types::functions::SynthesisedRestParameter
source · pub struct SynthesisedRestParameter {
pub name: String,
pub item_type: TypeId,
pub ty: TypeId,
pub position: SpanWithSource,
}
Expand description
Note that the [Type] here is not array like
Fields§
§name: String
§item_type: TypeId
This is the item type, aka the T
of Array<T>
ty: TypeId
This is the generic type (to substitute into)
position: SpanWithSource
Trait Implementations§
source§impl Clone for SynthesisedRestParameter
impl Clone for SynthesisedRestParameter
source§fn clone(&self) -> SynthesisedRestParameter
fn clone(&self) -> SynthesisedRestParameter
Returns a copy of the value. Read more
1.0.0 · 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 SynthesisedRestParameter
impl RefUnwindSafe for SynthesisedRestParameter
impl Send for SynthesisedRestParameter
impl Sync for SynthesisedRestParameter
impl Unpin for SynthesisedRestParameter
impl UnwindSafe for SynthesisedRestParameter
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> 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