o ѭ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@seZdZdZdZdZddgZdgZdgZdZ d Z d Z gd 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&fd 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)caseclassdatarderivingdoelsefamilyifin infix[lr]?instanceletnewtypeofthentypewhere_NULSOHz[SE]TXEOTENQACKBELBSHTLFVTFFCRzS[OI]DLEzDC[1-4]NAKSYNETBCANEMSUBESCz[FGRU]SSPDEL\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\']*),\(rdrd#pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+ x[\da-fA-F]+\d+ (\s+)(\\)rootrPrRrdrNr[r]rqN)+__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypes version_addedreservedasciirr Single Multiliner Reservedr ExceptionformatjoinrCharuniLlFunctionLuTyper WordrFloatBinOctHexIntegerBuiltinrr NamespaceEscapetokensrrT/var/www/html/CropPilot/venv/lib/python3.10/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.4ryz(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rzr{r|r}r~rrrrrr 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 interfaceimplementationexportcovering constructorr-proofr/r0staticr2r3withpatterntermsyntaxprefix postulate parametersrecorddsl impossibleimplicittacticsintrosintrocomputerefineexacttrivialr4) liblinkflagrhidefreezeaccessrloggingdynamicr~error_handlerslanguagez ^(\s*)(%({}))rUz((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)rN^(\s*)([^\s(){}]+)(\s*)(:)(\s*)rT(import|module)(\s+)rR('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)\d+[eE][+-]?\d+\d+\.\d+([eE][+-]?\d+)?0[xX][\da-fA-F]+rvrZr[r\r] [^\s(){}]+\s+?rK([A-Z][\w.]*)(\s+)(\()rd [A-Z][\w.]*rb[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$rMrgrYrhrirarjrkrlrmrnz[^\\']rprqrrrs \^[][A-Z@^_]rtrurw)ryrRrdrNr[r]rqN)&rzr{r|r}r~rrrrrrr directivesrrrrr rr rrrrr rrr rrrrrrrrrrrrrrrs                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)+rr coinductiverr$r&z eta-equalityfieldforallhidingr* inductiveinfixinfixlinfixrr, interleavedr-macrorzno-eta-equalityopaqueopenoverlaprr primitiverquote quoteTermrrenamingrrtactic unfoldingunquote unquoteDecl unquoteDefrvariabler2rrrLrMrNz\{!holerTrUrrRz\b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rrrrvrZr[r\r]rrz[^!{}]+rlz!\}rbz[!{}]z[a-zA-Z][\w.\']*z [\W0-9_]+rq)ryrrRrNr[r]rqN)#rzr{r|r}r~rrrrrrrrrrr rr rr Directiverrr rrrrrrrrr 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)ArithBitCmpFalseInfTruer'rexternfinr)rPinflg2maxminrRr.pragmapropertyr0r1r2widthr4rK//.*$/\*rNrOrPrQrRrSrTrUz^[_a-z][\w\']*z'?[_a-z][\w']*rrVrWrXrYrrz 0[oO][0-7]+rrvrZr[r\r]r^r_r`rarbrcz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rdrrerrrrgrhrirj[^/*]+rl\*/[*/]rorprqrrrsrrtrurwrx><<>><<<>>>parregseqrtailconsterrorsplittracerASSERTlengthreverse transpose undefinedccsTdg}t|||D]\}}}|tur!||jvr!|tj|fVq |||fVq dS)Nry)rget_tokens_unprocessedrEXTRA_KEYWORDSr)selftextstackindextokenvaluerrrr%s  z#CryptolLexer.get_tokens_unprocessedN))rzr{r|r}r~rrrrrrrrr rrr rrrrrrrr rrrrrrrrrrrrrrr&r%rrrrrjs    $            f rc@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|dS)N) baselexerr__init__)r'r.optionsrrrr/szLiterateLexer.__init__c cs|jd}|dur|dddvrdpd}d}g}|dkr\t|D]4}|}|j|}|rM|t |dt j |dfgf||d7}q&|t |dt |fgfq&ncdd l m}|d i|j} d} d} t|D]=}|}| r|d rd} | |7} qs||7}qs|d rd} | |7} |t |t| | fd} qs| |7} qs|t |t| | ft||j|EdHdS) Nlitstylerz%\latexbird)TexLexerz \end{code}z \begin{code}r)r0getlstripr finditergroupbird_rematchappendlenr Specialr pygments.lexers.markupr7 startswithlistr%rr.) r'r(stylecode insertionsr=linemr7lxlexer codelinesr3rrrr%sP           z$LiterateLexer.get_tokens_unprocessedN) rzr{r|r}recompiler<r/r%rrrrr-s   r-c@8eZdZdZdZgdZdgZdgZdZdZ 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.9cK&tdi|}tj||fi|dSNr)rr-r/r'r0hslexerrrrr/EzLiterateHaskellLexer.__init__N rzr{r|r}r~rrrrrr/rrrrr3  rc@rM) 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.htmlrcKrPrQ)rr-r/rRrrrr/\rTzLiterateIdrisLexer.__init__NrUrrrrrJrVrc@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*tdi|}tj||fddi|dS)Nr1r3r)rr-r/)r'r0 agdalexerrrrr/sszLiterateAgdaLexer.__init__NrUrrrrrarVrc@rM) 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-cryptolrrcKrPrQ)rr-r/)r'r0crylexerrrrr/rTzLiterateCryptolLexer.__init__NrUrrrrrxrVrc@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)"rrrr1cotyperectypealiasstructconfunfunctionvalvarexternalr)r0r'elifreturnr=rrrrRrPasrinlinerectryyieldenumrr,)r1r`rarbrcrq)rexistssomer) forwhilerepeatforeachzforeach-indexedrcatchfinallycsjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?r1z(alias)(\s+)([a-z]\w*)? alias-typez(struct)(\s+)([a-z]\w*)? struct-typez({})rUz(\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]+rZcharr\r]=z(?=\((?!,*\)))rbz[(\[<] type-nested type-contentz[)\]>]rgz([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*)(#.*)$rKrrNrrrlrrz[^"]+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}) ryrrr1rrrrNrr]rrN)4rzr{r|r}r~rrrrrkeywordstypeStartKeywords typekeywordsbuiltinsymbols sboundaryboundaryr Attribute tokenTypeClass tokenTypeDefrEmphtokenConstructorrrr rrrrrrPseudoVariablerDoubler rrrrrrrr Preprocrrrrrrrrrs             ?            r)%r}rKpygments.lexerrrrrrrrr pygments.tokenr r r r rrrrrrpygmentsrr__all__rrrrrr-rrrrrrrrrs& (0 oI @