h$5J"Ů      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                            Safe-Inferred .3\language-Modula2The finally-tagless associated types and methods relevant to the Modula-2 language. Every non-leaf node type has four type variables:type variable l represents the language of the constructs built by the methods,l'. is the language of the child node constructs,f'# wraps all descendant nodes, exceptf' wraps all direct children of the node.language-Modula2Module priority6789A:@?>=<;~}|{PEJST_^]\Fzyxwvutsrqponmlkjihgfedcba`[ZYXWVURQONMLKIHGDCB9~}|{PEJST_^]\Fzyxwvutsrqponmlkjihgfedcba`[ZYXWVURQONMLKIHGDCBA:@?>=<;867None'(/023>language-Modula2Data type representing the Modula-2 language, as originally specified by ''Report on the Programming Language Modula-2''.& "!%$#('*),+.-0/321549A:@?>=<;9& "!%$#('*),+.-0/32154A:@?>=<;None #$>?language-Modula2;The names and types of all the Modula-2 grammar productionslanguage-Modula2'All the productions of Modula-2 grammarNone #/8>?language-Modula2Fold the constants in the given collection of Modula-2 modules (a  of modules keyed by module name). It uses the constant declarations from the modules as well as the given ( of predefined constants and functions.Note that the Modula-2 < satisfies all constraints in the function's type signature.&  &  Safe-Inferred.3language-Modula2The additional finally-tagless associated types and methods relevant to the ISO Modula-2 language.None'(/023>language-Modula2Data type representing the Modula-2 language, as specified by the ISO standard.None #/>?language-Modula2Fold the constants in the given collection of Modula-2 modules (a  of modules keyed by module name). It uses the constant declarations from the modules as well as the given ( of predefined constants and functions.Note that the ISO Modula-2 < satisfies all constraints in the function's type signature.  None #$>?language-Modula2The names and types of all the new grammar productions in the ISO specificationlanguage-Modula24The new grammar productions in the ISO specificationlanguage-Modula2/All the productions of the ISO Modula-2 grammar None '(/>?S None '(/>? None  '(2?"language-Modula2-The language version in existential containerlanguage-Modula2the version specified by Niklaus Wirth's ''Report on the Programming Language Modula-2''language-Modula2)the version specified by the ISO standardlanguage-Modula2Every node in a parsed and resolved AST is wrapped with this functorlanguage-Modula2Replace the stored positions in the entire tree with offsets from the start of the given source textlanguage-Modula2Replace the stored positions of the given node with offset from the start of the given source textlanguage-Modula2Parse the given text of a single module and fold constants inside it.language-Modula2(Parse the given text of a single module.                         ! " # $ % & '( ') ') '* '+ ', '- '. '/ '0 '1 '2 '2 '3 '3 '4 '4 '5 '5 '6 '6 '7 '8 '9 ': ': ;< ;= ;> ;? ;@ ;A ;B ;C ;D ;E ;F ;G ;H ;I ;J ;K ;L ;M ;N ;O ;P ;Q ;R ;S ;T ;U ;V ;W ;X ;Y ;Z ;[ ;\ ;] ;^ ;_ ;` ;a ;b ;c ;d ;e ;f ;g ;h ;i ;j ;k ;l ;m ;n ;o ;p ;q ;r ;s ;t ;u ;v ;w ;x ;y ;z ;{ ;| ;} ;~ ; ; ; ; ; ;) ;: ;9 ;6 ;5 ;4 ;3 ;2 ; ; ;1 ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;UQXWyxw~uogqtlnp}z|44                                           +language-Modula2-0.1-DlL8FI8xEASJohrLXlccsKLanguage.Modula2.ConstantFolderLanguage.Modula2.GrammarLanguage.Modula2.ASTLanguage.Modula2.AbstractLanguage.Modula2.ISO.AbstractLanguage.Modula2.ISO.AST#Language.Modula2.ISO.ConstantFolderLanguage.Modula2.ISO.GrammarLanguage.Modula2.PrettyLanguage.Modula2.ISO.PrettyLanguage.Modula2*language-oberon-0.3-9UwQStBT68GEv7WM30Tf5cLanguage.Oberon.ConstantFolder Environment ConstantFoldSemInhCF$sel:folded:SynCFSynCF$sel:folded:SynCFMod$sel:moduleEnv:SynCFModSynCFMod$sel:foldedValue:SynCFExp$sel:folded:SynCFExpSynCFExp$$sel:designatorValue:SynCFDesignator$sel:folded:SynCFDesignatorSynCFDesignator SynCFMod'Language.Oberon.Grammar lexemeType lexemeTextTokenComment WhiteSpaceLexemeTrailing ParsedLexemesLanguage.Oberon.ASTRangeElementStringRealNilIntegerCharCodeBuiltinBooleanValueFormalParameters FPSectionBlockStatementSequenceCase LabelRange SingleLabel CaseLabelsConditionalBranchLanguage.Oberon.Abstractmaybe3nothing3just3IdentInGreaterOrEqualGreater LessOrEqualLessUnequalEqualRelOp nonQualIdentidentDef dereferenceindexfieldvariablebuiltincharCodestringrealtruefalsenilintegerrangeelementrelationreadnotpositivenegativeliteral functionCallmultiplymodulo integerDividedivideorandsubtractaddstatementSequence labelRange singleLabelcaseAlternativeconditionalBranchwhileStatementreturnStatementrepeatStatement procedureCall loopStatement ifStatement exitStatementemptyStatement caseStatement assignment typeReference procedureType pointerType fieldListblock fpSectionformalParametersprocedureDeclarationvariableDeclarationtypeDeclarationconstantDeclaration QualIdentIdentDefImportProcedureHeading FieldList Designator Expression StatementType DeclarationModuleWirthycoValue coDesignator coExpression coStatementcoType coDeclaration TargetClassCoWirthyWirthySubsetOfMaybe3getNonQualIdentNamegetIdentDefNamegetProcedureNameNameableBaseTypeConstExpression IdentListModula2Export DefinitionVariantdefinitionModuleimplementationModule programModule moduleExport moduleImportconstantDefinitiontypeDefinitionvariableDefinitionprocedureDefinitionmoduleDeclarationprocedureHeading caseFieldListvariant enumerationsubRange arrayTypesetType recordType withStatement forStatementset qualIdentPriority$fModula2WirthySubsetOfEmptyStatement Assignment ProcedureCallIf CaseStatementWhileRepeatForLoopWithExitReturn CaseFieldList TypeReference ArrayTypeEnumerationType SubrangeTypeSetType RecordType PointerType ProcedureTypeVariableFieldIndex DereferenceRelationPositiveNegativeAddSubtractOrMultiplyDivide IntegerDivideModuloAndSetRead FunctionCallNotLiteralConstantDeclarationTypeDeclarationOpaqueTypeDeclarationVariableDeclarationProcedureDeclarationProcedureDefinitionModuleDeclarationDefinitionModuleImplementationModule ProgramModuleLanguage$fNameableLanguage$fModula2Language$fCoWirthyLanguage$fWirthyLanguage$fDataQualIdent $fEqQualIdent$fOrdQualIdent$fShowQualIdent $fDataExport $fShowExport $fDataImport $fShowImport$fDataIdentDef $fEqIdentDef $fOrdIdentDef$fShowIdentDef$fDataLanguage$fShowStatement$fDataStatement$fShowProcedureHeading$fDataProcedureHeading $fShowVariant $fDataVariant$fShowFieldList$fDataFieldList $fShowType $fDataType$fEqDesignator$fShowDesignator$fDataDesignator$fEqExpression$fShowExpression$fDataExpression$fShowDeclaration $fShowModule $fDataModule$fTraversabletProcedureHeading$fFoldabletProcedureHeading$fFunctortProcedureHeading$fTraversabletVariant$fFoldabletVariant$fFunctortVariant$fTraversabletFieldList$fFoldabletFieldList$fFunctortFieldList$fTraversabletDesignator$fFoldabletDesignator$fFunctortDesignator$fTraversabletExpression$fFoldabletExpression$fFunctortExpression$fTraversabletStatement$fFoldabletStatement$fFunctortStatement$fTraversabletType$fFoldabletType$fFunctortType$fTraversabletDeclaration$fFoldabletDeclaration$fFunctortDeclaration$fTraversabletModule$fFoldabletModule$fFunctortModule$fTraversabletProcedureHeading0$fFoldabletProcedureHeading0$fFunctortProcedureHeading0$fTraversabletVariant0$fFoldabletVariant0$fFunctortVariant0$fTraversabletFieldList0$fFoldabletFieldList0$fFunctortFieldList0$fTraversabletDesignator0$fFoldabletDesignator0$fFunctortDesignator0$fTraversabletExpression0$fFoldabletExpression0$fFunctortExpression0$fTraversabletStatement0$fFoldabletStatement0$fFunctortStatement0$fTraversabletType0$fFoldabletType0$fFunctortType0$fTraversabletDeclaration0$fFoldabletDeclaration0$fFunctortDeclaration0$fTraversabletModule0$fFoldabletModule0$fFunctortModule0!$fTraversableTYPEProcedureHeading$fTraversableTYPEVariant$fTraversableTYPEFieldList$fTraversableTYPEDesignator$fTraversableTYPEExpression$fTraversableTYPEStatement$fTraversableTYPEType$fTraversableTYPEDeclaration$fTraversableTYPEModule$fFoldableTYPEProcedureHeading$fFoldableTYPEVariant$fFoldableTYPEFieldList$fFoldableTYPEDesignator$fFoldableTYPEExpression$fFoldableTYPEStatement$fFoldableTYPEType$fFoldableTYPEDeclaration$fFoldableTYPEModule$fFunctorTYPEProcedureHeading$fFunctorTYPEVariant$fFunctorTYPEFieldList$fFunctorTYPEDesignator$fFunctorTYPEExpression$fFunctorTYPEStatement$fFunctorTYPEType$fFunctorTYPEDeclaration$fFunctorTYPEModule$fApplyTYPEProcedureHeading$fApplyTYPEVariant$fApplyTYPEFieldList$fApplyTYPEDesignator$fApplyTYPEExpression$fApplyTYPEStatement$fApplyTYPEType$fApplyTYPEDeclaration$fApplyTYPEModuleNodeWrapModula2Grammaridentnumber scaleFactorhexDigitdigit octalDigit string_prod qualidentconstExpression addOperator mulOperator type_prod simpleType identList subrangeTypefieldListSequence caseLabelList caseLabelsformalTypeList designatorexpList expressionsimpleExpressiontermfactoractualParameters statement case_proddeclarationSequence fPSection formalTypepriorityexport import_proddefinitionSequencecompilationUnitParsermodula2grammargrammarcomment whiteSpacewrap moptional delimiteroperator reservedWords$fLexicalParsingFixed$fTokenParsingFixed+$fDistributiveTraversableTYPEModula2Grammar $fDistributiveTYPEModula2Grammar$fTraversableTYPEModula2Grammar$fFoldableTYPEModula2Grammar$fApplicativeTYPEModula2Grammar$fApplyTYPEModula2Grammar$fFunctorTYPEModula2Grammar foldConstants maxCardinal maxInteger minIntegermaxInt32minInt32maxSetminSet doubleSize floatSizeintSize int32SizemaxRealminRealfoldBinaryArithmeticfoldBinaryFractionalfoldBinaryIntegerfoldBinaryBoolean$fAtAutoModules$fApplyTYPEModules$fFunctorTYPEModules$fFunctortModules>$fSynthesizedField"designatorValue"MaybeAutoDesignatorArrow(,)#$fSynthesizerAutoExpressionArrow(,)7$fSynthesizedField"moduleEnv"MapAutoDeclarationArrow(,)2$fSynthesizedField"moduleEnv"MapAutoModuleArrow(,) $fAttributionAutoModulesArrow(,)$fFunctorAutoVariant$fFunctorAutoStatement$fFunctorAutoDesignator$fFunctorAutoExpression$fFunctorAutoProcedureHeading$fFunctorAutoFieldList$fFunctorAutoType$fAtAutoVariant$fAtAutoDesignator$fAtAutoExpression$fAtAutoStatement$fAtAutoFieldList $fAtAutoType$fAtAutoProcedureHeading$fAtAutoModule$fAtAutoDeclaration$fFunctorAutoDeclarationAddressedIdentItem emptyVariantaddressedVariableDeclarationforwardProcedureDeclarationexceptionHandlingBlockaddressedIdentunaddressedIdent packedSetTyperetryStatementarrayrecord remaindersinglerepeatedRetryStatementExceptionHandlingBlock EmptyVariantSingleRepeated RemainderArrayRecord PackedSetTypeUnaddressedIdentAddressedVariableDeclarationForwardProcedureDeclaration$fModula2Language0 $fShowBlock $fDataBlock$fEqItem $fShowItem $fDataItem$fShowAddressedIdent$fDataAddressedIdent$fTraversabletItem$fFoldabletItem$fFunctortItem$fTraversabletBlock$fFoldabletBlock$fFunctortBlock$fTraversabletAddressedIdent$fFoldabletAddressedIdent$fFunctortAddressedIdent$fTraversabletItem0$fFoldabletItem0$fFunctortItem0$fTraversabletBlock0$fFoldabletBlock0$fFunctortBlock0$fTraversabletAddressedIdent0$fFoldabletAddressedIdent0$fFunctortAddressedIdent0$fTraversableTYPEItem$fTraversableTYPEBlock$fTraversableTYPEAddressedIdent$fFoldableTYPEItem$fFoldableTYPEBlock$fFoldableTYPEAddressedIdent$fFunctorTYPEItem$fFunctorTYPEBlock$fFunctorTYPEAddressedIdent$fApplyTYPEItem$fApplyTYPEBlock$fApplyTYPEAddressedIdent1$fSynthesizedField"moduleEnv"MapAutoBlockArrow(,)$fBequetherAutoBlockArrow(,)$fFunctorAutoItem$fFunctorAutoAddressedIdent$fFunctorAutoBlock $fAtAutoItem$fAtAutoAddressedIdent $fAtAutoBlock ISOGrammarISOMixinmachineAddress moduleBodyvariableIdentifierListarrayConstructorrecordConstructorarrayConstructedValuerecordConstructedValuesetConstructedValue arrayPartstructureComponentisoMixinmodula2ISOgrammar isoGrammar%$fDistributiveTraversableTYPEISOMixin$fDistributiveTYPEISOMixin$fTraversableTYPEISOMixin$fFoldableTYPEISOMixin$fApplicativeTYPEISOMixin$fApplyTYPEISOMixin$fFunctorTYPEISOMixin$fOberonLanguage$fPrettyStatement$fPrettyProcedureHeading$fPrettyVariant$fPrettyFieldList$fPrettyQualIdent $fPrettyType$fPrettyDesignator $fPrettyValue$fPrettyPrecedence$fPrettyExpression$fPrettyDeclaration$fPrettyDeclaration0$fPrettyIdentDef$fPrettyExport$fPrettyImport$fPrettyModule $fPrettyItem $fPrettyBlock$fPrettyAddressedIdent SomeVersionVersionReportISOPlacedresolvePositionsresolvePositionparseAndSimplifyModule parseModule$fShowSomeVersion $fShowVersioncontainers-0.6.2.1Data.Map.InternalMap