[silver:compiler:modification:primitivepattern]

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

Defined in this grammar:

function skolemizeProductionType   (Pair<[Context] Type> ::= te::PolyType )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 16.

(Undocumented.)


function fullySkolemizeProductionType   (Pair<[Context] Type> ::= te::PolyType )

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

(Undocumented.)


inherited attribute refineWith :: Type

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

(Undocumented.)


synthesized attribute refine :: Substitution

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 70.

(Undocumented.)


function produceRefinement   (Substitution ::= scrutineeType::Type constructorType::Type )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 273.

(Undocumented.)


function refine   (Substitution ::= te1::Type te2::Type )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 290.

(Undocumented.)


function refineAll   (Substitution ::= te1::[Type] te2::[Type] )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 305.

(Undocumented.)


fun isOnlyTyVars   (Boolean ::= ls::[Type] )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 321.

(Undocumented.)


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

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 331.

(Undocumented.)


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

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 332.

(Undocumented.)


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

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 334.

(Undocumented.)


abstract production instPatternConstraintDcl   (top::InstDclInfo ::= fntc::String ty::Type oc::Context tvs::[TyVar] scrutineeTrans::String )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 383.

(Undocumented.)


abstract production occursPatternConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type oc::Context tvs::[TyVar] scrutineeTrans::String )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 394.

(Undocumented.)


abstract production annoPatternConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type oc::Context tvs::[TyVar] scrutineeTrans::String )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 410.

(Undocumented.)


abstract production typeablePatternConstraintDcl   (top::InstDclInfo ::= ty::Type oc::Context tvs::[TyVar] scrutineeTrans::String )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 425.

(Undocumented.)


abstract production inhSubsetPatternConstraintDcl   (top::InstDclInfo ::= i1::Type i2::Type oc::Context tvs::[TyVar] scrutineeTrans::String )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/Types.sv line 436.

(Undocumented.)


terminal Match_kwd

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 22.

(Undocumented.)


nonterminal PrimPatterns

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 26.

(Undocumented.)


nonterminal PrimPattern

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 31.

(Undocumented.)


inherited attribute scrutineeType :: Type

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 37.

(Undocumented.)


inherited attribute returnType :: Type

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 38.

(Undocumented.)


concrete production matchPrimitiveConcrete   (top::Expr ::= 'match' e::Expr 'return' t::TypeExpr 'with' pr::PrimPatterns 'else' '->' f::Expr 'end' )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 44.

(Undocumented.)


abstract production matchPrimitive   (top::Expr ::= e::Expr t::TypeExpr pr::PrimPatterns f::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 51.

(Undocumented.)


abstract production matchPrimitiveReal   (top::Expr ::= e::Expr t::TypeExpr pr::PrimPatterns f::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 76.

(Undocumented.)


concrete production onePattern   (top::PrimPatterns ::= p::PrimPattern )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 146.

(Undocumented.)


concrete production consPattern   (top::PrimPatterns ::= p::PrimPattern '|' ps::PrimPatterns )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 155.

(Undocumented.)


concrete production prodPattern   (top::PrimPattern ::= qn::QName '(' ns::VarBinders ')' '->' e::Expr )

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

(Undocumented.)


abstract production prodPatternNormal   (top::PrimPattern ::= qn::Decorated QName ns::VarBinders e::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 198.

(Undocumented.)


abstract production prodPatternGadt   (top::PrimPattern ::= qn::Decorated QName ns::VarBinders e::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 281.

(Undocumented.)


abstract production integerPattern   (top::PrimPattern ::= i::Int_t '->' e::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 376.

(Undocumented.)


abstract production floatPattern   (top::PrimPattern ::= f::Float_t '->' e::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 401.

(Undocumented.)


abstract production stringPattern   (top::PrimPattern ::= i::String_t '->' e::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 426.

(Undocumented.)


abstract production booleanPattern   (top::PrimPattern ::= i::String '->' e::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 451.

(Undocumented.)


abstract production nilPattern   (top::PrimPattern ::= e::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 476.

(Undocumented.)


abstract production conslstPattern   (top::PrimPattern ::= h::Name t::Name e::Expr )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/PrimitiveMatch.sv line 501.

(Undocumented.)


nonterminal VarBinders

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

(Undocumented.)


nonterminal VarBinder

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 20.

(Undocumented.)


inherited attribute bindingTypes :: [Type]

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 38.

(Undocumented.)


inherited attribute bindingType :: Type

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 39.

(Undocumented.)


inherited attribute bindingIndex :: Integer

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 41.

(Undocumented.)


inherited attribute bindingNames :: [String]

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 43.

(Undocumented.)


inherited attribute bindingName :: String

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 44.

(Undocumented.)


synthesized attribute flowProjections :: [PatternVarProjection]

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 46.

(Undocumented.)


inherited attribute matchingAgainst :: Maybe<ValueDclInfo>

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 49.

(Undocumented.)


synthesized attribute varBinderCount :: Integer

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 51.

(Undocumented.)


monoid attribute boundNames :: [String]

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 53.

(Undocumented.)


concrete production oneVarBinder   (top::VarBinders ::= v::VarBinder )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 55.

(Undocumented.)


concrete production consVarBinder   (top::VarBinders ::= v::VarBinder ',' vs::VarBinders )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 74.

(Undocumented.)


concrete production nilVarBinder   (top::VarBinders ::= )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 103.

(Undocumented.)


concrete production varVarBinder   (top::VarBinder ::= n::Name )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 113.

(Undocumented.)


concrete production ignoreVarBinder   (top::VarBinder ::= '_' )

Contained in grammar [silver:compiler:modification:primitivepattern]. Defined at silver/compiler/modification/primitivepattern/VarBinders.sv line 196.

(Undocumented.)