Struct wdl_analysis::TypeParameter
source · pub struct TypeParameter { /* private fields */ }Expand description
Represents a type parameter to a function.
Implementations§
source§impl TypeParameter
impl TypeParameter
sourcepub fn new(name: &'static str, constraint: impl Constraint + 'static) -> Self
pub fn new(name: &'static str, constraint: impl Constraint + 'static) -> Self
Creates a new type parameter with the given constraint.
sourcepub fn constraint(&self) -> Option<&dyn Constraint>
pub fn constraint(&self) -> Option<&dyn Constraint>
Gets the constraint of the type parameter.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for TypeParameter
impl !RefUnwindSafe for TypeParameter
impl Send for TypeParameter
impl Sync for TypeParameter
impl Unpin for TypeParameter
impl !UnwindSafe for TypeParameter
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 more