Minnesota Extensible Language Tools Group

[silver:compiler:modification:lambda_fn]

Contents of [silver:compiler:modification:lambda_fn]:

Defined in this grammar:

terminal Lambda_kwd

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 2.

(Undocumented.)

terminal Arrow_t

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 7.

(Undocumented.)

concrete production lambda_c   (top::Expr ::= '\' params::LambdaRHS '->' e::Expr )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 15.

(Undocumented.)

abstract production lambdap   (top::Expr ::= params::LambdaRHS e::Expr )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 28.

(Undocumented.)

nonterminal LambdaRHS

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 57.

(Undocumented.)

nonterminal LambdaRHSElem

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 62.

(Undocumented.)

monoid attribute lambdaDefs :: [Def]

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 68.

(Undocumented.)

monoid attribute lambdaBoundVars :: [String]

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 69.

(Undocumented.)

inherited attribute givenLambdaId :: Integer

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 71.

(Undocumented.)

inherited attribute givenLambdaParamIndex :: Integer

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 72.

(Undocumented.)

concrete production lambdaRHSCons   (top::LambdaRHS ::= h::LambdaRHSElem t::LambdaRHS )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 92.

(Undocumented.)

concrete production lambdaRHSNil   (top::LambdaRHS ::= )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 110.

(Undocumented.)

concrete production lambdaRHSElemIdTy   (top::LambdaRHSElem ::= id::Name '::' t::TypeExpr )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 124.

(Undocumented.)

concrete production lambdaRHSElemTy   (top::LambdaRHSElem ::= '_' '::' t::TypeExpr )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 141.

(Undocumented.)

concrete production lambdaRHSElemId   (top::LambdaRHSElem ::= id::Name )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 156.

(Undocumented.)

concrete production lambdaRHSElemUnderline   (top::LambdaRHSElem ::= '_' )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 170.

(Undocumented.)

abstract production lambdaParamReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/Lambda.sv line 182.

(Undocumented.)

synthesized attribute lambdaId :: Integer

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/DclInfo.sv line 1.

(Undocumented.)

synthesized attribute lambdaParamIndex :: Integer

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/DclInfo.sv line 2.

(Undocumented.)

aspect default production top::ValueDclInfo ::= {#aspect_default_production_silver:compiler:definition:env:ValueDclInfo}

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/DclInfo.sv line 4.

(Undocumented.)

abstract production lambdaParamDcl   (top::ValueDclInfo ::= fn::String ty::Type id::Integer paramIndex::Integer )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/DclInfo.sv line 12.

(Undocumented.)

fun lambdaParamDef   (Def ::= sg::String sl::Location fn::String ty::Type id::Integer paramIndex::Integer )

Contained in grammar [silver:compiler:modification:lambda_fn]. Defined at silver/compiler/modification/lambda_fn/DclInfo.sv line 29.

(Undocumented.)