Enum erg_parser::ast::TypeBoundSpec
source · pub enum TypeBoundSpec {
Omitted(VarName),
NonDefault {
lhs: VarName,
spec: TypeSpecWithOp,
},
WithDefault {
lhs: VarName,
spec: Box<TypeSpecWithOp>,
default: ConstExpr,
},
}
Variants§
Implementations§
source§impl TypeBoundSpec
impl TypeBoundSpec
pub fn non_default(lhs: VarName, spec: TypeSpecWithOp) -> Self
pub fn default(lhs: VarName, spec: TypeSpecWithOp, default: ConstExpr) -> Self
Trait Implementations§
source§impl Clone for TypeBoundSpec
impl Clone for TypeBoundSpec
source§fn clone(&self) -> TypeBoundSpec
fn clone(&self) -> TypeBoundSpec
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 moresource§impl Debug for TypeBoundSpec
impl Debug for TypeBoundSpec
source§impl Display for TypeBoundSpec
impl Display for TypeBoundSpec
source§impl FromIterator<TypeBoundSpec> for TypeBoundSpecs
impl FromIterator<TypeBoundSpec> for TypeBoundSpecs
source§fn from_iter<I: IntoIterator<Item = TypeBoundSpec>>(iter: I) -> Self
fn from_iter<I: IntoIterator<Item = TypeBoundSpec>>(iter: I) -> Self
Creates a value from an iterator. Read more
source§impl Hash for TypeBoundSpec
impl Hash for TypeBoundSpec
source§impl Locational for TypeBoundSpec
impl Locational for TypeBoundSpec
source§impl NestedDisplay for TypeBoundSpec
impl NestedDisplay for TypeBoundSpec
source§impl PartialEq for TypeBoundSpec
impl PartialEq for TypeBoundSpec
source§fn eq(&self, other: &TypeBoundSpec) -> bool
fn eq(&self, other: &TypeBoundSpec) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Stream<TypeBoundSpec> for TypeBoundSpecs
impl Stream<TypeBoundSpec> for TypeBoundSpecs
fn payload(self) -> Vec<TypeBoundSpec>
fn ref_payload(&self) -> &Vec<TypeBoundSpec>
fn ref_mut_payload(&mut self) -> &mut Vec<TypeBoundSpec>
fn clear(&mut self)
fn len(&self) -> usize
fn size(&self) -> usize
fn is_empty(&self) -> bool
fn insert(&mut self, idx: usize, elem: T)
fn remove(&mut self, idx: usize) -> T
fn push(&mut self, elem: T)
fn append<S>(&mut self, s: &mut S)where
S: Stream<T>,
fn pop(&mut self) -> Option<T>
fn lpop(&mut self) -> Option<T>
fn get(&self, idx: usize) -> Option<&T>
fn get_mut(&mut self, idx: usize) -> Option<&mut T>
fn first(&self) -> Option<&T>
fn first_mut(&mut self) -> Option<&mut T>
fn last(&self) -> Option<&T>
fn last_mut(&mut self) -> Option<&mut T>
fn iter(&self) -> Iter<'_, T>
fn iter_mut(&mut self) -> IterMut<'_, T>
fn take_all(&mut self) -> Vec<T>
fn extend<I>(&mut self, iter: I)where
I: IntoIterator<Item = T>,
fn split_off(&mut self, at: usize) -> Vec<T>
source§fn retain(&mut self, f: impl FnMut(&T) -> bool)
fn retain(&mut self, f: impl FnMut(&T) -> bool)
Remove all elements that don’t satisfy the predicate.
fn concat(self, other: Self) -> Self
impl Eq for TypeBoundSpec
impl StructuralPartialEq for TypeBoundSpec
Auto Trait Implementations§
impl Freeze for TypeBoundSpec
impl RefUnwindSafe for TypeBoundSpec
impl Send for TypeBoundSpec
impl Sync for TypeBoundSpec
impl Unpin for TypeBoundSpec
impl UnwindSafe for TypeBoundSpec
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