o Rh@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-2025 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 ejfdejfdejdejfdejdefdejdejfdejdejfdejfdejfdejfd ejfd!ejfd"ejfd#efd$ej fd%ej fd&ej fd'ej fd(ej!fd)ej"fd*ej#fd+ej$fd,ejd-fd.ed/fd0ejfd1ej%fd2e&fd e fd.ed/fd3e&d4fd5efd6ejd7ejd8e'ej(e ee ed4fd6ejd9e'ej(e ee e&d:fd6ejd;e'ej(e e&d:fdej(d4fgd e fd=ejd?ejfd@ejdAejfd e jfd e jdfdBe&fd#efdCe&dDfd3e&dEfg dFe jfd e jdGfdHe jd4fdIe jfgdJejd4fdKej)dLfd,ejd4fgdMefdKej)dLfd.ed4fgdNej)d4fdOejdPej)d4fde ej)d4fdQej)d4fdRej)d4fdSej)d4fdTe'e ej)d4fgdUZ*dVS)WrzP 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][\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 NamespaceEscapetokensrrY/home/air/sanwanet/backup_V2/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%rrrrris    $            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/DzLiterateHaskellLexer.__init__N rzr{r|r}r~rrrrrr/rrrrr2  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__NrUrrrrrIrVrc@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/rszLiterateAgdaLexer.__init__NrUrrrrr`rVrc@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__NrUrrrrrwrVrc@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 @