Minnesota Extensible Language Tools Group

[silver:compiler:extension:do_notation]

Contents of [silver:compiler:extension:do_notation]:

Defined in this grammar:

concrete production do_c   (top::Expr ::= 'do' '{' body::DoBody '}' )

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 3.

(Undocumented.)

concrete production mdo_c   (top::Expr ::= 'mdo' '{' body::DoBody '}' )

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 40.

(Undocumented.)

inherited attribute boundVarEnv :: ts:Set<String>

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 55.

(Undocumented.)

inherited attribute allBoundVars :: ts:Set<String>

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 57.

(Undocumented.)

monoid attribute boundVars :: ts:Set<String>

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 59.

(Undocumented.)

synthesized attribute bindingFreeVars :: ts:Set<String>

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 61.

(Undocumented.)

synthesized attribute isApplicative :: Boolean

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 64.

(Undocumented.)

synthesized attribute appBindings :: [LambdaRHSElem]

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 66.

(Undocumented.)

synthesized attribute appExprs :: [Expr]

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 68.

(Undocumented.)

synthesized attribute appResult :: Expr

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 70.

(Undocumented.)

inherited attribute transformIn :: Expr

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 75.

(Undocumented.)

synthesized attribute transform :: Expr

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 76.

(Undocumented.)

inherited attribute recVars :: ts:Set<String>

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 80.

(Undocumented.)

synthesized attribute recBindings :: [(String,TypeExpr)]

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 82.

(Undocumented.)

inherited attribute recRes :: DoBody

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 85.

(Undocumented.)

synthesized attribute recBody :: DoBody

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 87.

(Undocumented.)

synthesized attribute mdoTransform :: DoBody

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 89.

(Undocumented.)

nonterminal DoBody

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 91.

(Undocumented.)

nonterminal DoBinding

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 96.

(Undocumented.)

concrete production consDoBody   (top::DoBody ::= b::DoBinding rest::DoBody )

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 105.

(Undocumented.)

concrete production finalExprDoBody   (top::DoBody ::= e::Expr ';' )

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 197.

(Undocumented.)

concrete production finalReturnDoBody   (top::DoBody ::= 'return' e::Expr ';' )

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 212.

(Undocumented.)

concrete production bindDoBinding   (top::DoBinding ::= n::Name DoDoubleColon_t t::TypeExpr '<-' e::Expr ';' )

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 227.

(Undocumented.)

concrete production exprDoBinding   (top::DoBinding ::= e::Expr ';' )

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 247.

(Undocumented.)

concrete production letDoBinding   (top::DoBinding ::= 'let' n::Name '::' t::TypeExpr '=' e::Expr ';' )

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Syntax.sv line 260.

(Undocumented.)

terminal Do_kwd

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Terminals.sv line 3.

(Undocumented.)

terminal MDo_kwd

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Terminals.sv line 4.

(Undocumented.)

terminal LArrow_t

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Terminals.sv line 4.

(Undocumented.)

terminal DoDoubleColon_t

Contained in grammar [silver:compiler:extension:do_notation]. Defined at silver/compiler/extension/do_notation/Terminals.sv line 6.

(Undocumented.)