Struct erg_compiler::hir::TypeSpecWithOp
source · pub struct TypeSpecWithOp {
pub raw: TypeSpecWithOp,
pub expr: Box<Expr>,
pub spec_t: Type,
}
Fields§
§raw: TypeSpecWithOp
§expr: Box<Expr>
Required for dynamic type checking
spec_t: Type
Implementations§
source§impl TypeSpecWithOp
impl TypeSpecWithOp
pub fn new(raw: TypeSpecWithOp, expr: Expr, spec_t: Type) -> Self
pub fn kind(&self) -> AscriptionKind
Trait Implementations§
source§impl Clone for TypeSpecWithOp
impl Clone for TypeSpecWithOp
source§fn clone(&self) -> TypeSpecWithOp
fn clone(&self) -> TypeSpecWithOp
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 TypeSpecWithOp
impl Debug for TypeSpecWithOp
source§impl Display for TypeSpecWithOp
impl Display for TypeSpecWithOp
source§impl Hash for TypeSpecWithOp
impl Hash for TypeSpecWithOp
source§impl Locational for TypeSpecWithOp
impl Locational for TypeSpecWithOp
source§impl NestedDisplay for TypeSpecWithOp
impl NestedDisplay for TypeSpecWithOp
source§impl PartialEq for TypeSpecWithOp
impl PartialEq for TypeSpecWithOp
source§fn eq(&self, other: &TypeSpecWithOp) -> bool
fn eq(&self, other: &TypeSpecWithOp) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for TypeSpecWithOp
impl StructuralEq for TypeSpecWithOp
impl StructuralPartialEq for TypeSpecWithOp
Auto Trait Implementations§
impl RefUnwindSafe for TypeSpecWithOp
impl Send for TypeSpecWithOp
impl Sync for TypeSpecWithOp
impl Unpin for TypeSpecWithOp
impl UnwindSafe for TypeSpecWithOp
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