a ;@b@s2dZddlZddlmZmZmZmZmZmZm Z ddl m Z m Z m Z mZmZmZmZmZmZmZddlmZgdZedZGdd d eZGd d d eZGd d d eZGdddeZGdddeZGdddeZ Gddde Z!Gddde Z"Gddde Z#Gddde Z$GdddeZ%dS)z pygments.lexers.haskell ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Haskell and related languages. :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. N)Lexer RegexLexerbygroups do_insertionsdefaultincludeinherit) TextCommentOperatorKeywordNameStringNumber PunctuationGeneric Whitespace) unistring) HaskellLexer HspecLexer IdrisLexer AgdaLexer CryptolLexerLiterateHaskellLexerLiterateIdrisLexerLiterateAgdaLexerLiterateCryptolLexer KokaLexerz.*? c!@sTeZdZdZdZddgZdgZdgZej ej BZ dZ dZ d efd ejfd ejd fd ejdfdejdfdejfdde ejfdejfdejdejfdejdefdejdejfdejdejfdejfdejfdejfdejfdejfd ejfd!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&fd0e'fg d efd,ed-fd1e'd2fd3efd4ejd5ejd6e(ej)eeeed2fd4ejd7e(ej)eeee'd8fd4ejd9e(ej)ee'd8fd:ej)d2fgd efd4ejd9e(ej)ee'd8fd;ejd<ej)d2fgd efd;ejd=ejfd>ejd?ejfd ejfd ejd fd@e'fd!efdAe'dBfd1e'dCfg dDejfd ejdEfdFejd2fdGejfgdHejd2fdIej*dJfd*ejd2fgdKefdIej*dJfd,ed2fgdLej*d2fdMejdNej*d2fde ej*d2fdOej*d2fdPej*d2fdQej*d2fdRe(eej*d2fgdSZ+dTS)Urzk A Haskell lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 0.8 ZHaskellZhaskellZhsz*.hsztext/x-haskell)caseclassdatarZderivingdoelseZfamilyifin infix[lr]?instanceletnewtypeofthentypewhere_NULZSOHz[SE]TXZEOTZENQZACKZBELZBSZHTZLFVTZFFZCRzS[OI]ZDLEzDC[1-4]ZNAKZSYNZETBZCANZEMZSUBZESCz[FGRU]SZSPZDEL\s+!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$\{-comment \bimport\bimport \bmodule\bmodule \berror\b\b(%s)(?!\')\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\']*),\(rJrJ#pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+ x[\da-fA-F]+\d+ (\s+)(\\)rootr6r8rJr4rArCrWN),__name__ __module__ __qualname____doc__namealiases filenames mimetypesre MULTILINEUNICODEflagsreservedasciirr Single Multiliner Reservedr ExceptionjoinrCharuniZLlFunctionZLuTyper WordrFloatZBinOctHexIntegerBuiltinrr NamespaceEscapetokensrr6lib/python3.9/site-packages/pygments/lexers/haskell.pyrs     -               rc@s\eZdZdZdZdgZgZgZddee e e j fdee e e j fdee e e j fe giZdS) rzY A Haskell lexer with support for Hspec constructs. .. versionadded:: 2.4.0 ZHspecZhspecr_z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)r`rarbrcrdrerfrgrr rrZDocrrrrrrrsrc@s0eZdZdZdZddgZdgZdgZdZdZ d Z d d e e e ejfd e e ejfd e e ejfde e ejdfde e eje eje fdd eejfde eje dfdejfdefdejfdejfdejfdejfdejfdejfdejdfdedfd efd!e fgd"e fd#e eje e d$fd%ejd&fgd"e fd'ejfd(ejfd)ejfd*ejdfd+e fd,efd-e d.fd/e d0fg 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)3rrr rusingr!r"r#r$r%r&rewriteauto namespacecodatamutualprivatepublicabstracttotalpartial interfaceimplementationexportZcovering constructorr'Zproofr)r*Zstaticr,r-withpatternZtermsyntaxprefix postulate parametersrecordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr.) liblinkflagrhideZfreezeaccessrloggingZdynamicrdZerror_handlerslanguagez^(\s*)(%%(%s))r;z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r4^(\s*)([^\s(){}]+)(\s*)(:)(\s*)r:(import|module)(\s+)r8('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)\d+[eE][+-]?\d+\d+\.\d+([eE][+-]?\d+)?0[xX][\da-fA-F]+r\r@rArBrC [^\s(){}]+\s+?r1([A-Z][\w.]*)(\s+)(\()rJ [A-Z][\w.]*rH[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$r3rMr?rNrOrGrPrQrRrSrTz[^\\']rVrWrXrY \^[][A-Z@^_]rZr[r])r_r8rJr4rArCrWN)#r`rarbrcrdrerfrgrlrmZ directivesrrrrr rpr rnror rur rwrvr rrxrzr{rrsr}rr~rrrrrrs                 rc@s>eZdZdZdZdgZdgZdgZgdZde e e j e e je fdejfd ejd fd ejd fd deejfde eje dfdejfde fde jfdejfdejfdejfdejfdejdfdedfdefde fgdejfd ejdfd ejd!fd"ejfgd ejd fd#e d!fd$efgejd ejdejdejd%d&Zd'S)(rz For the `Agda `_ dependently typed functional programming language and proof assistant. .. versionadded:: 2.0 ZAgdaZagdaz*.agdaz text/x-agda)"rrZ coinductiverr ZfieldforallZhidingr$Z inductiveinfixinfixlinfixrr&r'ropenrrZ primitiverquoteZ quoteGoalZ quoteTermrZrenamingrrZtacticunquoteZ unquoteDeclrr,rrr2r3r4z\{!holer:r;rr8z\b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rrrr\r@rArBrCrrz[^!{}]+rRz!\}rHz[!{}]z[a-zA-Z][\w.]*z [\W0-9_]+rW)r_rr8r4rArCrWN) r`rarbrcrdrerfrgrlrrr rur rwr rnroZ Directiverrr rprvrrxrzr{rrsr rrrrrrr&sP       rc@seZdZdZdZddgZdgZdgZdZdZ 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(fdBe e ej"d(fgdCZ#hdDZ$dEdFZ%dGS)Hrzs FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 2.0 ZCryptolZcryptolZcryz*.cryztext/x-cryptol)ZArithZBitZCmpFalseZInfTruer"rZexternZfinr#r6infZlg2maxminr8r(Zpragmapropertyr*r+r,widthr.r1//.*$/\*r4r5r6r7r8r9r:r;z^[_a-z][\w\']*z'?[_a-z][\w']*rr<r=r>r?rrz 0[oO][0-7]+rr\r@rArBrCrDrErFrGrHrIz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rJrrKrrrrMrNrOrP[^/*]+rR\*/[*/]rUrVrWrXrYrrZr[r]r^>reverseZregrerrorlengthZ transposeZ undefinedconstASSERTz>>>tailz>>z<"). 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%\latexZbird)TexLexerz \end{code}z \begin{code})rgetlstripline_refinditergroupbird_rematchappendlenr Specialr Zpygments.lexers.markupr startswithlistrrr) rrZstylecodeZ insertionsrlinemrZlxlexerZ codelinesrrrrrsL           z$LiterateLexer.get_tokens_unprocessedN) r`rarbrcrhcompilerrrrrrrrs rc@s0eZdZdZdZgdZdgZdgZddZdS) 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)zliterate-haskellZlhaskellZlhsz*.lhsztext/x-literate-haskellcKs&tfi|}tj||fi|dSr)rrrrrZhslexerrrrrFszLiterateHaskellLexer.__init__N r`rarbrcrdrerfrgrrrrrr4s  rc@s0eZdZdZdZgdZdgZdgZddZdS) 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)zliterate-idrisZlidrisZlidrz*.lidrztext/x-literate-idriscKs&tfi|}tj||fi|dSr)rrrrrrrr]szLiterateIdrisLexer.__init__NrrrrrrKs  rc@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 Agdaz literate-agdaZlagdaz*.lagdaztext/x-literate-agdacKs*tfi|}tj||fddi|dS)Nrr)rrr)rrZ agdalexerrrrrtszLiterateAgdaLexer.__init__Nrrrrrrbs  rc@s0eZdZdZdZgdZdgZdgZddZdS) 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)zliterate-cryptolZlcryptolZlcryz*.lcryztext/x-literate-cryptolcKs&tfi|}tj||fi|dSr)rrr)rrZcrylexerrrrrszLiterateCryptolLexer.__init__Nrrrrrrys  rc@seZdZdZdZdgZddgZdgZgdZgdZ gd Z gd Z d Z d e d Z dZejZejZejZedde edfdeeeedfdeeeedfdde deeeedfdeeeeeejfdeeeejeeeeeej fde deeeeeejfde deeeeeeeejfdde 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 fdeejefdeee+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 ZKokaZkokaz*.kkz*.kkiz text/x-koka)"rrrr+cotyperectypealiasstructZconZfunfunctionvalvarZexternalr#r*r"elifreturnrrrrr8r6asrZinlineZrectryyieldenumrr&)r+rrrrr)rexistsZsomer) forwhilerepeatZforeachzforeach-indexedrZcatchfinallycsZjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?r+z(alias)(\s+)([a-z]\w*)? alias-typez(struct)(\s+)([a-z]\w*)? struct-typez(%s)r;z(\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]+r@charrBrC=z(?=\((?!,*\)))rHz[(\[<] type-nested type-contentz[)\]>]rMz([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*)(#.*)$r1rr4rrrRrrz[^"]+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}) r_rrr+r r rr4rrCr rN)1r`rarbrcrdrerfrgkeywordsZtypeStartKeywordsZ typekeywordsZbuiltinZsymbolsZ sboundaryboundaryr Z AttributeZ tokenTypeZClassZ tokenTypeDefrZEmphZtokenConstructorrrr rrrr}rurvZPseudoZVariablerDoubler rrrxrzr{rsrr ZPreprocrornr~rrrrrrs              ?           r)&rcrhZpygments.lexerrrrrrrrZpygments.tokenr r r r r rrrrrZpygmentsrrt__all__rrrrrrrrrrrrrrrrrs& $0  oE @