Struct erg_parser::ast::RefinementTypeSpec
source · pub struct RefinementTypeSpec {
pub var: Token,
pub typ: Box<TypeSpec>,
pub pred: ConstExpr,
}
Fields§
§var: Token
§typ: Box<TypeSpec>
§pred: ConstExpr
Implementations§
Trait Implementations§
source§impl Clone for RefinementTypeSpec
impl Clone for RefinementTypeSpec
source§fn clone(&self) -> RefinementTypeSpec
fn clone(&self) -> RefinementTypeSpec
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 RefinementTypeSpec
impl Debug for RefinementTypeSpec
source§impl Display for RefinementTypeSpec
impl Display for RefinementTypeSpec
source§impl Hash for RefinementTypeSpec
impl Hash for RefinementTypeSpec
source§impl Locational for RefinementTypeSpec
impl Locational for RefinementTypeSpec
source§impl PartialEq for RefinementTypeSpec
impl PartialEq for RefinementTypeSpec
source§fn eq(&self, other: &RefinementTypeSpec) -> bool
fn eq(&self, other: &RefinementTypeSpec) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for RefinementTypeSpec
impl StructuralPartialEq for RefinementTypeSpec
Auto Trait Implementations§
impl Freeze for RefinementTypeSpec
impl RefUnwindSafe for RefinementTypeSpec
impl Send for RefinementTypeSpec
impl Sync for RefinementTypeSpec
impl Unpin for RefinementTypeSpec
impl UnwindSafe for RefinementTypeSpec
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