B 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)caseclassdatarZderivingdoelseZfamilyifinz infix[lr]?instanceletnewtypeofthentypewhere_)NULSOHz[SE]TXEOTENQACKBELBSHTLFVTFFCRzS[OI]DLEzDC[1-4]NAKSYNETBCANEMSUBESCz[FGRU]SSPDELz\s+z!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$z\{-commentz \bimport\bimportz \bmodule\bmodulez \berror\bz\b(%s)(?!\')\b|z'[^\\]'z^[_z][\w\']*z'?[_z][\w']*z('')?[z(')[z (')\[[^\]]*\]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"stringz\[\]z\(\)z [][(),;`{}]z\)z#popz qualified\bz([z][\w.]*)(\s+)(as)(\s+)([z][\w.]*)z][\w.]*)(\s+)(hiding)(\s+)(\()funclistz][\w.]*)(\s+)(\()z[\w.]+[z][\w.]*z]\w*z (_[\w\']+|[z ][\w\']*),z\()rHrHz#pop:2z[^-{}]+z#pushz-\}z[-{}]z[^\\']'z\\escapez[^\\"]+z[abfnrtv"\'&\\]z\^[][z@^_]zo[0-7]+z x[\da-fA-F]+z\d+z\s+\\)rootrArBrHr@rErGrKN),__name__ __module__ __qualname____doc__namealiases filenames mimetypesre MULTILINEUNICODEflagsreservedasciirr Single Multiliner Reservedr Exceptionjoinr CharuniZLlFunctionZLuTyper WordrFloatZBinOctHexIntegerBuiltinrr NamespaceEscapetokensrmrm6lib/python3.7/site-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!z infix[lr]?r"rewriteauto namespacecodatamutualprivatepublicabstractZtotalpartialr#Zproofr%r&Zstaticr(r)withpatternZtermsyntaxprefix postulateZ parametersrecordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivial)r*r+z[SE]TXr,r-r.r/r0r1r2r3r4r5zS[OI]r6zDC[1-4]r7r8r9r:r;r<r=z[FGRU]Sr>r?) liblinkflagrZhideZfreezeaccessrZloggingZdynamicrQZerror_handlersZlanguagez ^(\s*)(%%%s)rCz((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r@z^(\s*)([^\s(){}]+)(\s*)(:)(\s*)z\b(%s)(?!\')\bz(import|module)(\s+)rBz('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z0[xX][\da-fA-F]+z\d+rDrErFrGz [^\s(){}]+z\s+?z\s+z([A-Z][\w.]*)(\s+)(\()rHz [A-Z][\w.]*z#popz[A-Z]\w*z(_[\w\']+|[a-z][\w\']*)z--.*$z\{-rJz[:!#$%&*+.\\/<=>?@^|~-]+z\()rHrHz\)z#pop:2z[^-{}]+z#pushz-\}z[-{}]z[^\\']z\\rKz[^\\"]+z[abfnrtv"\'&\\]z \^[][A-Z@^_]zo[0-7]+z x[\da-fA-F]+z\s+\\)rLrBrHr@rErGrKN)"rMrNrOrPrQrRrSrTrYrZZ directivesr_rrr r]r r[r\r rbr rdrcrrergrhr r`rjrrkrlrmrmrmrnrsv                   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-agdarwrsZ coinductive constructorrZfieldforallZhidingr!Z inductiveinfixinfixlinfixrr"r#rtopenrzr}Z primitiveruZquoteZ quoteGoalZ quoteTermr~Zrenamingrpr{ZtacticZunquoteZ unquoteDeclror(ryz^(\s*)([^\s(){}]+)(\s*)(:)(\s*)z!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$z\{-r@z\{!holez\b(%s)(?!\')\brCz(import|module)(\s+)rBz\b(Set|Prop)\bz (\(|\)|\{|\})u(\.{1,3}|\||Λ|∀|→|:|=|->)z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z0[xX][\da-fA-F]+z\d+rDrErFrGz [^\s(){}]+z\s+?z[^!{}]+z#pushz!\}z#popz[!{}]z[a-zA-Z][\w.]*z [\W0-9_]+rK)rLrrBr@rErGrKN)rMrNrOrPrQrRrSrTrYrrr rbr rdr r[r\Z Directiver_r r]rcrrergrhr r`rrlrmrmrmrnrsR           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 rAinfZlg2maxminrBr$Zpragmapropertyr&r'r(width)r*r+z[SE]TXr,r-r.r/r0r1r2r3r4r5zS[OI]r6zDC[1-4]r7r8r9r:r;r<r=z[FGRU]Sr>r?z\s+z//.*$z/\*r@z \bimport\brAz \bmodule\brBz \berror\bz\b(%s)(?!\')\brCz^[_a-z][\w\']*z'?[_a-z][\w']*z('')?[A-Z][\w\']*z\\(?![:!#$%&*+.\\/<=>?@^|~-]+)z+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+)z:[:!#$%&*+.\\/<=>?@^|~-]*z[:!#$%&*+.\\/<=>?@^|~-]+z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z 0[oO][0-7]+z0[xX][\da-fA-F]+z\d+rDrErFrGz\[\]z\(\)z [][(),;`{}]z\)z#popz qualified\bz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rHz([A-Z][\w.]*)(\s+)(\()z[\w.]+z [A-Z][\w.]*z[A-Z]\w*z(_[\w\']+|[a-z][\w\']*)rJz\()rHrHz#pop:2z[^/*]+z#pushz\*/z[*/]z[^\\']'z\\rKz[^\\"]+z[abfnrtv"\'&\\]z \^[][A-Z@^_]zo[0-7]+z x[\da-fA-F]+z\s+\\)rLrArBrHr@rErGrK)r_splitreverseZ transposerlengthtailz<>z<<>>ZconstZregZparseqASSERTZ undefinederrorZtraceccsVdg}xJt|||D]8\}}}|tkrB||jkrB|tj|fVq|||fVqWdS)NrL)rget_tokens_unprocessedr EXTRA_KEYWORDSri)selftextstackindextokenvaluermrmrnrs z#CryptolLexer.get_tokens_unprocessedN)'rMrNrOrPrQrRrSrTrYrZrr r[r\r r]r r^r_rbrcr rdrrerfrgrhr r`rirrrjrkrlsetrrrmrmrmrnrSs                    c@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|dS)N) baselexerr__init__)rroptionsrmrmrnrszLiterateLexer.__init__c cs|jd}|dkr0|dddkr,dp.d}d}g}|dkrxvt|D]h}|}|j|}|r|t |dt j |dfgf||d7}qL|t |dt |fgfqLWndd l m}|f|j} d} d} xt|D]}|}| r |d rd} | |7} n||7}q|d r^d} | |7} |t |t| | fd} q| |7} qW|t |t| | fx"t||j|D] } | VqWdS) Nlitstylerz%\latexZbird)TexLexerz \end{code}z \begin{code})rgetlstripline_refinditergroupbird_rematchappendlenr SpecialrZpygments.lexers.markupr startswithlistrrr) rrZstylecodeZ insertionsrlinemrZlxlexerZ codelinesritemrmrmrnrsH           z$LiterateLexer.get_tokens_unprocessedN) rMrNrOrPrUcompilerrrrmrmrmrnrs  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|dS)N)rrr)rrhslexerrmrmrnr/s zLiterateHaskellLexer.__init__N) rMrNrOrPrQrRrSrTrrmrmrmrnrs   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|dS)N)rrr)rrrrmrmrnrFs zLiterateIdrisLexer.__init__N) rMrNrOrPrQrRrSrTrrmrmrmrnr4s   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 agdalexerrmrmrnr]s zLiterateAgdaLexer.__init__N) rMrNrOrPrQrRrSrTrrmrmrmrnrKs  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|dS)N)rrr)rrZcrylexerrmrmrnrts zLiterateCryptolLexer.__init__N) rMrNrOrPrQrRrSrTrrmrmrmrnrbs   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&relifreturnrrurvrBrAasrZinlineZrectryyieldenumZ interfacer"rexistsZsomeryforwhilerepeatZforeachzforeach-indexedrZcatchfinallyZcsZjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?z(alias)(\s+)([a-z]\w*)?z alias-typez(struct)(\s+)([a-z]\w*)?z struct-typez(%s)rCz(\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]+rDcharrFrG=z(?=\((?!,*\)))z#popz[(\[<]z type-nestedz type-contentz[)\]>]rJz([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*#.*$z\s+z/\*r@z//.*$z[^/*]+z#pushz\*/z[*/]z[^"]+z""z [^\\"\n]+zescape-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}) rLz alias-typez struct-typer'z type-nestedz type-contentrr@rrGrzescape-sequenceN)1rMrNrOrPrQrRrSrTkeywordsZtypeStartKeywordsZ typekeywordsZbuiltinZsymbolsZ sboundaryboundaryr Z AttributeZ tokenTypeZClassZ tokenTypeDefrZEmphZtokenConstructorrrr rr_rjrbrcZPseudoZVariabler Doubler rrrergrhr`rr ZPreprocr\r[rkrlrmrmrmrnrys                              )#rPrUZpygments.lexerrrrrrrZpygments.tokenrr r r r r rrrZpygmentsrra__all__rrrrrrrrrrrrrmrmrmrn s( ,  nE A