a j+@s,dZddlZddlmZmZmZmZmZmZm Z m Z ddl m Z m Z mZmZmZmZmZmZmZmZddlmZgdZGdddeZGd d d eZGd d d eZGd ddeZGdddeZGdddeZGdddeZ GdddeZ!GdddeZ"GdddeZ#GdddeZ$dS)z pygments.lexers.haskell ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Haskell and related languages. :copyright: Copyright 2006-present by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. N)Lexer RegexLexerbygroups do_insertionsdefaultincludeinheritline_re) TextCommentOperatorKeywordNameStringNumber PunctuationGeneric Whitespace) unistring) HaskellLexer HspecLexer IdrisLexer AgdaLexer CryptolLexerLiterateHaskellLexerLiterateIdrisLexerLiterateAgdaLexerLiterateCryptolLexer KokaLexerc"@sZeZdZdZdZdZddgZdgZdgZdZ d Z d Z d e fd e jfd e jdfdejdfdejdfdejfdde ejfdejfdejfdejdejfdejdefdejdejfdejdejfdejfdejfd ejfd!ejfd"ejfd#ejfd$efd%ej fd&ej fd'ej fd(ej fd)ej!fd*ej"fd+ej#fd,ej$fd-ejd.fd/ed0fd1ejfd2ej%fd3e&fg!d e fd/ed0fd4e&d5fd6efd7ejd8ejd9e'ej(e ee ed5fd7ejd:e'ej(e ee e&d;fd7ejd<e'ej(e e&d;fd=ej(d5fgd e fd7ejd<e'ej(e e&d;fd>ejd?ej(d5fgd e fd>ejd@ejfdAejdBejfd e jfd e jdfdCe&fd$efdDe&dEfd4e&dFfg dGe jfd e jdHfdIe jd5fdJe jfgdKejd5fdLej)dMfd-ejd5fgdNefdLej)dMfd/ed5fgdOej)d5fdPejdQej)d5fde ej)d5fdRej)d5fdSej)d5fdTej)d5fdUe'e ej)d5fgdVZ*dWS)XrzP A Haskell lexer based on the lexemes defined in the Haskell 98 Report. Haskellzhttps://www.haskell.org/haskellhsz*.hsztext/x-haskellz0.8)caseclassdatarZderivingdoelsefamilyifin infix[lr]?instanceletnewtypeofthentypewhere_NULZSOHz[SE]TXZEOTZENQZACKZBELZBSZHTZLFVTZFFCRzS[OI]ZDLEzDC[1-4]ZNAKZSYNZETBZCANZEMZSUBZESCz[FGRU]SSPZDEL\s+!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$\{-comment \bimport\bimport \bmodule\bmodule \berror\b\b({})(?!\')\b|z'[^\\]'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\']*),\(rQrQ#pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+ x[\da-fA-F]+\d+ (\s+)(\\)rootr=r?rQr;rHrJr^N)+__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypes version_addedreservedasciirr Single Multiliner Reservedr ExceptionformatjoinrCharuniZLlFunctionZLuTyper WordrFloatBinOctHexIntegerBuiltinrr NamespaceEscapetokensrr=E:\soccer\ml_env\Lib\site-packages\pygments/lexers/haskell.pyrs    .               rc@sbeZdZdZdZdgZdgZgZdZdde e e e j fde e e e j fd e e e e j fegiZd S) rz< A Haskell lexer with support for Hspec constructs. Hspechspecz*Spec.hsz2.4rfz(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rgrhrirjrkrmrnrorprr rrDocrrrrrrrsrc@s<eZdZdZdZdZddgZdgZdgZdZ d Z d Z d Z d d e eeejfdeeejfdeeejfdeeejdfdeeejeejefd d e ejfdeejedfdejfdefdejfdejfdejfdejfdejfdejfde j!dfd e d!fd"efd#efgd$efd%eej"ee#d&fd'ej"d(fgd$efd)ejfd*ejfd+ejfd,ejdfd-e#fd.efd/e#d0fd1e#d2fg d3ejfd,ejd4fd5ejd(fd6ejfgd7e j!fd8e j$d9fde j!d(fgd:e fd8e j$d9fd e d(fgd;e j$d(fde j$d(fde j$d(fd?eee j$d(fgd@Z%dAS)Brzq A lexer for the dependently typed programming language Idris. Based on the Haskell and Agda Lexer. Idriszhttps://www.idris-lang.org/idrisidrz*.idrz text/x-idris2.0)3r"r#r$rusingr%r&r(r)r*r+rewriteauto namespacecodatamutualprivatepublicabstracttotalpartial interfaceimplementationexportZcovering constructorr,Zproofr.r/Zstaticr1r2withpatterntermsyntaxprefix postulate parametersrecordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr3) liblinkflagrhidefreezeaccessrloggingZdynamicrkZerror_handlerslanguagez ^(\s*)(%({}))rBz((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r;^(\s*)([^\s(){}]+)(\s*)(:)(\s*)rA(import|module)(\s+)r?('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)\d+[eE][+-]?\d+\d+\.\d+([eE][+-]?\d+)?0[xX][\da-fA-F]+rcrGrHrIrJ [^\s(){}]+\s+?r8([A-Z][\w.]*)(\s+)(\()rQ [A-Z][\w.]*rO[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$r:rTrFrUrVrNrWrXrYrZr[z[^\\']r]r^r_r` \^[][A-Z@^_]rarbrd)rfr?rQr;rHrJr^N)&rgrhrirjrkrlrmrnrorprqrrZ directivesrwrxrrr rur rsrtrr{r r}r|r rr~rrrryrrrrrrrrrs                rc@sDeZdZdZdZdZdgZdgZdgZdZ dZ d e e e je eje fd ejfd ejd fd ejdfdde ejfde eje dfdejfdefdejfdejfdejfdejfdejfdejdfdedfde fde fgd ejfd ejd!fd"ejd#fd$ejfgd ejd fd%e d#fd&e fge!j"d e!j"de!j"de!j"d'd(Z"d)S)*rza For the Agda dependently typed functional programming language and proof assistant. Agdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpagdaz*.agdaz text/x-agdar)+rrZ coinductiverr$r%z eta-equalityfieldforallZhidingr)Z inductiveinfixinfixlinfixrr+Z interleavedr,macrorzno-eta-equalityopaqueopenZoverlaprrZ primitiverquoteZ quoteTermrZrenamingrrZtacticZ unfoldingunquoteZ unquoteDeclZ unquoteDefrvariabler1rrr9r:r;z\{!holerArBrr?z\b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rrrrcrGrHrIrJrrz[^!{}]+rYz!\}rOz[!{}]z[a-zA-Z][\w.\']*z [\W0-9_]+r^)rfrr?r;rHrJr^N)#rgrhrirjrkrlrmrnrorprqrrrr{r r}r rsrtZ Directiverwrxr rur|rr~rrrryr rrrrrrr!s\          rc@seZdZdZdZddgZdgZdgZdZdZ d Z d Z d e fd e jfd e jdfdejdfdejdfdejfdde ejfdejfdefdejfdejfdejfdejfdefdejfdejfdejfd ejfd!ejfd"ej d#fd$ed%fd&ejfd'ej!fd(e"fgd e fd$ed%fd)e"d*fd+efd,e#ej$e ee ed*fd-e#ej$e ee e"d.fd/e#ej$e e"d.fd0ej$d*fgd e fd/e#ej$e e"d.fd1ej$d*fgd e fd2ejfd3ejfd4e"fdefd5e"d6fd)e"d7fgd8e jfd e jd9fd:e jd*fd;e jfgdfd"ej d*fgd?efd=ej%d>fd$ed*fgd@ej%d*fdAej%d*fde ej%d*fdBej%d*fdCej%d*fd!ej%d*fdDe#e ej%d*fgdEZ&hdFZ'dGdHZ(dIS)JrzX FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. Cryptolcryptolcryz*.cryztext/x-cryptolhttps://www.cryptol.netr)ZArithZBitZCmpFalseZInfTruer&rZexternZfinr(r=infZlg2maxminr?r-Zpragmapropertyr/r0r1widthr3r8//.*$/\*r;r<r=r>r?r@rArBz^[_a-z][\w\']*z'?[_a-z][\w']*rrCrDrErFrrz 0[oO][0-7]+rrcrGrHrIrJrKrLrMrNrOrPz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rQrrRrrrrTrUrVrW[^/*]+rY\*/[*/]r\r]r^r_r`rrarbrdre>ASSERTtracesplitreverserxtailz<<<lengthregz<>errorZ transposerseqZ undefinedconstz>>>ccsRdg}t|||D]8\}}}|tur@||jvr@|tj|fVq|||fVqdS)Nrf)rget_tokens_unprocessedrEXTRA_KEYWORDSr)selftextstackindextokenvaluerrrrs  z#CryptolLexer.get_tokens_unprocessedN))rgrhrirjrkrmrnrorlrprqrrrr rsrtr rurrvrwrxr{r|r r}rr~rrrrryrrrrrrrrrrrrrjs    $             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__)rroptionsrrrrszLiterateLexer.__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%\latexbird)TexLexerz \end{code}z \begin{code})rgetlstripr finditergroupbird_rematchappendlenr Specialr Zpygments.lexers.markupr startswithlistrrr) rrstylecode insertionsrlinemrZlxlexerZ codelinesrrrrrsL           z$LiterateLexer.get_tokens_unprocessedN) rgrhrirjrecompilerrrrrrrrs rc@s8eZdZdZdZgdZdgZdgZdZdZ dd Z d S) raS 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. zLiterate Haskell)zliterate-haskelllhaskelllhsz*.lhsztext/x-literate-haskellz-https://wiki.haskell.org/Literate_programmingz0.9cKs&tfi|}tj||fi|dSr)rrrrrZhslexerrrrrEszLiterateHaskellLexer.__init__N rgrhrirjrkrmrnrorlrprrrrrr3s rc@s8eZdZdZdZgdZdgZdgZdZdZ dd Z d S) raQ 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. zLiterate Idris)zliterate-idrislidrislidrz*.lidrztext/x-literate-idrisz?https://idris2.readthedocs.io/en/latest/reference/literate.htmlrcKs&tfi|}tj||fi|dSr)rrrr rrrr\szLiterateIdrisLexer.__init__NrrrrrrJs rc@s8eZdZdZdZddgZdgZdgZdZdZ d d Z d S) ra: 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. z Literate Agdaz literate-agdalagdaz*.lagdaztext/x-literate-agdazEhttps://agda.readthedocs.io/en/latest/tools/literate-programming.htmlrcKs*tfi|}tj||fddi|dS)Nrr)rrr)rrZ agdalexerrrrrsszLiterateAgdaLexer.__init__Nrrrrrras rc@s8eZdZdZdZgdZdgZdgZdZdZ dd Z d S) raS 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. zLiterate Cryptol)zliterate-cryptollcryptollcryz*.lcryztext/x-literate-cryptolrrcKs&tfi|}tj||fi|dSr)rrr)rrZcrylexerrrrrszLiterateCryptolLexer.__init__Nrrrrrrxs rc@seZdZdZdZdZdgZddgZdgZdZ gd Z gd Z gd Z gd Z d ZdedZdZejZejZejZeddeedfdeeeedfdeeeedfdde deeeedfdeeeeeejfdeeeejeeeeeej fdedeeeeeej fdedeeeeeeeej fdde eej!fdde eefdde eej"fd eefd!eejefd"eejefd#edeejefd$ej#fd%e$j%d&fed'e&fd(e&fd)e'fd*e(j)fd+e(j*fd,e(j+fd-e$j,d.fd/e$j%d0fgd1efedgd2e'd3fedgd4ed5fed6gd7ed3fd4ed5fd8efd9eeeefed6geddde eefd:de ed;ed3fdeejefd?efe-d3g d@eee.j/fdAefdBe.j0dCfdDe.j1fgdEe.j0fdBe.j0dFfdGe.j0d3fdHe.j0fgdIe$j%fdJe$j2fd/e$j%d3fgdKe$j%fedLdMe$j%d3fgdNe$j,fedLdOe$j,d3fgdPe$j2fdQe$j2fdRe$j2fdSe$j2fgdT Z3dUS)Vrz& Lexer for the Koka language. Kokaz/https://koka-lang.github.io/koka/doc/index.htmlkokaz*.kkz*.kkiz text/x-kokaz1.6)"rrrr0cotyperectypealiasstructconZfunfunctionvalvarZexternalr(r/r&elifreturnrrrrr?r=asrinlineZrectryyieldenumrr+)r0rrrrr$)rexistsZsomer) forwhilerepeatZforeachzforeach-indexedrZcatchfinallycsjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?r0z(alias)(\s+)([a-z]\w*)? alias-typez(struct)(\s+)([a-z]\w*)? struct-typez({})rBz(\s+)([a-z]\w*)?z=(module)(\s+)(interface(?=\s))?(\s+)?((?:[a-z]\w*/)*[a-z]\w*)z`(import)(\s+)((?:[a-z]\w*/)*[a-z]\w*)(?:(\s*)(=)(\s*)(qualified)?(\s*)((?:[a-z]\w*/)*[a-z]\w*))?z>^(public|private)?(\s+)?(function|fun|val)(\s+)([a-z]\w*|\((?:z|/)\))zd^(?:(public|private)(?=\s+external))?((?|[=.]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]+rGcharrIrJ=z(?=\((?!,*\)))rOz[(\[<] type-nested type-contentz[)\]>]rTz([a-z]\w*)(\s*)(:)(?!:)z(?=(({})z))z[EPHVX]z[a-z][0-9]*(?![\w/])z((?:[a-z]\w*/)*)([a-z]\w+)z ::|->|[.:|]z (\n\s*)(#.*)$r8rr;rrrYrrz[^"]+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}) rfr1r2r0r7r8r0r;r3rJr5r9N)4rgrhrirjrkrlrmrnrorpkeywordsZtypeStartKeywordsZ typekeywordsbuiltinsymbolsZ sboundaryboundaryr AttributeZ tokenTypeClassZ tokenTypeDefrEmphZtokenConstructorrrr rrwrxrr{r|PseudoVariablerDoubler rrr~rrryrr Preprocrtrsrrrrrrrs             ?           r)%rjr Zpygments.lexerrrrrrrrr Zpygments.tokenr r r r rrrrrrpygmentsrrz__all__rrrrrrrrrrrrrrrs$ (0 oI @