o Zh@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-2023 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 gd e fd e j fd e jd fdejdfdejdfdejfdde ejfdejfdejdejfdejdefdejdejfdejdejfdejfdejfdejfdejfd ejfd!ejfd"efd#ejfd$ejfd%ejfd&ejfd'ejfd(ej fd)ej!fd*ej"fd+ejd,fd-ed.fd/ejfd0ej#fd1e$fd e fd-ed.fd2e$d3fd4efd5ejd6ejd7e%ej&e ee ed3fd5ejd8e%ej&e ee e$d9fd5ejd:e%ej&e e$d9fd;ej&d3fgd e fd5ejd:e%ej&e e$d9fdejfd?ejd@ejfd e j fd e jd fdAe$fd"efdBe$dCfd2e$dDfg dEe jfd e jdFfdGe jd3fdHe jfgdIejd3fdJej'dKfd+ejd3fgdLefdJej'dKfd-ed3fgdMej'd3fdNejdOej'd3fde ej'd3fdPej'd3fdQej'd3fdRej'd3fdSe%e ej'd3fgdTZ(dUS)Vrzk A Haskell lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 0.8 Haskellzhttps://www.haskell.org/haskellhsz*.hsztext/x-haskell)caseclassdatarZderivingdoelsefamilyifin infix[lr]?instanceletnewtypeofthentypewhere_NULZSOHz[SE]TXZEOTZENQZACKZBELZBSZHTZLFVTZFFCRzS[OI]ZDLEzDC[1-4]ZNAKZSYNZETBZCANZEMZSUBZESCz[FGRU]SSPZDEL\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\']*),\(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 mimetypesreservedasciirr Single Multiliner Reservedr ExceptionjoinrCharuniZLlFunctionZLuTyper WordrFloatBinOctHexIntegerBuiltinrr NamespaceEscapetokensrrN/var/www/html/lang_env/lib/python3.10/site-packages/pygments/lexers/haskell.pyrs        !" $%'()-               rc@s^eZdZdZdZdgZdgZgZddee e e j fdee e e j fdee e e j fe giZd S) rzY A Haskell lexer with support for Hspec constructs. .. versionadded:: 2.4.0 Hspechspecz*Spec.hsrfz(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rgrhrirjrkrmrnrorr rrDocrrrrrrrsrc@s4eZdZdZdZdZddgZdgZdgZdZ d Z d Z d d e e eejfd e eejfde eejfde eejdfde eejeejefdd e ejfde ejedfdejfdefdejfdejfdejfdejfdejfdejfdejdfded fd!efd"efgd#efd$e ej ee!d%fd&ej d'fgd#efd(ejfd)ejfd*ejfd+ejdfd,e!fd-efd.e!d/fd0e!d1fg d2ejfd+ejd3fd4ejd'fd5ejfgd6ejfd7ej"d8fdejd'fgd9efd7ej"d8fded'fgd:ej"d'fd;ej"d'fd e ej"d'fde eej"d'fgd?Z#d@S)Arz A lexer for the dependently typed programming language Idris. Based on the Haskell and Agda Lexer. .. versionadded:: 2.0 Idriszhttps://www.idris-lang.org/idrisidrz*.idrz text/x-idris)3r"r#r$rusingr%r&r(r)r*r+rewriteauto namespacecodatamutualprivatepublicabstracttotalpartial interfaceimplementationexportZcovering constructorr,Zproofr.r/Zstaticr1r2withpatterntermsyntaxprefix postulate parametersrecordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr3) liblinkflagrhidefreezeaccessrloggingZdynamicrkZerror_handlerslanguagez^(\s*)(%%(%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)$rgrhrirjrkrlrmrnrorprqZ directivesrvrrr rtr rrrsrryr r{rzr rr|rrrrwrrrrrrrrrs                 rc@s>eZdZdZdZdZdgZdgZdgZdZ de e e j e eje fd ejfd ejd fd ejd fdde ejfde eje dfdejfdefdejfdejfdejfdejfdejfdejdfdedfdefde fgdejfd ejd fd!ejd"fd#ejfgd ejd fd$e d"fd%efgej d ej dej dej d&d'Z d(S))rz| For the Agda dependently typed functional programming language and proof assistant. .. versionadded:: 2.0 Agdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpagdaz*.agdaz text/x-agda))rrZ coinductiverr$r%z eta-equalityfieldforallZhidingr)Z inductiveinfixinfixlinfixrr+Z interleavedr,macrorzno-eta-equalityopenZoverlaprrZ primitiverquoteZ quoteTermrZrenamingrrZtacticunquoteZ 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)!rgrhrirjrkrlrmrnrorprrrryr r{r rrrsZ Directivervr rtrzrr|rrrrwr rrrrrrr#s\         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 Cryptolcryptolcryz*.cryztext/x-cryptol)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>tailrsplitZparreversez>>>Z undefinedlengthregtracez>>constz<<<ASSERTZ transposez<"). 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|EdHdS) Nlitstylerz%\latexbird)TexLexerz \end{code}z \begin{code}r)rgetlstripr finditergroupbird_rematchappendlenr Specialr Zpygments.lexers.markupr startswithlistrrr) rrstylecode insertionsrlinemrZlxlexerZ codelinesrrrrr sP           z$LiterateLexer.get_tokens_unprocessedN) rgrhrirjrecompilerrrrrrrrs   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)zliterate-haskelllhaskelllhsz*.lhsztext/x-literate-haskellcK&tdi|}tj||fi|dSNr)rrrrrZhslexerrrrrHzLiterateHaskellLexer.__init__N rgrhrirjrkrmrnrorrrrrr6  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)zliterate-idrislidrislidrz*.lidrztext/x-literate-idriscKrr )rrrr rrrr_r zLiterateIdrisLexer.__init__Nr rrrrrMr 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-agdalagdaz*.lagdaztext/x-literate-agdacKs*tdi|}tj||fddi|dS)Nrrr)rrr)rrZ agdalexerrrrrvszLiterateAgdaLexer.__init__Nr rrrrrdr rc@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)zliterate-cryptollcryptollcryz*.lcryztext/x-literate-cryptolcKrr )rrr)rrZcrylexerrrrrr zLiterateCryptolLexer.__init__Nr rrrrr{r rc@seZdZdZdZdZdgZddgZdgZgdZ gd Z gd Z gd Z d Z d e dZdZejZejZejZeddeedfdeeeedfdeeeedfdde deeeedfdeeeeeejfdeeeejeeeeeej fde deeeeeejfde deeeeeeeejfdde eejfdde eefdde eej fdeefd eejefd!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/fgd0efedgd1e%d2fedgd3ed4fed5gd6ed2fd3ed4fd7efd8eeeefed5geddde eefd9de ed:ed2fd;eefdefe+d2g d?eee,j-fd@efdAe,j.dBfdCe,j/fgdDe,j.fdAe,j.dEfdFe,j.d2fdGe,j.fgdHe"j#fdIe"j0fd.e"j#d2fgdJe"j#fedKdLe"j#d2fgdMe"j*fedKdNe"j*d2fgdOe"j0fdPe"j0fdQe"j0fdRe"j0fgdS Z1dTS)UrzA Lexer for the Koka language. .. versionadded:: 1.6 Kokaz/https://koka-lang.github.io/koka/doc/index.htmlkokaz*.kkz*.kkiz text/x-koka)"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(%s)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(?=((%s)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}) rfr0r1r0r6r7r/r;r2rJr4r8N)2rgrhrirjrkrlrmrnrokeywordsZtypeStartKeywordsZ typekeywordsbuiltinsymbolsZ sboundaryboundaryr AttributeZ tokenTypeClassZ tokenTypeDefrEmphZtokenConstructorrrr rrvrryrzPseudoVariablerDoubler rrr|rrrwrr Preprocrsrrrrrrrrrs              ?            r)%rjrZpygments.lexerrrrrrrrr Zpygments.tokenr r r r rrrrrrpygmentsrrx__all__rrrrrrrrrrrrrrrs& (0 pJ @