U 6\5{ @s(dZddlZddlmZmZmZmZmZmZddl m Z m Z m Z m Z mZmZmZmZmZddlmZdddd d d d d dg ZedZGdddeZGdddeZGdddeZGdd d eZGdddeZGdd d eZGdd d eZGdd d eZ Gdd d eZ!GdddeZ"dS)z pygments.lexers.haskell ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Haskell and related languages. :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. N)Lexer RegexLexerbygroups do_insertionsdefaultinclude) TextCommentOperatorKeywordNameStringNumber PunctuationGeneric) unistring HaskellLexer IdrisLexer AgdaLexer CryptolLexerLiterateHaskellLexerLiterateIdrisLexerLiterateAgdaLexerLiterateCryptolLexer KokaLexerz.*? c @sFeZdZdZdZddgZdgZdgZej ej BZ dZ dZ d efd ejfd ejd fd ejdfdejdfdejfdde ejfdejfdejdejfdejdefdejdejfdejdejfdejfdejfdejfdejfdejfd 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&fd/e'fgd efd+ed,fd0e'd1fd2efd3ejd4ejd5e(ej)eeeed1fd3ejd6e(ej)eeee'd7fd3ejd8e(ej)ee'd7fd9ej)d1fgd efd3ejd8e(ej)ee'd7fd:ejd;ej)d1fgd efd:ejd<ejfd=ejd>ejfd ejfd ejd fd?e'fd efd@e'dAfd0e'dBfg dCejfd ejdDfdEejd1fdFejfgdGejd1fdHej*dIfd)ejd1fgdJefdHej*dIfd+ed1fgdKej*d1fdLejdMej*d1fde ej*d1fdNej*d1fdOej*d1fdPej*d1fdQej*d1fgdRZ+dSS)Trzk 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]TXZEOTZENQZACKZBELZBSZHTZLFZVTZFFZCRzS[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 (')\([^)]*\)\\(?![:!#$%&*+.\\/<=>?@^|~-]+)+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+):[:!#$%&*+.\\/<=>?@^|~-]*[:!#$%&*+.\\/<=>?@^|~-]+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\']*),\(rErE#pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+ x[\da-fA-F]+\d+\s+\\rootr1r3rEr/r<r>rRN),__name__ __module__ __qualname____doc__namealiases filenames mimetypesre MULTILINEUNICODEflagsreservedasciirr Single Multiliner Reservedr Exceptionjoinr CharuniZLlFunctionZLuTyper WordrFloatZBinOctHexIntegerBuiltinrr NamespaceEscapetokensr{r{9/usr/lib/python3/dist-packages/pygments/lexers/haskell.pyrs     +                  c@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).rrrrusingrrr r!r"r#rewriteauto namespacecodatamutualprivatepublicabstractZtotalpartialr$Zproofr&r'Zstaticr)r*withpatternZtermsyntaxprefix postulateZ parametersrecordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr+) liblinkflagrZhideZfreezeaccessrZloggingZdynamicr_Zerror_handlersZlanguagez ^(\s*)(%%%s)r6z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r/^(\s*)([^\s(){}]+)(\s*)(:)(\s*)r5(import|module)(\s+)r3('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)\d+[eE][+-]?\d+\d+\.\d+([eE][+-]?\d+)?0[xX][\da-fA-F]+rWr;r<r=r> [^\s(){}]+\s+?r,([A-Z][\w.]*)(\s+)(\()rE [A-Z][\w.]*rC[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$r.rHr:rIrJrBrKrLrMrNrOz[^\\']rQrRrSrT \^[][A-Z@^_]rUrVrX)rZr3rEr/r<r>rRN)"r[r\r]r^r_r`rarbrgrhZ directivesrmrrr rkr rirjr rpr rrrqrrsrurvr rnrxrryrzr{r{r{r|rs                   c"@s~eZdZdZdZdgZdgZdgZdddd d d d d ddddddddddddddddddd d!d"d#d$d%d&d'g"Zd(e e e j e e je fd)ejfd*ejd+fd,ejd-fd.d/eejfd0e eje d1fd2ejfd3e fd4e jfd5ejfd6ejfd7ejfd8ejfd9ejd:fd;ede fgd?ejfd,ejd@fdAejdBfdCejfgd*ejd+fdDe dBfdEe fgejd+ejd:ejd<ejdFdGZdHS)Irz For the `Agda `_ dependently typed functional programming language and proof assistant. .. versionadded:: 2.0 ZAgdaZagdaz*.agdaz text/x-agdarrZ coinductive constructorrZfieldforallZhidingr!Z inductiveinfixinfixlinfixrr#r$ropenrrZ primitiverZquoteZ quoteGoalZ quoteTermrZrenamingr~rZtacticZunquoteZ unquoteDeclr}r)rrr-r.r/z\{!holer5r6rr3z\b(Set|Prop)\bz (\(|\)|\{|\})u(\.{1,3}|\||Λ|∀|→|:|=|->)rrrrWr;r<r=r>rrz[^!{}]+rMz!\}rCz[!{}]z[a-zA-Z][\w.]*z [\W0-9_]+rR)rZrr3r/r<r>rRN)r[r\r]r^r_r`rarbrgrrr rpr rrr rirjZ Directivermr rkrqrrsrurvr rnrrzr{r{r{r|rs        c@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#e$dDZ%dEdFZ&dGS)Hrzs FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 2.0 ZCryptolZcryptolZcryz*.cryztext/x-cryptol)ZArithZBitZCmpFalseZInfTruerZexportZexternZfinr r1infZlg2maxminr3r%Zpragmapropertyr'r(r)widthr+r,//.*$/\*r/r0r1r2r3r4r5r6z^[_a-z][\w\']*z'?[_a-z][\w']*rr7r8r9r:rrz 0[oO][0-7]+rrWr;r<r=r>r?r@rArBrCrDz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rErrFrrrrHrIrJrK[^/*]+rM\*/[*/]rPrQrRrSrTrrUrVrXrY)rmsplitreverseZ transposerZlengthtailz<>z<<>>ZconstZregZparseqASSERTZ undefinederrorZtraceccsRdg}t|||D]8\}}}|tkr@||jkr@|tj|fVq|||fVqdS)NrZ)rget_tokens_unprocessedr EXTRA_KEYWORDSrw)selftextstackindextokenvaluer{r{r|rs  z#CryptolLexer.get_tokens_unprocessedN)'r[r\r]r^r_r`rarbrgrhrr rirjr rkr rlrmrprqr rrrrsrtrurvr rnrwrrrxryrzsetrrr{r{r{r|rSs    $                fc@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|f|dSN) baselexerr__init__)rroptionsr{r{r|rszLiterateLexer.__init__c cs|jd}|dkr0|dddkr,dp.d}d}g}|dkrt|D]h}|}|j|}|r|t |dt j |dfgf||d7}qJ|t |dt |fgfqJndd l m}|f|j} d} d} t|D]}|}| r|d rd} | |7} n||7}q|d rXd} | |7} |t |t| | fd} q| |7} q|t |t| | ft||j|D] } | VqdS) Nlitstylerz%\latexZbird)TexLexerz \end{code}z \begin{code})rgetlstripline_refinditergroupbird_rematchappendlenr SpecialrZpygments.lexers.markupr startswithlistrrr) rrZstylecodeZ insertionsrlinemrZlxlexerZ codelinesritemr{r{r|rsN            z$LiterateLexer.get_tokens_unprocessedN) r[r\r]r^rccompilerrrr{r{r{r|rs rc@s2eZdZdZdZdddgZdgZdgZdd Zd S) 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 HaskellZlhszliterate-haskellZlhaskellz*.lhsztext/x-literate-haskellcKstf|}tj||f|dSr)rrrrrZhslexerr{r{r|r/s zLiterateHaskellLexer.__init__N r[r\r]r^r_r`rarbrr{r{r{r|rs   c@s2eZdZdZdZdddgZdgZdgZdd Zd S) 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 IdrisZlidrzliterate-idrisZlidrisz*.lidrztext/x-literate-idriscKstf|}tj||f|dSr)rrrrr{r{r|rFs zLiterateIdrisLexer.__init__Nrr{r{r{r|r4s   c@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&tf|}tj||fddi|dS)Nrr)rrr)rrZ agdalexerr{r{r|r]s zLiterateAgdaLexer.__init__Nrr{r{r{r|rKs  c@s2eZdZdZdZdddgZdgZdgZdd Zd S) 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 CryptolZlcryzliterate-cryptolZlcryptolz*.lcryztext/x-literate-cryptolcKstf|}tj||f|dSr)rrr)rrZcrylexerr{r{r|rts zLiterateCryptolLexer.__init__Nrr{r{r{r|rbs   c"@seZdZdZdZdgZddgZdgZddd d d d d dddddddddddddddddddd d!d"d#d$d%d&d'g"Zd d d d dd%gZ d(d)d*d+gZ d,d-d.d/d0d1d2d3d4d5d6d7d8g Z d9Z d:e d;Z de ed fd?eeeed@fdAeeeedBfdCdDe dEeeeed fdFeeeeejfdGeeeejeeeeejfdHe dIeeeejfdJe dIeeeeejfdCdDe eejfdCdDeeefdCdDe eejfdKe efdLeejefdMeejefdNe dIeejefdOej fdPe!j"dQfe dRe#fdSe#fdTe$fdUe%j&fdVe%j'fdWe%j(fdXe!j)dYfdZe!j"d[fgd\efed gd]e$d^fed gd_ed`fedagdbed^fd_ed`fdcefddeeeefedaged=dCdDe eefdedDeedfed^fdgeefdhefdOej fdLeejefdieejefdjefe*d^g dke+j,fdlefdme+j-dnfdoe+j.fgdpe+j-fdme+j-dqfdre+j-d^fdse+j-fgdte!j"fdue!j/fdZe!j"d^fgdve!j"fedwdxe!j"d^fgdye!j)fedwdze!j)d^fgd{e!j/fd|e!j/fd}e!j/fd~e!j/fgd Z0dS)rzc Lexer for the `Koka `_ language. .. versionadded:: 1.6 ZKokaZkokaz*.kkz*.kkiz text/x-kokarrrr(ZcotypeZrectypealiasZstructZconZfunZfunctionvalvarZexternalr r'relifreturnrrrr3r1asrZinlineZrectryyieldenumZ interfacer#rexistsZsomerforwhilerepeatZforeachzforeach-indexedrZcatchfinallyZcsZjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?z(alias)(\s+)([a-z]\w*)? alias-typez(struct)(\s+)([a-z]\w*)? struct-typez(%s)r6z(\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=r>=z(?=\((?!,*\)))rCz[(\[<] type-nested type-contentz[)\]>]rHz([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,rr/rrrMrrz[^"]+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}) rZrrr(rrrr/rr>rrN)1r[r\r]r^r_r`rarbkeywordsZtypeStartKeywordsZ typekeywordsZbuiltinZsymbolsZ sboundaryboundaryr Z AttributeZ tokenTypeZClassZ tokenTypeDefrZEmphZtokenConstructorrrr rrmrxrprqZPseudoZVariabler Doubler rrrsrurvrnrr ZPreprocrjriryrzr{r{r{r|rys               ?           )#r^rcZpygments.lexerrrrrrrZpygments.tokenrr r r r r rrrZpygmentsrro__all__rrrrrrrrrrrrr{r{r{r|s0  ,  nE A