h*xk       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                     0.11.0.2 Safe-Inferred J language-luaLong-quoted string literals have no escapes. A leading newline on a long quoted string literal is ignored. language-lua6Convert a string literal body to string literal syntax Safe-Inferreds language-lua Lua tokens language-lua+ language-lua- language-lua* language-lua/ language-lua% language-lua^ language-lua# language-lua== language-lua~= language-lua<= language-lua>= language-lua< language-lua> language-lua=  language-lua(! language-lua)" language-lua{# language-lua}$ language-lua[% language-lua]& language-lua::' language-lua;( language-lua:) language-lua,* language-lua.+ language-lua.., language-lua...- language-lua<<. language-lua>>/ language-lua&0 language-lua|1 language-lua//2 language-lua~3 language-luaand4 language-luabreak5 language-luado6 language-luaelse7 language-luaelseif8 language-luaend9 language-luafalse: language-luafor; language-luafunction< language-luagoto= language-luaif> language-luain? language-lualocal@ language-luanilA language-luanotB language-luaorC language-luarepeatD language-luareturnE language-luathenF language-luatrueG language-luauntilH language-luawhileI language-luafloating point number constantJ language-luainteger number constantK language-luastring constantL language-lua identifierM language-lua white spaceN language-luacommentO language-luaunterminated stringP language-luaunterminated commentQ language-luaunexpected characterQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"! QPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"!   Safe-Inferred"K language-lua Lexer mode language-lua#string type, errors, input at start language-lua2Single line comment. Input at beginning of comment language-luastart delimlen iscomment language-lua$Lua token with position information. language-luaThis is called when we encounter the end of a line before seeing the closing character for a string. language-lua%An unknown character in "normal mode" language-luaA a bad escape withing a string language-lua)Start lexing a long-quoted string literal language-lua Start lexing of a string literal language-lua"Start lexing a long-quoted comment language-lua"Start lexing a single-line comment language-lua,Construct a lexeme spanning multiple matches language-luaThe closing delimiter for long-quoted lexemes must be the same length as the opening delimiter. This predicate checks if the currently match delimiter is the right length. language-lua-Action called at the end of a lexer-sub mode. language-lua8Drop the first line of a Lua file when it starts with a #T language-luaThis function drops whitespace and comments from a list of lexemes in order to make it suitable for parsing. language-luainput from the mode  language-luatoken for lexeme  language-lualexer mode  language-luainput stream before the token  language-lualength of the token  language-luainput stream after the token  language-luais expected ending long-quote T Safe-InferredU language-luaLua lexer with default = string name.V language-luaLua lexer with explicit name.W language-luaLua lexer with explicit name, preseves white space and comments.X language-luaRun Lua lexer on a file.U language-luachunk V language-luaname  language-luachunk W language-luaname  language-luachunk UVWX T UVWX T   Safe-Inferred7<mY[Z Safe-Inferred7< ] language-lua list of args^ language-luatable constructor_ language-luastringa language-luaprefixexp ( funarg )b language-luaprefixexp : name ( funarg )d language-lua(args, vararg, block)g language-lua=A block is list of statements with optional return statement.j language-lua [exp] = expk language-lua name = exp language-luavariable language-lua table[exp] language-luatable.variable language-lua... language-luafunction (..) .. end language-luatable constructor language-luabinary operators,  + - * ^ % ..  <= >= == ~= and or language-luaunary operators, - not # language-luavar1, var2 .. = exp1, exp2 .. language-lua function call language-lualabel for goto language-luabreak language-lua goto label language-lua do .. end language-luawhile .. do .. end language-luarepeat .. until .. language-lua'if .. then .. [elseif ..] [else ..] end language-lua#for x=start, end [, step] do .. end language-luafor x in .. do .. end language-luafunction (..) .. end language-lua local function (..) .. end language-lua#local var1, var2 .. = exp1, exp2 .. language-lua;`abghefcdmnopijklv~z|{wxy}qsrtu\]^_YZ[`abghefcdmnopijklv~z|{wxy}qsrtu\]^_YZ[ Safe-Inferred79<&/# language-lua'Retrieve the annotation of an AST node. language-luaChange the annotation of an AST node. Note that only the annotation of the node itself is affected, and not the annotations of any child nodes. if all nodes in the AST tree are to be affected, use . language-lua list of args language-luatable constructor language-luastring language-luaprefixexp ( funarg ) language-luaprefixexp : name ( funarg ) language-lua(args, vararg, block) language-lua=A block is list of statements with optional return statement. language-lua [exp] = exp language-lua name = exp language-lualist of table fields language-luavariable language-lua table[exp] language-luatable.variable language-lua... language-luafunction (..) .. end language-luatable constructor language-luabinary operators,  + - * ^ % ..  <= >= == ~= and or language-luaunary operators, - not # language-luavar1, var2 .. = exp1, exp2 .. language-lua function call language-lualabel for goto language-luabreak language-lua goto label language-lua do .. end language-luawhile .. do .. end language-luarepeat .. until .. language-lua'if .. then .. [elseif ..] [else ..] end language-lua#for x=start, end [, step] do .. end language-luafor x in .. do .. end language-luafunction (..) .. end language-lua local function (..) .. end language-lua#local var1, var2 .. = exp1, exp2 .. language-lua;YZ[YZ[ Safe-Inferred' Safe-Inferred*B language-luaParse a stream of tokens. language-lua#Runs Lua lexer before parsing. Use parseNamedText stat "name" to parse statements, and parseText exp "name" to parse expressions. language-lua#Runs Lua lexer before parsing. Use parseText stat to parse statements, and  parseText exp to parse expressions. language-luaParse a Lua file. You can use parseText chunk to parse a file from a string. language-luaname  language-luachunk  language-luachunk   9 9  Safe-Inferred*  Safe-Inferred*YZ[/Daan Leijen (c) 2000, http://www.cs.uu.nl/~daan BSD-style (see the file LICENSE)otakar.smrz cmu.edu provisionalportable Safe-Inferredi; language-luaThe data type  SimpleDoc represents rendered documents and is used by the display functions.The Int in SText( contains the length of the string. The Int in SLine contains the indentation for that line. The library provides two default display functions  and . You can provide your own display function by writing a function from a  SimpleDoc to your own output format. language-luaThe abstract data type Doc represents pretty documents.Doc is an instance of the  class.  (show doc) pretty prints document doc with a page width of 100 characters and a ribbon width of 40 characters. $show (text "hello" <$> text "world")2Which would return the string "hello\nworld", i.e.  hello world  language-lua The member  prettyList is only used to define the  instance Pretty a => Pretty [a]#. In normal circumstances only the pretty function is used. language-lua The document  (list xs) comma separates the documents xs and encloses them in square brackets. The documents are rendered horizontally if that fits the page. Otherwise they are aligned vertically. All comma separators are put in front of the elements. language-lua The document  (tupled xs) comma separates the documents xs and encloses them in parenthesis. The documents are rendered horizontally if that fits the page. Otherwise they are aligned vertically. All comma separators are put in front of the elements. language-lua The document (semiBraces xs) separates the documents xs with semi colons and encloses them in braces. The documents are rendered horizontally if that fits the page. Otherwise they are aligned vertically. All semi colons are put in front of the elements. language-lua The document (encloseSep l r sep xs) concatenates the documents xs separated by sep( and encloses the resulting document by l and r. The documents are rendered horizontally if that fits the page. Otherwise they are aligned vertically. All separators are put in front of the elements. For example, the combinator  can be defined with  encloseSep: list xs = encloseSep lbracket rbracket comma xs test = text "list" <+> (list (map int [10,200,3000])).Which is layed out with a page width of 20 as: list [10,200,3000] 2But when the page width is 15, it is layed out as: list [10 ,200 ,3000]  language-lua(punctuate p xs) concatenates all documents in xs with document p except for the last document. someText = map text ["words","in","a","tuple"] test = parens (align (cat (punctuate comma someText)))+This is layed out on a page width of 20 as: (words,in,a,tuple) 2But when the page width is 15, it is layed out as: (words, in, a, tuple) (If you want put the commas in front of their elements instead of at the end, you should use  or, in general, .) language-lua The document (sep xs) concatenates all documents xs either horizontally with (<+>)+, if it fits the page, or vertically with (<$>). sep xs = group (vsep xs) language-lua The document  (fillSep xs) concatenates documents xs horizontally with (<+>)/ as long as its fits the page, than inserts a line0 and continues doing that for all documents in xs. %fillSep xs = foldr (\<\/\>) empty xs language-lua The document  (hsep xs) concatenates all documents xs horizontally with (<+>). language-lua The document  (vsep xs) concatenates all documents xs vertically with (<$>). If a % undoes the line breaks inserted by vsep+, all documents are separated with a space. someText = map text (words ("text to lay out")) test = text "some" <+> vsep someTextThis is layed out as: some text to lay out The  combinator can be used to align the documents under their first element 0test = text "some" <+> align (vsep someText)Which is printed as: $some text to lay out  language-lua The document (cat xs) concatenates all documents xs either horizontally with (<>)+, if it fits the page, or vertically with (<$$>). cat xs = group (vcat xs) language-lua The document  (fillCat xs) concatenates documents xs horizontally with (<>)/ as long as its fits the page, than inserts a  linebreak/ and continues doing that for all documents in xs. 'fillCat xs = foldr (\<\/\/\>) empty xs language-lua The document  (hcat xs) concatenates all documents xs horizontally with (<>). language-lua The document  (vcat xs) concatenates all documents xs vertically with (<$$>). If a % undoes the line breaks inserted by vcat*, all documents are directly concatenated. language-lua The document (x <> y) concatenates document x and document y(. It is an associative operation having ' as a left and right unit. (infixr 6) language-lua The document  (x <+> y) concatenates document x and y with a space in between. (infixr 6) language-lua The document  (x y) concatenates document x and y with a # in between. This effectively puts x and y$ either next to each other (with a space2 in between) or underneath each other. (infixr 5) language-lua The document  (x y) concatenates document x and y with a # in between. This effectively puts x and y either right next to each other or underneath each other. (infixr 5) language-lua The document  (x <$> y) concatenates document x and y with a  in between. (infixr 5) language-lua The document  (x <$$> y) concatenates document x and y with a  linebreak in between. (infixr 5) language-lua The document softline behaves like  if the resulting output fits the page, otherwise it behaves like . softline = group line language-lua The document  softbreak behaves like  if the resulting output fits the page, otherwise it behaves like . softbreak = group linebreak language-lua Document  (squotes x) encloses document x with single quotes "'". language-lua Document  (dquotes x) encloses document x with double quotes '"'. language-lua Document  (braces x) encloses document x in braces, "{" and "}". language-lua Document  (parens x) encloses document x in parenthesis, "(" and ")". language-lua Document  (angles x) encloses document x in angles, "<" and ">". language-lua Document  (brackets x) encloses document x" in square brackets, "[" and "]". language-lua The document (enclose l r x) encloses document x between documents l and r using (<>). enclose l r x = l <> x <> r language-lua The document lparen" contains a left parenthesis, "(". language-lua The document rparen# contains a right parenthesis, ")". language-lua The document langle contains a left angle, "<". language-lua The document rangle contains a right angle, ">". language-lua The document lbrace contains a left brace, "{". language-lua The document rbrace contains a right brace, "}". language-lua The document lbracket% contains a left square bracket, "[". language-lua The document rbracket& contains a right square bracket, "]". language-lua The document squote contains a single quote, "'". language-lua The document dquote contains a double quote, '"'. language-lua The document semi contains a semi colon, ";". language-lua The document colon contains a colon, ":". language-lua The document comma contains a comma, ",". language-lua The document space contains a single space, " ". x <+> y = x <> space <> y language-lua The document dot contains a single dot, ".". language-lua The document  backslash contains a back slash, "\". language-lua The document equals contains an equal sign, "=". language-lua The document  (string s) concatenates all characters in s using line for newline characters and char2 for all other characters. It is used instead of 0 whenever the text contains newline characters. language-lua The document (int i) shows the literal integer i using . language-lua The document  (integer i) shows the literal integer i using . language-lua The document  (float f) shows the literal float f using . language-lua The document  (double d) shows the literal double d using . language-lua The document  (rational r) shows the literal rational r using . language-lua The document (fillBreak i x) first renders document x. It than appends spaces until the width is equal to i. If the width of x is already larger than i%, the nesting level is increased by i and a line is appended. When we redefine ptype! in the previous example to use  fillBreak4, we get a useful variation of the previous output: ptype (name,tp) = fillBreak 6 (text name) <+> text "::" <+> text tpThe output will now be: let empty :: Doc nest :: Int -> Doc -> Doc linebreak :: Doc  language-lua The document  (fill i x) renders document x. It than appends spaces until the width is equal to i. If the width of x is already larger, nothing is appended. This combinator is quite useful in practice to output a list of bindings. The following example demonstrates this. types = [("empty","Doc") ,("nest","Int -> Doc -> Doc") ,("linebreak","Doc")] ptype (name,tp) = fill 6 (text name) <+> text "::" <+> text tp test = text "let" <+> align (vcat (map ptype types))Which is layed out as: let empty :: Doc nest :: Int -> Doc -> Doc linebreak :: Doc  language-lua The document  (indent i x) indents document x with i spaces. test = indent 4 (fillSep (map text (words "the indent combinator indents these words !")))*Which lays out with a page width of 20 as: < the indent combinator indents these words !  language-luaThe hang combinator implements hanging indentation. The document  (hang i x) renders document x6 with a nesting level set to the current column plus i. The following example uses hanging indentation for some text: test = hang 4 (fillSep (map text (words "the hang combinator indents these words !"))):Which lays out on a page with a width of 20 characters as: 2the hang combinator indents these words ! The hang combinator is implemented as: hang i x = align (nest i x) language-lua The document  (align x) renders document x with the nesting level set to the current column. It is used for example to implement .As an example, we will put a document right above another one, regardless of the current nesting level: x $$ y = align (x <$> y) 5test = text "hi" <+> (text "nice" $$ text "world")which will be layed out as: hi nice world  language-lua/The empty document is, indeed, empty. Although empty has no content, it does have a 'height' of 1 and behaves exactly like  (text "")! (and is therefore not a unit of <$>). language-lua The document (char c) contains the literal character c). The character shouldn't be a newline ('n'), the function ! should be used for line breaks. language-lua The document (text s) contains the literal string s-. The string shouldn't contain any newline ('n') characters. If the string contains newline characters, the function  should be used. language-luaThe line document advances to the next line and indents to the current nesting level. Document line behaves like  (text " ")! if the line break is undone by . language-luaThe  linebreak document advances to the next line and indents to the current nesting level. Document  linebreak behaves like  if the line break is undone by . language-lua The document  (nest i x) renders document x> with the current indentation level increased by i (See also ,  and ). 3nest 2 (text "hello" <$> text "world") <$> text "!" outputs as: hello world !  language-luaThe group combinator is used to specify alternative layouts. The document  (group x)% undoes all line breaks in document x. The resulting line is added to the current line if that fits the page. Otherwise, the document x" is rendered without any changes. language-lua4This is the default pretty printer which is used by ,  and . !(renderPretty ribbonfrac width x) renders document x with a page width of width and a ribbon width of (ribbonfrac * width) characters. The ribbon width is the maximal amount of non-indentation characters on a line. The parameter  ribbonfrac should be between 0.0 and 1.0;. If it is lower or higher, the ribbon width will be 0 or width respectively. language-lua(renderCompact x) renders document x without adding any indentation. Since no 'pretty' printing is involved, this renderer is very fast. The resulting output contains fewer characters than a pretty printed version and can be used for output that is read by other programs. language-lua(displayS simpleDoc) takes the output  simpleDoc3 from a rendering function and transforms it to a  type (for use in the  class). showWidth :: Int -> Doc -> String showWidth w x = displayS (renderPretty 0.4 w x) "" language-lua(displayIO handle simpleDoc) writes  simpleDoc to the file handle handle'. This function is used for example by : hPutDoc handle doc = displayIO handle (renderPretty 0.4 100 doc) language-lua The action  (putDoc doc) pretty prints document doc to the standard output, with a page width of 100 characters and a ribbon width of 40 characters. main :: IO () main = do{ putDoc (text "hello" <+> text "world") }Which would output  hello world  language-lua(hPutDoc handle doc) pretty prints document doc to the file handle handle with a page width of 100 characters and a ribbon width of 40 characters. main = do{ handle <- openFile "MyFile" WriteMode ; hPutDoc handle (vcat (map text ["vertical","text"])) ; hClose handle }665555  Safe-Inferredj95 Safe-InferredjzYZ[`abghefcdmnopijklv~z|{wxy}qsrtu\]^_ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`ab cdefg h i jklmnopqrrssttuvwxyz{|}~y}oklmnopqrrssttuvwxyz{|}~y}o                                            ,language-lua-0.11.0.2-9sL9Ewdj9xeEWOMzyB7K71Language.Lua.Annotated.LexerLanguage.Lua.StringLiteralLanguage.Lua.TokenLanguage.Lua.SyntaxLanguage.Lua.Annotated.SyntaxLanguage.Lua.Annotated.SimplifyLanguage.Lua.Annotated.ParserLanguage.Lua.ParserLanguage.Lua.PrettyPrinter language-luaLanguage.Lua.LexerUtilsLanguage.Lua.UtilsLanguage.Lua.AnnotatedText.PrettyPrint.Leijen Language.Lua'alex-tools-0.6.1-6xRvG2soGNS9HrQmSWzFUf AlexTools SourceRange sourceFromsourceTo SourcePos sourceIndex sourceLine sourceColumn sourceFileLexeme lexemeText lexemeToken lexemeRangeinterpretStringLiteralconstructStringLiteralTokenTokPlusTokMinusTokStarTokSlash TokPercentTokExpTokShTokEqual TokNotequalTokLEqTokGEqTokLTTokGT TokAssign TokLParen TokRParen TokLBrace TokRBrace TokLBracket TokRBracket TokDColonTokSemicTokColonTokCommaTokDotTokDDot TokEllipsisTokDLTTokDGT TokAmpersandTokPipe TokDSlashTokTildeTokAndTokBreakTokDoTokElse TokElseIfTokEndTokFalseTokFor TokFunctionTokGotoTokIfTokInTokLocalTokNilTokNotTokOr TokRepeat TokReturnTokThenTokTrueTokUntilTokWhileTokFloatTokIntTokSLitTokIdent TokWhiteSpace TokCommentTokUntermStringTokUntermComment TokUnexpected $fShowToken $fEqTokendropWhiteSpacellex llexNamedllexNamedWithWhiteSpacellexFile NumberTypeIntNumFloatNumFunArgArgsTableArg StringArgFunCall NormalFunCall MethodCallFunBodyFunNameBlock TableFieldExpField NamedFieldField PrefixExpPEVar PEFunCallParenUnopNegNotLen ComplementBinopAddSubMulDivExpModConcatLTLTEGTGTEEQNEQAndOrIDivShiftLShiftRBAndBOrBXorVarVarNameSelect SelectNameNilBoolNumberStringVarargEFunDef TableConstStatAssignLabelBreakGotoDoWhileRepeatIfForRangeForIn FunAssignLocalFunAssign LocalAssign EmptyStatName $fNFDataName $fNFDataBinop $fNFDataUnop$fNFDataFunName$fNFDataFunArg$fNFDataFunCall$fNFDataFunBody $fNFDataBlock$fNFDataTableField$fNFDataPrefixExp $fNFDataVar $fNFDataExp $fNFDataStat $fShowFunArg $fEqFunArg $fDataFunArg$fGenericFunArg$fShowTableField$fEqTableField$fDataTableField$fGenericTableField $fShowExp$fEqExp $fDataExp $fGenericExp $fShowFunBody $fEqFunBody $fDataFunBody$fGenericFunBody $fShowBlock $fEqBlock $fDataBlock$fGenericBlock $fShowStat$fEqStat $fDataStat $fGenericStat $fShowFunCall $fEqFunCall $fDataFunCall$fGenericFunCall$fShowPrefixExp $fEqPrefixExp$fDataPrefixExp$fGenericPrefixExp $fShowVar$fEqVar $fDataVar $fGenericVar $fShowFunName $fEqFunName $fDataFunName$fGenericFunName $fShowUnop$fEqUnop $fDataUnop $fGenericUnop $fShowBinop $fEqBinop $fDataBinop$fGenericBinop $fShowName$fEqName $fDataName $fGenericName AnnotatedannamapFunDefTable$fNFDataFunDef $fNFDataTable$fAnnotatedName$fAnnotatedFunArg$fAnnotatedFunCall$fAnnotatedFunBody$fAnnotatedFunDef$fAnnotatedFunName$fAnnotatedBlock$fAnnotatedTableField$fAnnotatedTable$fAnnotatedPrefixExp$fAnnotatedUnop$fAnnotatedBinop$fAnnotatedVar$fAnnotatedExp$fAnnotatedStat$fFunctorFunArg $fShowTable $fEqTable$fFunctorTable $fDataTable$fGenericTable$fFunctorTableField $fFunctorExp $fShowFunDef $fEqFunDef$fFunctorFunDef $fDataFunDef$fGenericFunDef$fFunctorFunBody$fFunctorBlock $fFunctorStat$fFunctorFunCall$fFunctorPrefixExp $fFunctorVar$fFunctorFunName $fFunctorUnop$fFunctorBinop $fFunctorNamesNamesStatsExpsBlocksVarsFunCallsFunNamesFunBodysFunDef sPrefixExpsTablesBinopsUnopsFunArg sTableFieldParser parseTokenschunkstatexpparseNamedText parseText parseFile$fFunctorParser$fHasRangeName$fHasRangeFunArg$fHasRangeFunCall$fHasRangeFunBody$fHasRangeFunDef$fHasRangeFunName$fHasRangeBlock$fHasRangeTableField$fHasRangeTable$fHasRangePrefixExp$fHasRangeUnop$fHasRangeBinop $fHasRangeVar $fHasRangeExp$fHasRangeStat$fHasRangeList $fHasRange(,)$fHasRangeMaybe$fHasRangeLexeme$fHasRangeSourceRange renderPrettydisplayS displayIOLPrettypprint $fLPrettyName $fLPrettyStat$fLPrettyFunArg$fLPrettyFunCall$fLPrettyFunBody$fLPrettyFunName$fLPrettyBlock$fLPrettyTableField $fLPrettyList$fLPrettyPrefixExp $fLPrettyUnop$fLPrettyBinop $fLPrettyVar $fLPrettyExp $fLPrettyBool$fLPrettyList0removeLongQuotesMode StringMode CommentMode QuoteModeLexTokenunterminatedString invalidChar invalidEscenterLongString enterStringenterLongComment enterComment longTokenendStringPredicateendModedropSpecialComment DoubleQuote SingleQuote NormalMode ltokLexeme ltokRange ltokTokencheckEOFbaseGHC.BasefmapHappyStk SimpleDocDocGHC.ShowShowPrettylisttupled semiBraces encloseSep punctuatesepfillSephsepvsepgroupaligncatfillCathcatvcat<>empty<+>softline softbreak<$>line<$$>spacesquotesdquotesbracesparensanglesbracketsencloselparenrparenlangleranglelbracerbracelbracketrbracketsquotedquotesemicoloncommadot backslashequalsstringtextintintegerfloatdoublerational fillBreakfillindenthangchar linebreaknestshowputDochPutDoc renderCompactShowSpretty prettyListSCharSEmptySTextSLineboolcolumnnestingwidthisEmpty