o xiy@sdZddlZddlmZmZmZmZmZmZddl m Z m Z m Z m Z mZmZmZmZmZddlmZgdZedZGdd d eZGd d d eZGd d d eZGdddeZGdddeZGdddeZGdddeZGdddeZ GdddeZ!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@s.eZdZdZdZddgZdgZdgZej 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&ejd'fd(ed)fd*ejfd+ej%fd,e&fgd efd(ed)fd-e&d.fd/efd0ejd1ejd2e'ej(eeeed.fd0ejd3e'ej(eeee&d4fd0ejd5e'ej(ee&d4fd6ej(d.fgd efd0ejd5e'ej(ee&d4fd7ejd8ej(d.fgd efd7ejd9ejfd:ejd;ejfd ejfd ejd fdfd-e&d?fg d@ejfd ejdAfdBejd.fdCejfgdDejd.fdEej)dFfd&ejd.fgdGefdEej)dFfd(ed.fgdHej)d.fdIejdJej)d.fde ej)d.fdKej)d.fdLej)d.fd%ej)d.fdMej)d.fgdNZ*dOS)Przk A Haskell lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 0.8 Haskellhaskellhsz*.hsztext/x-haskell)caseclassdatarderivingdoelsefamilyifin infix[lr]?instanceletnewtypeofthentypewhere_NULSOHz[SE]TXEOTENQACKBELBSHTLFVTFFCRzS[OI]DLEzDC[1-4]NAKSYNETBCANEMSUBESCz[FGRU]SSPDEL\s+!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$\{-comment \bimport\bimport \bmodule\bmodule \berror\b\b(%s)(?!\')\b|z'[^\\]'z^[_z][\w\']*z'?[_z][\w']*z('')?[z(')[z (')\[[^\]]*\]z (')\([^)]*\)\\(?![:!#$%&*+.\\/<=>?@^|~-]+)+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+):[:!#$%&*+.\\/<=>?@^|~-]*[:!#$%&*+.\\/<=>?@^|~-]+\d+[eE][+-]?\d+\d+\.\d+([eE][+-]?\d+)? 0[oO][0-7]+0[xX][\da-fA-F]+\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]+\s+\\rootrLrNrerJr\r^rrN)+__name__ __module__ __qualname____doc__namealiases filenames mimetypesre MULTILINEUNICODEflagsreservedasciirr Single Multiliner Reservedr Exceptionjoinr CharuniLlFunctionLuTyper WordrFloatOctHexIntegerBuiltinrr NamespaceEscapetokensrrX/home/ubuntu/.local/lib/python3.10/site-packages/wandb/vendor/pygments/lexers/haskell.pyrs     (                rc@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 Idrisidrisidrz*.idrz text/x-idris).rrr rusingr"r#r%r&r'r(rewriteauto namespacecodatamutualprivatepublicabstracttotalpartialr)proofr+r,staticr.r/withpatterntermsyntaxprefix postulate parametersrecorddsl impossibleimplicittacticsintrosintrocomputerefineexacttrivialr0) liblinkflagrhidefreezeaccessrloggingdynamicr~error_handlerslanguagez ^(\s*)(%%%s)rQz((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)rJ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)rP(import|module)(\s+)rN('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)rVrWrYrZr[r\r]r^ [^\s(){}]+\s+?rG([A-Z][\w.]*)(\s+)(\()re [A-Z][\w.]*rc[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$rIrhrUrirjrbrkrlrmrnroz[^\\']rqrrrsrt \^[][A-Z@^_]rurvrw)ryrNrerJr\r^rrN)"rzr{r|r}r~rrrrr directivesrrrr rr rrr rr rrrrrrr rrrrrrrrrrs                  rc@s>eZdZdZdZdgZdgZdgZgdZde e e j e e je fdejfd ejd fd ejd fd deejfde eje dfdejfde fde jfdejfdejfdejfdejfdejdfdedfde fde fgdejfd ejdfd ejd!fd"ejfgd ejd fd#e d!fd$e fgejd ejdejdejd%d&Zd'S)(rz For the `Agda `_ dependently typed functional programming language and proof assistant. .. versionadded:: 2.0 Agdaagdaz*.agdaz text/x-agda)"rr coinductive constructorr fieldforallhidingr& inductiveinfixinfixlinfixrr(r)ropenrr primitiverquote quoteGoal quoteTermrrenamingrrtacticunquote unquoteDeclrr.rrrHrIrJz\{!holerPrQrrNz\b(Set|Prop)\bz (\(|\)|\{|\})u(\.{1,3}|\||Λ|∀|→|:|=|->)rVrWrYrZr[r\r]r^rrz[^!{}]+rmz!\}rcz[!{}]z[a-zA-Z][\w.]*z [\W0-9_]+rr)ryrrNrJr\r^rrN)rzr{r|r}r~rrrrrrr rr rr rr Directiverr rrrrrrr rrrrrrrr sR        rc@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 Cryptolcryptolcryz*.cryztext/x-cryptol)ArithBitCmpFalseInfTruer#exportexternfinr%rLinflg2maxminrNr*pragmapropertyr,r-r.widthr0rG//.*$/\*rJrKrLrMrNrOrPrQz^[_a-z][\w\']*z'?[_a-z][\w']*rrRrSrTrUrVrWrXrYrZr[r\r]r^r_r`rarbrcrdz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rerrfrrrrhrirjrk[^/*]+rm\*/[*/]rprqrrrsrtrrurvrwrx)rsplitreverse transposerlengthtailz<>z<<>>constregparseqASSERT undefinederrortraceccsTdg}t|||D]\}}}|tur!||jvr!|tj|fVq |||fVq dS)Nry)rget_tokens_unprocessedr EXTRA_KEYWORDSr)selftextstackindextokenvaluerrrrs  z#CryptolLexer.get_tokens_unprocessedN)'rzr{r|r}r~rrrrrrr rrr rr rrrrr rrrrrrr rrrrrrrsetrrrrrrrPs    $             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__)rroptionsrrrrszLiterateLexer.__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|D]} | VqdS) Nlitstylerz%\latexbird)TexLexerz \end{code}z \begin{code}r)rgetlstripline_refinditergroupbird_rematchappendlenr Specialrpygments.lexers.markupr# startswithlistrrr) rrstylecode insertionsr*linemr#lxlexer codelinesritemrrrrsT           z$LiterateLexer.get_tokens_unprocessedN) rzr{r|r}rcompiler)rrrrrrrs   rc@0eZdZdZdZgdZdgZdgZddZdS) 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 Haskell)lhszliterate-haskelllhaskellz*.lhsztext/x-literate-haskellcK&tdi|}tj||fi|dSNr)rrrrrhslexerrrrr,zLiterateHaskellLexer.__init__N rzr{r|r}r~rrrrrrrrr  rc@r:) 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 Idris)lidrzliterate-idrislidrisz*.lidrztext/x-literate-idriscKr=r>)rrrr?rrrrCrAzLiterateIdrisLexer.__init__NrBrrrrr1rCrc@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 Agdalagdaz literate-agdaz*.lagdaztext/x-literate-agdacKs*tdi|}tj||fddi|dS)Nrrr)rrr)rr agdalexerrrrrZszLiterateAgdaLexer.__init__NrBrrrrrHrCrc@r:) 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 Cryptol)lcryzliterate-cryptollcryptolz*.lcryztext/x-literate-cryptolcKr=r>)rrr)rrcrylexerrrrrqrAzLiterateCryptolLexer.__init__NrBrrrrr_rCrc@seZdZdZdZdgZddgZdgZgdZgdZ gd Z gd Z d Z d e d Z dZejZejZejZedde edfdeeeedfdeeeedfdde deeeedfdeeeeejfdeeeejeeeeejfde deeeejfde deeeeejfdde eejfddeeefdde eejfde efdeejefd eejefd!e deejefd"ej fd#e!j"d$fe d%e#fd&e#fd'e$fd(e%j&fd)e%j'fd*e%j(fd+e!j)d,fd-e!j"d.fgd/efedgd0e$d1fedgd2ed3fed4gd5ed1fd2ed3fd6efd7eeeefed4geddde eefd8deed9ed1fd:eefd;efd"ej fdeejefde+j,fd?efd@e+j-dAfdBe+j.fgdCe+j-fd@e+j-dDfdEe+j-d1fdFe+j-fgdGe!j"fdHe!j/fd-e!j"d1fgdIe!j"fedJdKe!j"d1fgdLe!j)fedJdMe!j)d1fgdNe!j/fdOe!j/fdPe!j/fdQe!j/fgdR Z0dSS)Trzc Lexer for the `Koka `_ language. .. versionadded:: 1.6 Kokakokaz*.kkz*.kkiz text/x-koka)"rrrr-cotyperectypealiasstructconfunfunctionvalvarexternalr%r,r#elifreturnr*rrrrNrLasrinlinerectryyieldenum interfacer()r-rMrNrOrPr^)rexistssomer) forwhilerepeatforeachzforeach-indexedrcatchfinallycsjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?r-z(alias)(\s+)([a-z]\w*)? alias-typez(struct)(\s+)([a-z]\w*)? struct-typez(%s)rQz(\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*#.*$rGrrJrrrmrrz[^"]+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}) ryrorpr-rurvrnrJrqr^rsrwN)1rzr{r|r}r~rrrkeywordstypeStartKeywords typekeywordsbuiltinsymbols sboundaryboundaryr Attribute tokenTypeClass tokenTypeDefrEmphtokenConstructorrrr rrrrrPseudoVariabler Doubler rrrrrrrr Preprocrrrrrrrrrvs               ?            r)#r}rpygments.lexerrrrrrrpygments.tokenrr r r r r rrrpygmentsrr__all__r9r&rrrrrrrrrrrrrrs& ,  nE A