a lc@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-2022 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!@sLeZdZdZdZdZddgZdgZdgZdZ d Z d 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$fg d 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\']*),\(rPrP#pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+ x[\da-fA-F]+\d+ (\s+)(\\)rootr<r>rPr:rGrIr]N))__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypesreservedasciirr Single Multiliner Reservedr ExceptionjoinrCharuniZLlFunctionZLuTyper WordrFloatBinOctHexIntegerBuiltinrr NamespaceEscapetokensrrS/var/www/html/django/DPS/env/lib/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 Hspechspecrez(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rfrgrhrirjrlrmrnrr 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.Zstaticr0r1withpatterntermsyntaxprefix postulate parametersrecordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr2) liblinkflagrhidefreezeaccessrloggingZdynamicrjZerror_handlerslanguagez^(\s*)(%%(%s))rAz((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r:^(\s*)([^\s(){}]+)(\s*)(:)(\s*)r@(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]+rbrFrGrHrI [^\s(){}]+\s+?r7([A-Z][\w.]*)(\s+)(\()rP [A-Z][\w.]*rN[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$r9rSrErTrUrMrVrWrXrYrZz[^\\']r\r]r^r_ \^[][A-Z@^_]r`rarc)rer>rPr:rGrIr]N)$rfrgrhrirjrkrlrmrnrorpZ directivesrurrr rsr rqrrr rxr rzryr rr{r~rrrvrrrrrrrrrs                 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-equalityopenoverlaprrZ primitiverquoteZ quoteTermrZrenamingrrZtacticunquoteZ unquoteDeclZ unquoteDefrvariabler0rrr8r9r:z\{!holer@rArr>z\b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rrrrbrFrGrHrIrrz[^!{}]+rXz!\}rNz[!{}]z[a-zA-Z][\w.\']*z [\W0-9_]+r])rerr>r:rGrIr]N)!rfrgrhrirjrkrlrmrnrorrr rxr rzr rqrrZ Directiverur rsryrr{r~rrrvr rrrrrrr&sZ          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.r/r0widthr2r7//.*$/\*r:r;r<r=r>r?r@rAz^[_a-z][\w\']*z'?[_a-z][\w']*rrBrCrDrErrz 0[oO][0-7]+rrbrFrGrHrIrJrKrLrMrNrOz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rPrrQrrrrSrTrUrV[^/*]+rX\*/[*/]r[r\r]r^r_rr`rarcrd>reverseseqregerrorrrulengthz<<<tracez<>constz>>>ASSERT undefinedsplitparZ transposetailccsRdg}t|||D]8\}}}|tur@||jvr@|tj|fVq|||fVqdS)Nre)rget_tokens_unprocessedr EXTRA_KEYWORDSr)selftextstackindextokenvaluerrrrs  z#CryptolLexer.get_tokens_unprocessedN)&rfrgrhrirjrlrmrnrorprr rqrrr rsr rtrurxryr rzrr{r}r~rrrvrrrrrrrrrrrrrps    $             frc@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|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%\latexbird)TexLexerz \end{code}z \begin{code})rgetlstripline_refinditergroupbird_rematchappendlenr Specialr Zpygments.lexers.markupr startswithlistrrr) rrstylecode insertionsrlinemrZlxlexerZ codelinesrrrrr sL           z$LiterateLexer.get_tokens_unprocessedN) rfrgrhrirecompilerrrrrrrrs 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-haskelllhaskelllhsz*.lhsztext/x-literate-haskellcKs&tfi|}tj||fi|dSr)rrrrrZhslexerrrrrKszLiterateHaskellLexer.__init__N rfrgrhrirjrlrmrnrrrrrr9s  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-idrislidrislidrz*.lidrztext/x-literate-idriscKs&tfi|}tj||fi|dSr)rrrr rrrrbszLiterateIdrisLexer.__init__Nr rrrrrPs  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*tfi|}tj||fddi|dS)Nrr)rrr)rrZ agdalexerrrrryszLiterateAgdaLexer.__init__Nr rrrrrgs  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-cryptollcryptollcryz*.lcryztext/x-literate-cryptolcKs&tfi|}tj||fi|dSr)rrr)rrZcrylexerrrrrszLiterateCryptolLexer.__init__Nr rrrrr~s  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)"rrrr/cotyperectypealiasstructconZfunfunctionvalvarZexternalr'r.r%elifreturnrrrrr>r<asrinlineZrectryyieldenumrr*)r/rrrrr")rexistsZsomer) forwhilerepeatZforeachzforeach-indexedrZcatchfinallycsjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?r/z(alias)(\s+)([a-z]\w*)? alias-typez(struct)(\s+)([a-z]\w*)? struct-typez(%s)rAz(\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]+rFcharrHrI=z(?=\((?!,*\)))rNz[(\[<] type-nested type-contentz[)\]>]rSz([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*)(#.*)$r7rr:rrrXrrz[^"]+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}) rer/r0r/r5r6r.r:r1rIr3r7N)2rfrgrhrirjrkrlrmrnkeywordsZtypeStartKeywordsZ typekeywordsbuiltinsymbolsZ sboundaryboundaryr AttributeZ tokenTypeClassZ tokenTypeDefrEmphZtokenConstructorrrr rrurrxryPseudoVariablerDoubler rrr{r~rrvrr Preprocrrrqrrrrrrrs              ?           r)&rirZpygments.lexerrrrrrrrZpygments.tokenr r r r r rrrrrpygmentsrrw__all__rrrrrrrrrrrrrrrrrs& $0  pJ @