U 祡c @sBdZddlZddlmZmZmZmZmZmZm Z ddl m Z m Z m Z mZmZmZmZmZmZmZddlmZdddd d d d d ddg ZedZGdddeZGdddeZGdddeZGdd d eZGdd d eZGdddeZ Gdd d e Z!Gdd d e Z"Gdd d e 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 ZHaskellzhttps://www.haskell.org/ZhaskellZhsz*.hsztext/x-haskell)caseclassdatarZderivingdoelsefamilyifin infix[lr]?instanceletnewtypeofthentypewhere_NULZSOHz[SE]TXZEOTZENQZACKBELZBSZHTZLFVTZFFCRzS[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\']*),\(rNrN#pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+ x[\da-fA-F]+\d+ (\s+)(\\)rootr:r<rNr8rErGr[N))__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypesreservedasciirr Single Multiliner Reservedr ExceptionjoinrCharuniZLlFunctionZLuTyper WordrFloatZBinOctHexIntegerBuiltinrr NamespaceEscapetokensrr;/tmp/pip-unpacked-wheel-6wad6tea/pygments/lexers/haskell.pyrs    -                 c@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 ZHspecZhspecrcz(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rdrerfrgrhrjrkrlrr rrZDocrrrrrrrsc@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 ZIdriszhttps://www.idris-lang.org/ZidrisZidrz*.idrz text/x-idris)3rrr rusingr!r"r$r%r&r'rewriteauto namespacecodatamutualprivatepublicabstracttotalpartial interfaceimplementationexportZcovering constructorr(Zproofr*r+Zstaticr-r.withpatternZtermsyntaxprefix postulate parametersrecordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr/) liblinkflagrZhidefreezeaccessrloggingZdynamicrhZerror_handlerslanguagez^(\s*)(%%(%s))r?z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r8^(\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]+r`rDrErFrG [^\s(){}]+\s+?r5([A-Z][\w.]*)(\s+)(\()rN [A-Z][\w.]*rL[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$r7rQrCrRrSrKrTrUrVrWrXz[^\\']rZr[r\r] \^[][A-Z@^_]r^r_ra)rcr<rNr8rErGr[N)$rdrerfrgrhrirjrkrlrmrnZ directivesrsrrr rqr rorpr rvr rxrwr rryr{r|rrtr~rrrrrrrrs                  c@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 ZAgdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpZagdaz*.agdaz text/x-agda))rrZ coinductiverr r!z eta-equalityfieldforallZhidingr%Z inductiveinfixinfixlinfixrr'Z interleavedr(macrorzno-eta-equalityopenoverlaprrZ primitiverquoteZ quoteTermrZrenamingrrZtacticunquoteZ unquoteDeclZ unquoteDefrvariabler-rrr6r7r8z\{!holer>r?rr<z\b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rrrr`rDrErFrGrrz[^!{}]+rVz!\}rLz[!{}]z[a-zA-Z][\w.\']*z [\W0-9_]+r[)rcrr<r8rErGr[N)!rdrerfrgrhrirjrkrlrmrrr rvr rxr rorpZ Directiversr rqrwrryr{r|rrtr rrrrrrr&s\          c@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#dDdEdFdGdHdIdJdKdLdMdNdOdPdQdRdSdTdUdVhZ$dWdXZ%dYS)Zrzs FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 2.0 ZCryptolZcryptolZcryz*.cryztext/x-cryptol)ZArithZBitZCmpFalseZInfTruer"rexternZfinr$r:infZlg2maxminr<r)Zpragmapropertyr+r,r-widthr/r5//.*$/\*r8r9r:r;r<r=r>r?z^[_a-z][\w\']*z'?[_a-z][\w']*rr@rArBrCrrz 0[oO][0-7]+rr`rDrErFrGrHrIrJrKrLrMz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rNrrOrrrrQrRrSrT[^/*]+rV\*/[*/]rYrZr[r\r]rr^r_rarbrssplitreverseZ transposerlengthtailz<>z<<>>constregparseqASSERTZ undefinederrortraceccsRdg}t|||D]8\}}}|tkr@||jkr@|tj|fVq|||fVqdS)Nrc)rget_tokens_unprocessedr EXTRA_KEYWORDSr})selftextstackindextokenvaluerrrrs  z#CryptolLexer.get_tokens_unprocessedN)&rdrerfrgrhrjrkrlrmrnrr rorpr rqr rrrsrvrwr rxrryrzr{r|rrtr}rrr~rrrrrrrrrps    $               f c@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|f|dSN) baselexerr__init__)rroptionsrrrrszLiterateLexer.__init__c cs|jd}|dkr0|dddkr,dp.d}d}g}|dkrt|D]h}|}|j|}|r|t |dt j |dfgf||d7}qJ|t |dt |fgfqJndd l m}|f|j} d} d} t|D]}|}| r|d rd} | |7} n||7}q|d rXd} | |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) rrstylecodeZ insertionsrlinemrZlxlexerZ codelinesrrrrr sL            z$LiterateLexer.get_tokens_unprocessedN) rdrerfrgrecompilerrrrrrrrs rc@s2eZdZdZdZdddgZdgZdgZdd Zd S) 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 Haskellzliterate-haskellZlhaskelllhsz*.lhsztext/x-literate-haskellcKstf|}tj||f|dSr)rrrrrZhslexerrrrrKs zLiterateHaskellLexer.__init__N rdrerfrgrhrjrkrlrrrrrr9s   c@s2eZdZdZdZdddgZdgZdgZdd Zd S) 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 Idriszliterate-idrisZlidrisZlidrz*.lidrztext/x-literate-idriscKstf|}tj||f|dSr)rrrrrrrrbs zLiterateIdrisLexer.__init__NrrrrrrPs   c@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&tf|}tj||fddi|dS)Nrr)rrr)rrZ agdalexerrrrrys zLiterateAgdaLexer.__init__Nrrrrrrgs  c@s2eZdZdZdZdddgZdgZdgZdd Zd S) 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 Cryptolzliterate-cryptolZlcryptolZlcryz*.lcryztext/x-literate-cryptolcKstf|}tj||f|dSr)rrr)rrZcrylexerrrrrs zLiterateCryptolLexer.__init__Nrrrrrr~s   c"@seZdZdZdZdZdgZddgZdgZdd d d d d dddddddddddddddddddd d!d"d#d$d%d&d'd(g"Z d d d ddd&gZ d)d*d+d,gZ d-d.d/d0d1d2d3d4d5d6d7d8d9g Z d:Z d;e d<Zd=ZejZejZejZed>d?eed fd@eeeedAfdBeeeedCfdDdEe dFeeeed fdGeeeeeejfdHeeeejeeeeeej fdIe dJeeeeeejfdKe dJeeeeeeeejfdDdEe eejfdDdEe eefdDdEe eej fdLeefdMeejefdNeejefdOe dJeejefdPej!fdQe"j#dRfe dSe$fdTe$fdUe%fdVe&j'fdWe&j(fdXe&j)fdYe"j*dZfd[e"j#d\fgd]efed gd^e%d_fed gd`edafedbgdced_fd`edafddefdeeeeefedbged>dDdEe eefdfdEe edged_fdheefdiefdPej!fdMeejefdjeejefdkefe+d_g dleee,j-fdmefdne,j.dofdpe,j/fgdqe,j.fdne,j.drfdse,j.d_fdte,j.fgdue"j#fdve"j0fd[e"j#d_fgdwe"j#fedxdye"j#d_fgdze"j*fedxd{e"j*d_fgd|e"j0fd}e"j0fd~e"j0fde"j0fgd Z1dS)rzA Lexer for the Koka language. .. versionadded:: 1.6 ZKokaz/https://koka-lang.github.io/koka/doc/index.htmlZkokaz*.kkz*.kkiz text/x-kokarrrr,ZcotypeZrectypealiasstructconZfunfunctionvalvarZexternalr$r+r"elifreturnrrrr<r:asrinlineZrectryyieldenumrr'rexistsZsomerforwhilerepeatZforeachzforeach-indexedrZcatchfinallycsZjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?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]+rDcharrFrG=z(?=\((?!,*\)))rLz[(\[<] type-nested type-contentz[)\]>]rQz([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*)(#.*)$r5rr8rrrVrrz[^"]+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}) rcrrr,rrrr8rrGrrN)2rdrerfrgrhrirjrkrlkeywordsZtypeStartKeywordsZ typekeywordsbuiltinsymbolsZ sboundaryboundaryr Attribute tokenTypeZClassZ tokenTypeDefrZEmphZtokenConstructorrrr rrsr~rvrwZPseudoVariablerDoubler rrryr{r|rtrr ZPreprocrprorrrrrrrs              ?           )&rgrZpygments.lexerrrrrrrrZpygments.tokenr r r r r rrrrrZpygmentsrru__all__rrrrrrrrrrrrrrrrrs2 $0   pJ @