Struct erg_compiler::ty::typaram::TyParamLambda
source · pub struct TyParamLambda {
pub const_: ConstLambda,
pub nd_params: Vec<ParamTy>,
pub var_params: Option<ParamTy>,
pub d_params: Vec<ParamTy>,
pub body: Vec<TyParam>,
}
Fields§
§const_: ConstLambda
§nd_params: Vec<ParamTy>
§var_params: Option<ParamTy>
§d_params: Vec<ParamTy>
§body: Vec<TyParam>
Implementations§
Trait Implementations§
source§impl Clone for TyParamLambda
impl Clone for TyParamLambda
source§fn clone(&self) -> TyParamLambda
fn clone(&self) -> TyParamLambda
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 TyParamLambda
impl Debug for TyParamLambda
source§impl Display for TyParamLambda
impl Display for TyParamLambda
source§impl HasLevel for TyParamLambda
impl HasLevel for TyParamLambda
source§impl Hash for TyParamLambda
impl Hash for TyParamLambda
source§impl PartialEq<TyParamLambda> for TyParamLambda
impl PartialEq<TyParamLambda> for TyParamLambda
source§fn eq(&self, other: &TyParamLambda) -> bool
fn eq(&self, other: &TyParamLambda) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.