a W_}@s.dZddlZddlmZmZmZmZmZmZm Z ddl m Z m Z m Z mZmZmZmZmZmZddlmZgdZedZGdd d eZGd d d eZGd d d eZGdddeZGdddeZGdddeZGdddeZ GdddeZ!GdddeZ"GdddeZ#GdddeZ$dS)z pygments.lexers.haskell ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Haskell and related languages. :copyright: Copyright 2006-2020 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. N)Lexer RegexLexerbygroups do_insertionsdefaultincludeinherit) TextCommentOperatorKeywordNameStringNumber PunctuationGeneric) unistring) HaskellLexer HspecLexer IdrisLexer AgdaLexer CryptolLexerLiterateHaskellLexerLiterateIdrisLexerLiterateAgdaLexerLiterateCryptolLexer KokaLexerz.*? c!@sNeZdZdZdZddgZdgZdgZej ej BZ dZ dZ d efd ejfd ejd fd ejdfdejdfdejfdde ejfdejfdejdejfdejdefdejdejfdejdejfdejfdejfdejfdejfdejfd ejfd!efd"e j!fd#e j!fd$e j!fd%e j!fd&e j"fd'e j#fd(e j$fd)e j%fd*ejd+fd,ed-fd.ejfd/ej&fd0e'fg d efd,ed-fd1e'd2fd3efd4ejd5ejd6e(ej)eeeed2fd4ejd7e(ej)eeee'd8fd4ejd9e(ej)ee'd8fd:ej)d2fgd efd4ejd9e(ej)ee'd8fd;ejd<ej)d2fgd efd;ejd=ejfd>ejd?ejfd ejfd ejd fd@e'fd!efdAe'dBfd1e'dCfg dDejfd ejdEfdFejd2fdGejfgdHejd2fdIej*dJfd*ejd2fgdKefdIej*dJfd,ed2fgdLej*d2fdMejdNej*d2fde ej*d2fdOej*d2fdPej*d2fdQej*d2fdRej*d2fgdSZ+dTS)Urzk A Haskell lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 0.8 ZHaskellZhaskellZhsz*.hsztext/x-haskell)caseclassdatarZderivingdoelseZfamilyifin infix[lr]?instanceletnewtypeofthentypewhere_ZNULZSOHz[SE]TXZEOTZENQZACKZBELZBSZHTZLFVTZFFZCRzS[OI]ZDLEzDC[1-4]ZNAKZSYNZETBZCANZEMZSUBZESCz[FGRU]SZSPZDEL\s+!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$\{-comment \bimport\bimport \bmodule\bmodule \berror\b\b(%s)(?!\')\b|z'[^\\]'z^[_z][\w\']*z'?[_z][\w']*z('')?[z(')[z (')\[[^\]]*\]z (')\([^)]*\)z(')[:!#$%&*+.\\/<=>?@^|~-]+\\(?![:!#$%&*+.\\/<=>?@^|~-]+)+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+):[:!#$%&*+.\\/<=>?@^|~-]*[:!#$%&*+.\\/<=>?@^|~-]+z40[xX]_*[\da-fA-F](_*[\da-fA-F])*_*[pP][+-]?\d(_*\d)*zR0[xX]_*[\da-fA-F](_*[\da-fA-F])*\.[\da-fA-F](_*[\da-fA-F])*(_*[pP][+-]?\d(_*\d)*)?z\d(_*\d)*_*[eE][+-]?\d(_*\d)*z+\d(_*\d)*\.\d(_*\d)*(_*[eE][+-]?\d(_*\d)*)?z0[bB]_*[01](_*[01])*z0[oO]_*[0-7](_*[0-7])*z 0[xX]_*[\da-fA-F](_*[\da-fA-F])*z \d(_*\d)*' character"string\[\]\(\) [][(),;`{}]\)#pop qualified\bz([z][\w.]*)(\s+)(as)(\s+)([z][\w.]*)z][\w.]*)(\s+)(hiding)(\s+)(\()funclistz][\w.]*)(\s+)(\()[\w.]+[z][\w.]*z]\w*z (_[\w\']+|[z ][\w\']*),\(rHrH#pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+ x[\da-fA-F]+\d+\s+\\rootr4r6rHr2r?rArUN),__name__ __module__ __qualname____doc__namealiases filenames mimetypesre MULTILINEUNICODEflagsreservedasciir r Single Multiliner Reservedr ExceptionjoinrCharuniZLlFunctionZLuTyper WordrFloatZBinOctHexIntegerBuiltinrr NamespaceEscapetokensr~r~9/usr/lib/python3/dist-packages/pygments/lexers/haskell.pyrs     -                rc@sVeZdZdZdZdgZgZgZddee e j fdee e j fdee e j fe giZ dS) rzY A Haskell lexer with support for Hspec constructs. .. versionadded:: 2.4.0 ZHspecZhspecr]z(it\s*)("[^"]*")z(describe\s*)("[^"]*")z(context\s*)("[^"]*")N)r^r_r`rarbrcrdrerr rZDocrr}r~r~r~rrsrc@s*eZdZdZdZddgZdgZdgZdZdZ d Z d d e e e ejfd e e ejfd e e ejfde e ejdfde e eje eje fdd eejfde eje dfdejfde fdejfdejfdejfdejfdejfdejfdejdfdedfd e fd!e fgd"e fd#e eje ed$fd%ejd&fgd"e fd'ejfd(ejfd)ejfd*ejdfd+efd,efd-ed.fd/ed0fg d1ejfd*ejd2fd3ejd&fd4ejfgd5ejfd6ej d7fdejd&fgd8efd6ej d7fded&fgd9ej d&fd:ej d&fd e ej d&fd;ej d&fdZ!d?S)@rz A lexer for the dependently typed programming language Idris. Based on the Haskell and Agda Lexer. .. versionadded:: 2.0 ZIdrisZidrisZidrz*.idrz text/x-idris)3rrrrusingr r!r"r#r$r%rewriteauto namespacecodatamutualprivatepublicabstracttotalpartial interfaceimplementationexportZcovering constructorr&Zproofr(r)Zstaticr+r,withpatternZtermsyntaxprefix postulate parametersrecordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr-) liblinkflagrZhideZfreezeaccessrZloggingZdynamicrbZerror_handlersZlanguagez^(\s*)(%%(%s))r9z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r2^(\s*)([^\s(){}]+)(\s*)(:)(\s*)r8(import|module)(\s+)r6('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)\d+[eE][+-]?\d+\d+\.\d+([eE][+-]?\d+)?0[xX][\da-fA-F]+rZr>r?r@rA [^\s(){}]+\s+?r/([A-Z][\w.]*)(\s+)(\()rH [A-Z][\w.]*rF[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$r1rKr=rLrMrErNrOrPrQrRz[^\\']rTrUrVrW \^[][A-Z@^_]rXrYr[)r]r6rHr2r?rArUN)"r^r_r`rarbrcrdrerjrkZ directivesrprr r rnr rlrmr rsr rurtrrvrxryrrqr{rr|r}r~r~r~rrs                  rc@s>eZdZdZdZdgZdgZdgZgdZde e e j e e je fdejfd ejd fd ejd fd deejfde eje dfdejfde fde jfdejfdejfdejfdejfdejdfdedfde fde fgdejfd ejdfd ejd!fd"ejfgd ejd fd#e d!fd$e fgejd ejdejdejd%d&Zd'S)(rz For the `Agda `_ dependently typed functional programming language and proof assistant. .. versionadded:: 2.0 ZAgdaZagdaz*.agdaz text/x-agda)"rrZ coinductiverrZfieldforallZhidingr#Z inductiveinfixinfixlinfixrr%r&ropenrrZ primitiverZquoteZ quoteGoalZ quoteTermrZrenamingrrZtacticZunquoteZ unquoteDeclrr+rrr0r1r2z\{!holer8r9rr6z\b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rrrrZr>r?r@rArrz[^!{}]+rPz!\}rFz[!{}]z[a-zA-Z][\w.]*z [\W0-9_]+rU)r]rr6r2r?rArUN)r^r_r`rarbrcrdrerjrr r rsr rur rlrmZ Directiverpr rnrtrrvrxryrrqrr}r~r~r~rr'sP       rc@s~eZdZdZdZddgZdgZdgZdZdZ d e fd e j fd e j d fd ejdfdejdfdejfddeejfdejfdefdejfdejfdejfdejfdefdejfdejfdejfdejfdejfd ejd!fd"ed#fd$ejfd%ejfd&efgd e fd"ed#fd'ed(fd)efd*e ej!e ee ed(fd+e ej!e ee ed,fd-e ej!e ed,fd.ej!d(fgd e fd-e ej!e ed,fd/ej!d(fgd e fd0ejfd1ejfd2efdefd3ed4fd'ed5fgd6e j fd e j d7fd8e j d(fd9e j fgd:ejd(fd;ej"dej"d(fd?ej"d(fde ej"d(fd@ej"d(fdAej"d(fdej"d(fdBej"d(fgdCZ#hdDZ$dEdFZ%dGS)Hrzs FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 2.0 ZCryptolZcryptolZcryz*.cryztext/x-cryptol)ZArithZBitZCmpFalseZInfTruer!rZexternZfinr"r4infZlg2maxminr6r'Zpragmapropertyr)r*r+widthr-r///.*$/\*r2r3r4r5r6r7r8r9z^[_a-z][\w\']*z'?[_a-z][\w']*rr:r;r<r=rrz 0[oO][0-7]+rrZr>r?r@rArBrCrDrErFrGz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rHrrIrrrrKrLrMrN[^/*]+rP\*/[*/]rSrTrUrVrWrrXrYr[r\>reverseZconstseqtailz>>Z undefinedz<>>ZregerrorZparsplitZtraceZlengthASSERTccsRdg}t|||D]8\}}}|tur@||jvr@|tj|fVq|||fVqdS)Nr])rget_tokens_unprocessedr EXTRA_KEYWORDSrz)selftextstackindextokenvaluer~r~rrs  z#CryptolLexer.get_tokens_unprocessedN)&r^r_r`rarbrcrdrerjrkr r rlrmr rnr rorprsrtr rurrvrwrxryrrqrzrrr{r|r}rrr~r~r~rrls    $              frc@s*eZdZdZedZddZddZdS) LiterateLexera Base class for lexers of literate file formats based on LaTeX or Bird-style (prefixing each code line with ">"). Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. z(>[ \t]*)(.*\n)cKs||_tj|fi|dSN) baselexerr__init__)rroptionsr~r~rrszLiterateLexer.__init__c cs|jd}|dur0|dddvr,dp.d}d}g}|dkrt|D]h}|}|j|}|r|t |dt j |dfgf||d7}qJ|t |dt |fgfqJndd l m}|fi|j} d} d} t|D]}|}| r|d rd} | |7} n||7}q|d r\d} | |7} |t |t| | fd} q| |7} q|t |t| | ft||j|EdHdS) Nlitstylerz%\latexZbird)TexLexerz \end{code}z \begin{code})rgetlstripline_refinditergroupbird_rematchappendlenr Specialr Zpygments.lexers.markupr startswithlistrrr) rrZstylecodeZ insertionsrlinemrZlxlexerZ codelinesrr~r~rrsL           z$LiterateLexer.get_tokens_unprocessedN) r^r_r`rarfcompilerrrr~r~r~rrs rc@s0eZdZdZdZgdZdgZdgZddZdS) ran For Literate Haskell (Bird-style or LaTeX) source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. .. versionadded:: 0.9 zLiterate Haskell)Zlhszliterate-haskellZlhaskellz*.lhsztext/x-literate-haskellcKs&tfi|}tj||fi|dSr)rrrrrZhslexerr~r~rrGszLiterateHaskellLexer.__init__N r^r_r`rarbrcrdrerr~r~r~rr5s  rc@s0eZdZdZdZgdZdgZdgZddZdS) ral For Literate Idris (Bird-style or LaTeX) source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. .. versionadded:: 2.0 zLiterate Idris)Zlidrzliterate-idrisZlidrisz*.lidrztext/x-literate-idriscKs&tfi|}tj||fi|dSr)rrrrr~r~rr^szLiterateIdrisLexer.__init__Nrr~r~r~rrLs  rc@s0eZdZdZdZddgZdgZdgZddZd S) raU For Literate Agda source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. .. versionadded:: 2.0 z Literate AgdaZlagdaz literate-agdaz*.lagdaztext/x-literate-agdacKs*tfi|}tj||fddi|dS)Nrr)rrr)rrZ agdalexerr~r~rruszLiterateAgdaLexer.__init__Nrr~r~r~rrcs  rc@s0eZdZdZdZgdZdgZdgZddZdS) ran For Literate Cryptol (Bird-style or LaTeX) source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. .. versionadded:: 2.0 zLiterate Cryptol)Zlcryzliterate-cryptolZlcryptolz*.lcryztext/x-literate-cryptolcKs&tfi|}tj||fi|dSr)rrr)rrZcrylexerr~r~rrszLiterateCryptolLexer.__init__Nrr~r~r~rrzs  rc@seZdZdZdZdgZddgZdgZgdZgdZ gd Z gd Z d Z d e d Z dZejZejZejZedde edfdeeeedfdeeeedfdde deeeedfdeeeeejfdeeeejeeeeejfde deeeejfde deeeeejfdde eejfddeeefdde eejfde efdeejefd eejefd!e deejefd"ej fd#e!j"d$fe d%e#fd&e#fd'e$fd(e%j&fd)e%j'fd*e%j(fd+e!j)d,fd-e!j"d.fgd/efedgd0e$d1fedgd2ed3fed4gd5ed1fd2ed3fd6efd7eeeefed4geddde eefd8deed9ed1fd:eefd;efd"ej fdeejefde+j,fd?efd@e+j-dAfdBe+j.fgdCe+j-fd@e+j-dDfdEe+j-d1fdFe+j-fgdGe!j"fdHe!j/fd-e!j"d1fgdIe!j"fedJdKe!j"d1fgdLe!j)fedJdMe!j)d1fgdNe!j/fdOe!j/fdPe!j/fdQe!j/fgdR Z0dSS)Trzc Lexer for the `Koka `_ language. .. versionadded:: 1.6 ZKokaZkokaz*.kkz*.kkiz text/x-koka)"rrrr*cotyperectypealiasstructZconZfunZfunctionvalvarZexternalr"r)r!elifreturnrrrrr6r4asrZinlineZrectryyieldenumrr%)r*rrrrr)rexistsZsomer) forwhilerepeatZforeachzforeach-indexedrZcatchfinallyZcsZjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?r*z(alias)(\s+)([a-z]\w*)? alias-typez(struct)(\s+)([a-z]\w*)? struct-typez(%s)r9z(\s+)([a-z]\w*)?z4(module)(\s+)(interface\s+)?((?:[a-z]\w*/)*[a-z]\w*)zb(import)(\s+)((?:[a-z]\w*/)*[a-z]\w*)(?:(\s*)(=)(\s*)((?:qualified\s*)?)((?:[a-z]\w*/)*[a-z]\w*))?zE(^(?:(?:public|private)\s*)?(?:function|fun|val))(\s+)([a-z]\w*|\((?:z|/)\))zE(^(?:(?:public|private)\s*)?external)(\s+)(inline\s+)?([a-z]\w*|\((?:z::?|:=|\->|[=.]z((?:[a-z]\w*/)*)([A-Z]\w*)z((?:[a-z]\w*/)*)([a-z]\w*)z((?:[a-z]\w*/)*)(\((?:z_\w*z@" litstringz |/(?![*/])`z [{}()\[\];,]z![0-9]+\.[0-9]+([eE][\-+]?[0-9]+)?z0[xX][0-9a-fA-F]+z[0-9]+r>charr@rA=z(?=\((?!,*\)))rFz[(\[<] type-nested type-contentz[)\]>]rKz([a-z]\w*)(\s*)(:)(?!:)z(?=((%s)z))z[EPHVX]z[a-z][0-9]*(?![\w/])z((?:[a-z]\w*/)*)([a-z]\w+)z ::|->|[.:|]z \n\s*#.*$r/rr2rrrPrrz[^"]+z""z [^\\"\n]+escape-sequencez["\n]z [^\\\'\n]+z[\'\n]z \\[nrt\\"\']z\\x[0-9a-fA-F]{2}z\\u[0-9a-fA-F]{4}z\\U[0-9a-fA-F]{6}) r]rrr*rrrr2rrArrN)1r^r_r`rarbrcrdrekeywordsZtypeStartKeywordsZ typekeywordsZbuiltinZsymbolsZ sboundaryboundaryr Z AttributeZ tokenTypeZClassZ tokenTypeDefrZEmphZtokenConstructorrrr r rpr{rsrtZPseudoZVariablerDoubler rrrvrxryrqrr ZPreprocrmrlr|r}r~r~r~rrs               ?           r)%rarfZpygments.lexerrrrrrrrZpygments.tokenr r r r r rrrrZpygmentsrrr__all__rrrrrrrrrrrrrr~r~r~rs& $,  oE @