[silver:compiler:extension:do_notation]

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

Defined in this grammar:

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.)


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 74.

(Undocumented.)


synthesized attribute transform :: Expr

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

(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 79.

(Undocumented.)


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

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

(Undocumented.)


inherited attribute recRes :: DoBody

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

(Undocumented.)


synthesized attribute recBody :: DoBody

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

(Undocumented.)


synthesized attribute mdoTransform :: DoBody

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

(Undocumented.)


nonterminal DoBody

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

(Undocumented.)


nonterminal DoBinding

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

(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 104.

(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 196.

(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 211.

(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 226.

(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 246.

(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 259.

(Undocumented.)