Minnesota Extensible Language Tools Group

[silver:compiler:definition:env]

Contents of [silver:compiler:definition:env]:

Defined in this grammar:

abstract production namedSignature   (top::NamedSignature ::= fn::String ctxs::Contexts ie::NamedSignatureElements oe::NamedSignatureElement np::NamedSignatureElements )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 36.

Parameter fn
The full name
Parameter ctxs
The type constraint contexts
Parameter ie
The input elements
Parameter oe
The output element
Parameter np
Named parameters (or annotations)

Represents the signature of a production (or function).

abstract production globalSignature   (top::NamedSignature ::= fn::String ctxs::Contexts ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 72.

Parameter fn
The full name
Parameter ctxs
The type constraint contexts
Parameter ty
The type of the global

Represents the signature of a global (or class member).

synthesized attribute declaredName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 26.

(Undocumented.)

monoid attribute moduleNames :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 32.

(Undocumented.)

monoid attribute exportedGrammars :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 36.

(Undocumented.)

monoid attribute optionalGrammars :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 41.

(Undocumented.)

monoid attribute condBuild :: [[String]]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 45.

(Undocumented.)

monoid attribute allGrammarDependencies :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 50.

(Undocumented.)

monoid attribute occursDefs :: [OccursDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 55.

(Undocumented.)

monoid attribute defs :: [Def]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 65.

(Undocumented.)

inherited attribute env :: Env

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 69.

(Undocumented.)

inherited attribute compiledGrammars :: EnvTree<Decorated RootSpec>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 78.

(Undocumented.)

inherited attribute config :: Decorated CmdArgs

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 82.

(Undocumented.)

inherited attribute productionFlowGraphs :: EnvTree<ProductionGraph>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 86.

(Undocumented.)

inherited attribute grammarFlowTypes :: EnvTree<FlowType>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 87.

(Undocumented.)

synthesized attribute grammarSource :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 92.

(Undocumented.)

nonterminal Contexts

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 12.

(Undocumented.)

abstract production consContext   (top::Contexts ::= h::Context t::Contexts )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 15.

(Undocumented.)

abstract production nilContext   (top::Contexts ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 21.

(Undocumented.)

global foldContexts

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 28.

(Undocumented.)

synthesized attribute contextSuperDefs :: ([Def] ::= InstDclInfo String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 30.

(Undocumented.)

synthesized attribute contextMemberDefs :: ([Def] ::= [TyVar] String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 31.

(Undocumented.)

synthesized attribute contextSigDefs :: ([Def] ::= NamedSignature String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 32.

(Undocumented.)

synthesized attribute contextSuperOccursDefs :: ([OccursDclInfo] ::= InstDclInfo String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 33.

(Undocumented.)

synthesized attribute contextMemberOccursDefs :: ([OccursDclInfo] ::= [TyVar] String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 34.

(Undocumented.)

synthesized attribute contextSigOccursDefs :: ([OccursDclInfo] ::= NamedSignature String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 35.

(Undocumented.)

synthesized attribute contextClassName :: Maybe<String>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 36.

(Undocumented.)

synthesized attribute resolved :: [InstDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 38.

(Undocumented.)

synthesized attribute resolvedOccurs :: [OccursDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 39.

(Undocumented.)

monoid attribute isTypeError :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 41.

(Undocumented.)

aspect default production top::Context ::= {#aspect_default_production_silver:compiler:definition:type:Context}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 44.

(Undocumented.)

synthesized attribute isTypeable :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 206.

(Undocumented.)

aspect default production __generatedTop_19151::Type ::= {#aspect_default_production_silver:compiler:definition:type:Type}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 209.

(Undocumented.)

function isMoreSpecific   (Boolean ::= a::Type b::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 248.

(Undocumented.)

annotation sourceGrammar :: String

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

(Undocumented.)

annotation sourceLocation :: Location

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 13.

(Undocumented.)

synthesized attribute fullName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 14.

(Undocumented.)

synthesized attribute typeScheme :: PolyType

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 15.

(Undocumented.)

synthesized attribute isType :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 18.

(Undocumented.)

synthesized attribute isTypeAlias :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 19.

(Undocumented.)

synthesized attribute isClass :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 20.

(Undocumented.)

synthesized attribute classMembers :: [Pair<String Boolean>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 21.

(Undocumented.)

synthesized attribute isClosed :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 22.

(Undocumented.)

synthesized attribute dispatchSignature :: NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 23.

(Undocumented.)

inherited attribute givenInstanceType :: Type

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 26.

(Undocumented.)

synthesized attribute superContexts :: [Context]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 27.

(Undocumented.)

synthesized attribute typerep2 :: Type

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 28.

(Undocumented.)

synthesized attribute definedMembers :: [String]

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

(Undocumented.)

synthesized attribute namedSignature :: NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 32.

(Undocumented.)

synthesized attribute implementedSignature :: Maybe<NamedSignature>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 33.

(Undocumented.)

synthesized attribute isShared :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 34.

(Undocumented.)

synthesized attribute isNondec :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 35.

(Undocumented.)

synthesized attribute hasForward :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 36.

(Undocumented.)

synthesized attribute attrOccurring :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 39.

(Undocumented.)

inherited attribute givenNonterminalType :: Type

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 40.

(Undocumented.)

synthesized attribute isAnnotation :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 42.

(Undocumented.)

synthesized attribute isSynthesized :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 45.

(Undocumented.)

synthesized attribute isInherited :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 46.

(Undocumented.)

synthesized attribute isTranslation :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 47.

(Undocumented.)

synthesized attribute prodDefs :: [Def]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 50.

(Undocumented.)

synthesized attribute substitutedDclInfo :: ValueDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 52.

(Undocumented.)

inherited attribute givenSubstitution :: Substitution

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 53.

(Undocumented.)

closed nonterminal ValueDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 55.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 60.

(Undocumented.)

abstract production childDcl   (top::ValueDclInfo ::= fn::String ty::Type isShared::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 74.

(Undocumented.)

abstract production lhsDcl   (top::ValueDclInfo ::= fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 82.

(Undocumented.)

abstract production localDcl   (top::ValueDclInfo ::= fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 91.

(Undocumented.)

abstract production nondecLocalDcl   (top::ValueDclInfo ::= fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 100.

(Undocumented.)

abstract production forwardLocalDcl   (top::ValueDclInfo ::= fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 110.

(Undocumented.)

abstract production forwardDcl   (top::ValueDclInfo ::= ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 120.

(Undocumented.)

abstract production prodDcl   (top::ValueDclInfo ::= ns::NamedSignature dispatch::Maybe<NamedSignature> hasForward::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 131.

(Undocumented.)

abstract production funDcl   (top::ValueDclInfo ::= ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 153.

(Undocumented.)

abstract production classMemberDcl   (top::ValueDclInfo ::= fn::String bound::[TyVar] clsHead::Context contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 162.

(Undocumented.)

abstract production globalValueDcl   (top::ValueDclInfo ::= fn::String bound::[TyVar] contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 174.

(Undocumented.)

abstract production termIdDcl   (top::ValueDclInfo ::= fn::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 186.

(Undocumented.)

closed nonterminal TypeDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 194.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 200.

(Undocumented.)

abstract production ntDcl   (top::TypeDclInfo ::= fn::String ks::[Kind] data::Boolean closed::Boolean tracked::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 214.

(Undocumented.)

abstract production termDcl   (top::TypeDclInfo ::= fn::String regex::r:Regex easyName::Maybe<String> genRepeatProb::Maybe<Float> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 224.

(Undocumented.)

abstract production lexTyVarDcl   (top::TypeDclInfo ::= fn::String isAspect::Boolean tv::TyVar )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 232.

(Undocumented.)

abstract production typeAliasDcl   (top::TypeDclInfo ::= fn::String mentionedAliases::[String] bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 243.

(Undocumented.)

abstract production clsDcl   (top::TypeDclInfo ::= fn::String supers::[Context] tv::TyVar k::Kind members::[Pair<String Boolean>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 260.

(Undocumented.)

abstract production dispatchDcl   (top::TypeDclInfo ::= ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 282.

(Undocumented.)

closed nonterminal AttributeDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 292.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 297.

(Undocumented.)

abstract production synDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 311.

(Undocumented.)

abstract production inhDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 319.

(Undocumented.)

abstract production transDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 327.

(Undocumented.)

abstract production annoDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 336.

(Undocumented.)

nonterminal ProductionAttrDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 343.

(Undocumented.)

abstract production paDcl   (top::ProductionAttrDclInfo ::= ns::NamedSignature dcls::[Def] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 348.

(Undocumented.)

nonterminal OccursDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 358.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 365.

(Undocumented.)

abstract production occursDcl   (top::OccursDclInfo ::= fnnt::String fnat::String ntty::Type atty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 371.

(Undocumented.)

abstract production occursInstConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 400.

(Undocumented.)

abstract production occursSigConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 410.

(Undocumented.)

abstract production occursSuperDcl   (top::OccursDclInfo ::= fnat::String atty::Type baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 420.

(Undocumented.)

abstract production annoInstanceDcl   (top::OccursDclInfo ::= fnnt::String fnat::String ntty::Type atty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 429.

(Undocumented.)

abstract production annoInstConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 452.

(Undocumented.)

abstract production annoSigConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 463.

(Undocumented.)

abstract production annoSuperDcl   (top::OccursDclInfo ::= fnat::String atty::Type baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 474.

(Undocumented.)

nonterminal InstDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 482.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 488.

(Undocumented.)

abstract production instDcl   (top::InstDclInfo ::= fn::String bound::[TyVar] contexts::[Context] ty::Type definedMembers::[String] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 501.

(Undocumented.)

abstract production instConstraintDcl   (top::InstDclInfo ::= fntc::String ty::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 511.

(Undocumented.)

abstract production sigConstraintDcl   (top::InstDclInfo ::= fntc::String ty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 518.

(Undocumented.)

abstract production currentInstDcl   (top::InstDclInfo ::= fntc::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 525.

(Undocumented.)

abstract production instSuperDcl   (top::InstDclInfo ::= fntc::String baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 532.

(Undocumented.)

abstract production typeableInstConstraintDcl   (top::InstDclInfo ::= ty::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 541.

(Undocumented.)

abstract production typeableSigConstraintDcl   (top::InstDclInfo ::= ty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 548.

(Undocumented.)

abstract production typeableSuperDcl   (top::InstDclInfo ::= baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 555.

(Undocumented.)

abstract production inhSubsetInstConstraintDcl   (top::InstDclInfo ::= i1::Type i2::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 564.

(Undocumented.)

abstract production inhSubsetSigConstraintDcl   (top::InstDclInfo ::= i1::Type i2::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 572.

(Undocumented.)

function determineAttributeType   (Type ::= occursDclInfo::OccursDclInfo ntty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 582.

(Undocumented.)

function performSubstitutionDclInfo   (ValueDclInfo ::= valueDclInfo::ValueDclInfo s::Substitution )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 590.

(Undocumented.)

function defsFromPADcls   ([Def] ::= dcls::[ProductionAttrDclInfo] s::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 597.

(Undocumented.)

nonterminal Defs

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 1.

(Undocumented.)

synthesized attribute typeList :: [EnvItem<TypeDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 8.

(Undocumented.)

synthesized attribute valueList :: [EnvItem<ValueDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 9.

(Undocumented.)

synthesized attribute attrList :: [EnvItem<AttributeDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 10.

(Undocumented.)

synthesized attribute instList :: [InstDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 13.

(Undocumented.)

synthesized attribute prodOccursList :: [ProductionAttrDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 16.

(Undocumented.)

synthesized attribute prodDclList :: [ValueDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 19.

(Undocumented.)

synthesized attribute dispatchDclList :: [TypeDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 20.

(Undocumented.)

synthesized attribute filterOnly :: Defs

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 25.

(Undocumented.)

synthesized attribute filterHiding :: Defs

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 26.

(Undocumented.)

abstract production nilDefs   (top::Defs ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 30.

(Undocumented.)

abstract production consDefs   (top::Defs ::= e1::Def e2::Defs )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 49.

(Undocumented.)

closed nonterminal Def

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 70.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 77.

(Undocumented.)

abstract production typeDef   (top::Def ::= d::EnvItem<TypeDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 90.

(Undocumented.)

abstract production dispatchDclDef   (top::Def ::= d::EnvItem<TypeDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 95.

(Undocumented.)

abstract production valueDef   (top::Def ::= d::EnvItem<ValueDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 102.

(Undocumented.)

abstract production typeValueDef   (top::Def ::= td::EnvItem<TypeDclInfo> vd::EnvItem<ValueDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 107.

(Undocumented.)

abstract production attrDef   (top::Def ::= d::EnvItem<AttributeDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 113.

(Undocumented.)

abstract production prodDclDef   (top::Def ::= d::EnvItem<ValueDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 118.

(Undocumented.)

abstract production paDef   (top::Def ::= d::ProductionAttrDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 125.

(Undocumented.)

abstract production tcInstDef   (top::Def ::= d::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 130.

(Undocumented.)

fun childDef   (Def ::= sg::String sl::Location fn::String ty::Type s::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 136.

(Undocumented.)

fun lhsDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 138.

(Undocumented.)

fun localDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 140.

(Undocumented.)

fun nondecLocalDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 142.

(Undocumented.)

fun forwardLocalDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 144.

(Undocumented.)

fun prodDef   (Def ::= sg::String sl::Location ns::NamedSignature dispatch::Maybe<NamedSignature> hasForward::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 146.

(Undocumented.)

fun funDef   (Def ::= sg::String sl::Location ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 148.

(Undocumented.)

fun globalDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 150.

(Undocumented.)

fun classMemberDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] head::Context contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 153.

(Undocumented.)

fun ntDef   (Def ::= sg::String sl::Location fn::String ks::[Kind] data::Boolean closed::Boolean tracked::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 156.

(Undocumented.)

fun termDef   (Def ::= sg::String sl::Location fn::String regex::r:Regex easyName::Maybe<String> genRepeatProb::Maybe<Float> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 159.

(Undocumented.)

fun lexTyVarDef   (Def ::= sg::String sl::Location fn::String tv::TyVar )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 164.

(Undocumented.)

fun aspectLexTyVarDef   (Def ::= sg::String sl::Location fn::String tv::TyVar )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 166.

(Undocumented.)

fun typeAliasDef   (Def ::= sg::String sl::Location fn::String mentionedAliases::[String] bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 168.

(Undocumented.)

fun dispatchDef   (Def ::= sg::String sl::Location sig::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 171.

(Undocumented.)

fun synDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 173.

(Undocumented.)

fun inhDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 175.

(Undocumented.)

fun transDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 177.

(Undocumented.)

fun prodOccursDef   (Def ::= sg::String sl::Location ns::NamedSignature dcls::[Def] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 179.

(Undocumented.)

fun forwardDef   (Def ::= sg::String sl::Location ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 181.

(Undocumented.)

fun aliasedLhsDef   (Def ::= sg::String sl::Location fn::String ty::Type alias::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 184.

(Undocumented.)

fun aliasedChildDef   (Def ::= sg::String sl::Location fn::String ty::Type s::Boolean alias::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 186.

(Undocumented.)

fun annoDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 188.

(Undocumented.)

fun classDef   (Def ::= sg::String sl::Location fn::String supers::[Context] tv::TyVar k::Kind members::[Pair<String Boolean>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 190.

(Undocumented.)

fun instDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] contexts::[Context] ty::Type definedMembers::[String] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 193.

(Undocumented.)

fun sigConstraintDef   (Def ::= sg::String sl::Location fn::String ty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 196.

(Undocumented.)

fun currentInstDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 198.

(Undocumented.)

fun instSuperDef   (Def ::= sg::String sl::Location fn::String baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 200.

(Undocumented.)

fun typeableSuperDef   (Def ::= sg::String sl::Location baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 202.

(Undocumented.)

function performSubstitutionDef   (Def ::= d::Def s::Substitution )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 217.

(Undocumented.)

data nonterminal Env

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 16.

(Undocumented.)

synthesized attribute typeTree :: [EnvTree<TypeDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 20.

(Undocumented.)

synthesized attribute valueTree :: [EnvTree<ValueDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 21.

(Undocumented.)

synthesized attribute attrTree :: [EnvTree<AttributeDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 22.

(Undocumented.)

synthesized attribute instTree :: EnvTree<InstDclInfo>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 24.

(Undocumented.)

synthesized attribute prodOccursTree :: EnvTree<ProductionAttrDclInfo>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 25.

(Undocumented.)

synthesized attribute occursTree :: EnvTree<OccursDclInfo>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 26.

(Undocumented.)

synthesized attribute prodsForNtTree :: [EnvTree<ValueDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 28.

(Undocumented.)

abstract production emptyEnv   (top::Env ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 34.

(Undocumented.)

fun toEnv   (Env ::= d::[Def] od::[OccursDclInfo] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 51.

(Undocumented.)

abstract production appendEnv   (top::Env ::= e1::Env e2::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 64.

(Undocumented.)

abstract production newScopeEnv   (top::Env ::= ds::[Def] e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 84.

(Undocumented.)

abstract production occursEnv   (top::Env ::= d::[OccursDclInfo] e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 108.

(Undocumented.)

fun searchEnvAll   ([a] ::= search::String e::[EnvTree<a>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 129.

(Undocumented.)

function searchEnv   ([a] ::= search::String e::[EnvTree<a>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 131.

(Undocumented.)

fun getValueDclInScope   ([ValueDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 141.

(Undocumented.)

fun getValueDcl   ([ValueDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 143.

(Undocumented.)

fun getValueDclAll   ([ValueDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 144.

(Undocumented.)

fun getTypeDclInScope   ([TypeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 146.

(Undocumented.)

fun getTypeDcl   ([TypeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 148.

(Undocumented.)

fun getTypeDclAll   ([TypeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 149.

(Undocumented.)

fun getAttrDclInScope   ([AttributeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 151.

(Undocumented.)

fun getAttrDcl   ([AttributeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 153.

(Undocumented.)

fun getAttrDclAll   ([AttributeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 154.

(Undocumented.)

fun getOccuringAttrDcl   ([AttributeDclInfo] ::= fnnt::String search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 160.

(Undocumented.)

function getOccuringAttrDclHelp   ([AttributeDclInfo] ::= allAttrs::[String] search::String e::[EnvTree<AttributeDclInfo>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 162.

(Undocumented.)

fun getOccursDcl   ([OccursDclInfo] ::= fnat::String fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 175.

(Undocumented.)

fun occursOnHelp   ([OccursDclInfo] ::= i::[OccursDclInfo] fnat::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 177.

(Undocumented.)

fun getOccursDclBySN   ([OccursDclInfo] ::= snat::String fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 183.

(Undocumented.)

fun occursOnSNHelp   ([OccursDclInfo] ::= i::[OccursDclInfo] snat::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 185.

(Undocumented.)

fun getTranslationAttrTargets   ([String] ::= seen::[String] ntty::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 192.

(Undocumented.)

function isDecorable   (Boolean ::= t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 208.

(Undocumented.)

fun getProdAttrs   ([ProductionAttrDclInfo] ::= fnprod::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 219.

(Undocumented.)

fun getKnownProds   ([ValueDclInfo] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 235.

(Undocumented.)

fun getAttrOccursOn   ([OccursDclInfo] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 246.

(Undocumented.)

fun getSynAttrsOn   ([String] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 251.

(Undocumented.)

fun getInhAttrsOn   ([String] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 263.

(Undocumented.)

fun getInhAndInhOnTransAttrsOn   ([String] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 277.

(Undocumented.)

function annotationsForNonterminal   ([NamedSignatureElement] ::= nt::Type env::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 291.

(Undocumented.)

function annoInstanceToNamed   (NamedSignatureElement ::= nt::Type anno::OccursDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 300.

(Undocumented.)

function getInstanceDcl   ([InstDclInfo] ::= fntc::String t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 310.

(Undocumented.)

function getMinInhSetMembers   (([String],[TyVar]) ::= seen::[TyVar] t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 319.

(Undocumented.)

function getMinRefSet   ([String] ::= t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 338.

(Undocumented.)

function getMaxInhSetMembers   ((Maybe<[String]>,[TyVar]) ::= seen::[TyVar] t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 349.

(Undocumented.)

function getMaxRefSet   (Maybe<[String]> ::= t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 372.

(Undocumented.)

nonterminal EnvItem<a>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 1.

(Undocumented.)

synthesized attribute itemName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 11.

(Undocumented.)

synthesized attribute dcl<a> :: a

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 12.

(Undocumented.)

synthesized attribute envContribs<a> :: [Pair<String a>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 13.

(Undocumented.)

inherited attribute filterItems :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 15.

(Undocumented.)

monoid attribute filterIncludeOnly :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 16.

(Undocumented.)

monoid attribute filterIncludeHiding :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 17.

(Undocumented.)

inherited attribute withRenames :: [(String,String)]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 19.

(Undocumented.)

monoid attribute renamed

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 20.

(Undocumented.)

inherited attribute pfx :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 21.

(Undocumented.)

monoid attribute prepended

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 22.

(Undocumented.)

abstract production renamedEnvItem   (attribute fullName {} occurs on a, attribute compareTo<a {}> occurs on a, attribute isEqual {compareTo} occurs on a => ei::EnvItem<a> ::= newname::String di::a )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 28.

(Undocumented.)

abstract production fullNameEnvItem   (attribute fullName {} occurs on a, attribute compareTo<a {}> occurs on a, attribute isEqual {compareTo} occurs on a => ei::EnvItem<a> ::= di::a )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 57.

(Undocumented.)

abstract production onlyRenamedEnvItem   (attribute compareTo<a {}> occurs on a, attribute isEqual {compareTo} occurs on a => ei::EnvItem<a> ::= newname::String di::a )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 75.

(Undocumented.)

function defaultEnvItem   (attribute fullName {} occurs on a, attribute compareTo<a {}> occurs on a, attribute isEqual {compareTo} occurs on a => EnvItem<a> ::= di::a )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 91.

(Undocumented.)

fun fullNameToShort   (String ::= s::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 99.

(Undocumented.)

global mapGetDcls

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 102.

(Undocumented.)

global mapFullnameDcls

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 103.

(Undocumented.)

global mapDefaultWrapDcls

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 109.

(Undocumented.)

type EnvTree

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 8.

(Undocumented.)

fun searchEnvTree   ([a] ::= search::String et::EnvTree<a> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 13.

(Undocumented.)

fun buildTree   (EnvTree<a> ::= eis::[EnvItem<a>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 19.

(Undocumented.)

fun directBuildTree   (EnvTree<a> ::= eis::[Pair<String a>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 24.

(Undocumented.)

fun emptyEnvTree   (EnvTree<a> ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 26.

(Undocumented.)

fun appendEnvTree   (EnvTree<a> ::= e1::EnvTree<a> e2::EnvTree<a> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 28.

(Undocumented.)

fun consEnvTree   (EnvTree<a> ::= eis::[EnvItem<a>] et::EnvTree<a> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 30.

(Undocumented.)

data nonterminal NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 10.

(Undocumented.)

synthesized attribute dclTypeScheme :: PolyType

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 15.

(Undocumented.)

synthesized attribute inputElements :: [NamedSignatureElement]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 18.

(Undocumented.)

synthesized attribute outputElement :: NamedSignatureElement

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 19.

(Undocumented.)

synthesized attribute namedInputElements :: [NamedSignatureElement]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 20.

(Undocumented.)

synthesized attribute inputNames :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 21.

(Undocumented.)

synthesized attribute freshenNamedSignature :: NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 26.

(Undocumented.)

fun bogusNamedSignature   (NamedSignature ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 97.

(Undocumented.)

nonterminal NamedSignatureElements

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 98.

(Undocumented.)

synthesized attribute elements :: [NamedSignatureElement]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 106.

(Undocumented.)

synthesized attribute elementNames :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 107.

(Undocumented.)

synthesized attribute elementShortNames :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 108.

(Undocumented.)

synthesized attribute elementTypes :: [Type]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 109.

(Undocumented.)

synthesized attribute elementDclTypes :: [Type]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 110.

(Undocumented.)

abstract production consNamedSignatureElement   (top::NamedSignatureElements ::= h::NamedSignatureElement t::NamedSignatureElements )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 112.

(Undocumented.)

abstract production nilNamedSignatureElement   (top::NamedSignatureElements ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 123.

(Undocumented.)

global foldNamedSignatureElements

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 134.

(Undocumented.)

nonterminal NamedSignatureElement

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 135.

(Undocumented.)

synthesized attribute elementName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 143.

(Undocumented.)

synthesized attribute elementDclType :: Type

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 144.

(Undocumented.)

synthesized attribute elementShortName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 145.

(Undocumented.)

synthesized attribute elementShared :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 146.

(Undocumented.)

abstract production namedSignatureElement   (top::NamedSignatureElement ::= n::String ty::Type shared::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 151.

(Undocumented.)

abstract production bogusNamedSignatureElement   (top::NamedSignatureElement ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 169.

(Undocumented.)

function namedSignatureElementLte   (Boolean ::= a::NamedSignatureElement b::NamedSignatureElement )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 177.

(Undocumented.)

fun findNamedSigElem   (Integer ::= s::String l::[NamedSignatureElement] z::Integer )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 184.

(Undocumented.)

fun lookupSignatureInputElem   (NamedSignatureElement ::= s::String ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 190.

(Undocumented.)

function unifyNamedSignature   (Substitution ::= ns1::NamedSignature ns2::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 202.

(Undocumented.)

instance Eq NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 211.

(Undocumented.)

instance Eq NamedSignature.eq

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 212.

(Undocumented.)

synthesized attribute typeName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Type.sv line 6.

(Undocumented.)

aspect default production top::Type ::= {#aspect_default_production_silver:compiler:definition:type:Type}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Type.sv line 30.

(Undocumented.)