Cc[Tc @sdZddlZddlmZmZmZmZmZmZddl m Z m Z m Z m Z mZmZmZmZmZddlmZdddd d d d d dg ZejdZdefdYZdefdYZdefdYZd efdYZdefdYZd efdYZd efdYZd efdYZ d efdYZ!defdYZ"dS(s pygments.lexers.haskell ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Haskell and related languages. :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. iN(tLexert RegexLexertbygroupst do_insertionstdefaulttinclude( tTexttCommenttOperatortKeywordtNametStringtNumbert PunctuationtGeneric(t unistringt HaskellLexert IdrisLexert AgdaLexert CryptolLexertLiterateHaskellLexertLiterateIdrisLexertLiterateAgdaLexertLiterateCryptolLexert KokaLexers.*? cBsqeZdZdZddgZdgZdgZejej BZ dtZ duZ id2e fd3ejfd4ejd5fd6ejd7fd8ejd9fd:ejfd;d<je ejfd=ejfd>ejd?ejfd@ejdAefdBejd?ejfdCejfdDejfdEejfdFefdGej fdHej fdIej!fdJej"fdKej#fdLejdMfdNedOfdPejfdQej$fdRe%fgdS6d2e fdNedOfdTe%dUfdVefdWejdXejdYe&ej'e ee edUfdWejdZe&ej'e ee e%d[fdWejd\e&ej'e e%d[fd]ej'dUfgd76d2e fdWejd\e&ej'e e%d[fd^ejd_ej'dUfgd96d2e fd^ejd`ejfdaejdbejfd3ejfd4ejd5fdce%fdFefdde%dvfdTe%defg d[6dfejfd4ejdgfdhejdUfdiejfgd56djejdUfdkej(dlfdLejdUfgdM6dmefdkej(dlfdNedUfgdO6dnej(dUfdoejdpej(dUfd<je ej(dUfdqej(dUfdrej(dUfdKej(dUfdsej(dUfgdl6Z)RS(wsk A Haskell lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 0.8 tHaskellthaskellthss*.hsstext/x-haskelltcasetclasstdataRtderivingtdotelsetiftins infix[lr]?tinstancetlettnewtypetoftthenttypetwheret_tNULtSOHs[SE]TXtEOTtENQtACKtBELtBStHTtLFtVTtFFtCRsS[OI]tDLEsDC[1-4]tNAKtSYNtETBtCANtEMtSUBtESCs[FGRU]StSPtDELs\s+s!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$s\{-tcomments \bimport\btimports \bmodule\btmodules \berror\bs\b(%s)(?!\')\bt|s'[^\\]'s^[_s][\w\']*s'?[_s][\w']*s('')?[s\\(?![:!#$%&*+.\\/<=>?@^|~-]+)s+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+)s:[:!#$%&*+.\\/<=>?@^|~-]*s[:!#$%&*+.\\/<=>?@^|~-]+s\d+[eE][+-]?\d+s\d+\.\d+([eE][+-]?\d+)?s 0[oO][0-7]+s0[xX][\da-fA-F]+s\d+t't charactert"tstrings\[\]s\(\)s [][(),;`{}]troots\)s#pops qualified\bs([s][\w.]*)(\s+)(as)(\s+)([s][\w.]*)s][\w.]*)(\s+)(hiding)(\s+)(\()tfunclists][\w.]*)(\s+)(\()s[\w.]+t[s][\w.]*s]\w*s (_[\w\']+|[s ][\w\']*)t,s\(s#pop:2s[^-{}]+s#pushs-\}s[-{}]s[^\\']'s\\tescapes[^\\"]+s[abfnrtv"\'&\\]s\^[][s@^_]so[0-7]+s x[\da-fA-F]+s\s+\\(RRsdatasdefaultRR selseR"sins infix[lr]?sinstanceR%R&R'R(stypeR*R+(R,R-s[SE]TXR.R/R0R1R2R3R4R5R6R7sS[OI]R8sDC[1-4]R9R:R;R<R=R>R?s[FGRU]SR@RA(RKRK(*t__name__t __module__t__doc__tnametaliasest filenamest mimetypestret MULTILINEtUNICODEtflagstreservedtasciiRRtSinglet MultilineR tReservedR t ExceptiontjoinR tChartunitLltFunctiontLutTypeRtWordR tFloattOcttHextIntegertBuiltinR Rt NamespacetEscapettokens(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRs                        !       c.BsJeZdZdZddgZdgZdgZdZdZdZ idZd[j e e e e jfd\e e ejfd]e e ejfd^e e ejd_fd`e e eje eje fdad[j ee jfdbe e je dcfdde jfdee fdfejfdgejfdhejfdiejfdjejfdkejfdlejdmfdnedofdpe fdqe fgdr6dse fdte eje edufdvejdwfgdc6dse fdxe jfdyejfdzejfd{ejd_fd|efd}efd~edfdedfg du6dejfd{ejdfdejdwfdejfgd_6dejfdejdfdlejdwfgdm6defdejdfdnedwfgdo6dejdwfdejdwfd[j eejdwfdejdwfdejdwfdkejdwfdejdwfgd6Z RS(s A lexer for the dependently typed programming language Idris. Based on the Haskell and Agda Lexer. .. versionadded:: 2.0 tIdristidristidrs*.idrs text/x-idrisRRRRtusingR R!R"R#s infix[lr]?R$trewritetautot namespacetcodatatmutualtprivatetpublictabstractttotaltpartialR%tproofR'R(tstaticR*R+twithtpatternttermtsyntaxtprefixt postulatet parameterstrecordtdslt impossibletimplicitttacticstintrostintrotcomputetrefinetexactttrivialR,R-s[SE]TXR.R/R0R1R2R3R4R5R6R7sS[OI]R8sDC[1-4]R9R:R;R<R=R>R?s[FGRU]SR@RAtlibtlinktflagRthidetfreezetaccesstloggingtdynamicRRterror_handlerstlanguages ^(\s*)(%%%s)REs((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$s(\s*)(\|{3}.*?)$s (\s*)(\{-)RBs^(\s*)([^\s(){}]+)(\s*)(:)(\s*)s\b(%s)(?!\')\bs(import|module)(\s+)RDs('')?[A-Z][\w\']*s [a-z][\w\']*s(<-|::|->|=>|=)s"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)s\d+[eE][+-]?\d+s\d+\.\d+([eE][+-]?\d+)?s0[xX][\da-fA-F]+s\d+RFRGRHRIs [^\s(){}]+s\s+?RJs\s+s([A-Z][\w.]*)(\s+)(\()RKs [A-Z][\w.]*s#pops[A-Z]\w*s(_[\w\']+|[a-z][\w\']*)s--.*$s\{-RMs[:!#$%&*+.\\/<=>?@^|~-]+s\(s\)s#pop:2s[^-{}]+s#pushs-\}s[-{}]s[^\\']s\\RNs[^\\"]+s[abfnrtv"\'&\\]s \^[][A-Z@^_]so[0-7]+s x[\da-fA-F]+s\s+\\(.scasesclasssdatasdefaultRssdoselsesifsins infix[lr]?sinstanceRtRus namespaceRwRxRyRzR{R|R}sletR~sofsthenRswhereR+RspatternRRsprefixRRsrecordRRRRRRRRRR(sNULsSOHs[SE]TXsEOTsENQsACKsBELsBSsHTsLFsVTsFFsCRsS[OI]sDLEsDC[1-4]sNAKsSYNsETBsCANsEMsSUBsESCs[FGRU]SsSPsDEL( slibslinkRsincludeRRsaccesssdefaultRRsnameRR(sfunclistsfunclist(!RORPRQRRRSRTRURZR[t directivesR`RRR R^RR\R]R RdRRgRfR RhRjRkR RaRmR RnRo(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRs                        c"BsBeZdZdZdgZdgZdgZddddd d d d d ddddddddddddddddddd d!d"d#d$d%d&g"Zid'ee e j e e j e fd(ejfd)ejd*fd+ejd,fd-d.jeejfd/eeje d0fd1ejfd2e fd3e j fd4ejfd5ejfd6ejfd7ejfd8ejd9fd:ed;fd<e fd=e fgd>6d?ejfd+ejd@fdAejdBfdCejfgd,6d)ejd*fdDe dBfdEe fgd06ejd*d*6ejd9d96ejd;d;6ejdFdF6ZRS(Gs For the `Agda `_ dependently typed functional programming language and proof assistant. .. versionadded:: 2.0 tAgdatagdas*.agdas text/x-agdaR{Rwt coinductivet constructorRtfieldtforallthidingR#t inductivetinfixtinfixltinfixrR$R%RxtopenRRt primitiveRytquotet quoteGoalt quoteTermRtrenamingRtRttactictunquotet unquoteDeclRsR*Rs^(\s*)([^\s(){}]+)(\s*)(:)(\s*)s!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$s\{-RBs\{!tholes\b(%s)(?!\')\bREs(import|module)(\s+)RDs\b(Set|Prop)\bs (\(|\)|\{|\})u(\.{1,3}|\||Λ|∀|→|:|=|->)s\d+[eE][+-]?\d+s\d+\.\d+([eE][+-]?\d+)?s0[xX][\da-fA-F]+s\d+RFRGRHRIs [^\s(){}]+s\s+?RJs[^!{}]+s#pushs!\}s#pops[!{}]s[a-zA-Z][\w.]*s [^a-zA-Z]+RN(RORPRQRRRSRTRURZRRR RdRRgRR\R]t DirectiveR`R R^RfR RhRjRkR RaRRo(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRsT                 cBseZdZdZddgZdgZdgZdZdZid8e fd9e j fd:e j d;fd<e jdfd=e jdfd>ejfd?d@jee jfdAejfdBefdCe jfdDejfdEejfdFe jfdGefdHejfdIejfdJejfdKejfdLejfdMejdNfdOedPfdQe jfdRejfdSefgdT6d8e fdOedPfdUedVfdWe fdXeej e e e edVfdYeej e e e edZfd[eej e edZfd\ej dVfgd6d8e fd[eej e edZfd]ej dVfgd6d8e fd^e jfd_ejfd`efdGefdaedfdUedbfgdZ6dce j fd:e j ddfdee j dVfdfe j fgd;6dgejdVfdhej!difdMejdVfgdN6djefdhej!difdOedVfgdP6dkej!dVfdlej!dVfd@jeej!dVfdmej!dVfdnej!dVfdLej!dVfdoej!dVfgdi6Z"e#dZ$dZ%RS(ss FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 2.0 tCryptoltcryptoltcrys*.crystext/x-cryptoltArithtBittCmptFalsetInftTrueR!texporttexterntfinR"RCtinftlg2tmaxtminRDR&tpragmatpropertyR(R)R*twidthR,R-s[SE]TXR.R/R0R1R2R3R4R5R6R7sS[OI]R8sDC[1-4]R9R:R;R<R=R>R?s[FGRU]SR@RAs\s+s//.*$s/\*RBs \bimport\bs \bmodule\bs \berror\bs\b(%s)(?!\')\bREs^[_a-z][\w\']*s'?[_a-z][\w']*s('')?[A-Z][\w\']*s\\(?![:!#$%&*+.\\/<=>?@^|~-]+)s+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+)s:[:!#$%&*+.\\/<=>?@^|~-]*s[:!#$%&*+.\\/<=>?@^|~-]+s\d+[eE][+-]?\d+s\d+\.\d+([eE][+-]?\d+)?s 0[oO][0-7]+s0[xX][\da-fA-F]+s\d+RFRGRHRIs\[\]s\(\)s [][(),;`{}]RJs\)s#pops qualified\bs(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)s#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()RKs([A-Z][\w.]*)(\s+)(\()s[\w.]+s [A-Z][\w.]*s[A-Z]\w*s(_[\w\']+|[a-z][\w\']*)RMs\(s#pop:2s[^/*]+s#pushs\*/s[*/]s[^\\']'s\\RNs[^\\"]+s[abfnrtv"\'&\\]s \^[][A-Z@^_]so[0-7]+s x[\da-fA-F]+s\s+\\R`tsplittreverset transposetlengthttails<>s<<>>tconsttregtpartseqtASSERTt undefinedterrorttraceccssdg}xctj|||D]L\}}}|tkr]||jkr]|tj|fVq|||fVqWdS(NRJ(Rtget_tokens_unprocessedR tEXTRA_KEYWORDSRl(tselfttexttstacktindexttokentvalue((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRs  "(RRRsFalseRsTrueselseRRRsifsimportRRsmaxsminsmodulesnewtypeRspropertysthenstypeswhereswidth(sNULsSOHs[SE]TXsEOTsENQsACKsBELsBSsHTsLFsVTsFFsCRsS[OI]sDLEsDC[1-4]sNAKsSYNsETBsCANsEMsSUBsESCs[FGRU]SsSPsDEL(sfunclistsfunclist(sjoinssplitsreverseRswidthRstails<>s<<>>RRRRsASSERTRserrorR(&RORPRQRRRSRTRURZR[RRR\R]R R^R R_R`RdRfRRgR RhRiRjRkR RaRlR RRmRnRotsetRR(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRMs                                   t LiterateLexercBs/eZdZejdZdZdZRS(s 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. s(>[ \t]*)(.*\n)cKs||_tj||dS(N(t baselexerRt__init__(RRtoptions((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRs c csN|jjd}|dkrF|jdd!dkr=dp@d}nd}g}|dkr xtj|D]}|j}|jj|}|r|j t |dt j |jdfgf||jd7}qn|j t |dt |fgfqnWnd d lm}||j} d} d} xtj|D]}|j}| r|jjd rd} | |7} q||7}qF|jjd rd} | |7} |j t |t| j| fd} qF| |7} qFW|j t |t| j| fx(t||jj|D] } | Vq;WdS( Ntlitstyleiis%\tlatextbirdtii(tTexLexers \end{code}s \begin{code}(RtgettNonetlstriptline_retfinditertgrouptbird_retmatchtappendtlenRtSpecialRtpygments.lexers.markupRt startswithtlistRRR( RRtstyletcodet insertionsRtlinetmRtlxlexert codelinesRtitem((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRsH (  ",     "(RORPRQRVtcompileRRR(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRs  cBs>eZdZdZdddgZdgZdgZdZRS(sn 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 sLiterate Haskelltlhssliterate-haskelltlhaskells*.lhsstext/x-literate-haskellcKs#t|}tj|||dS(N(RRR(RRthslexer((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyR)s (RORPRQRRRSRTRUR(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRs    cBs>eZdZdZdddgZdgZdgZdZRS(sl 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 sLiterate Idristlidrsliterate-idristlidriss*.lidrstext/x-literate-idriscKs#t|}tj|||dS(N(RRR(RRR((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyR@s (RORPRQRRRSRTRUR(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyR.s    cBs;eZdZdZddgZdgZdgZdZRS(sU 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 s Literate Agdatlagdas literate-agdas*.lagdastext/x-literate-agdacKs)t|}tj||dd|dS(NRR(RRR(RRt agdalexer((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRWs (RORPRQRRRSRTRUR(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyREs     cBs>eZdZdZdddgZdgZdgZdZRS(sn 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 sLiterate Cryptoltlcrysliterate-cryptoltlcryptols*.lcrystext/x-literate-cryptolcKs#t|}tj|||dS(N(RRR(RRtcrylexer((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRns (RORPRQRRRSRTRUR(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyR\s    c"BseZdZdZdgZddgZdgZdddd d d d d dddddddddddddddddddd d!d"d#d$d%d&g"Zd d d d d d$gZd'd(d)d*gZ d+d,d-d.d/d0d1d2d3d4d5d6d7g Z d8Z d9e d:Z d;Z ejZejZejZi ed<d=e ed fd>eeeed?fd@eeeedAfdBdCjedDeeeed fdEeeeeejfdFeeeejeeeeejfdGe dHeeeejfdIe dHeeeeejfdBdCje e ejfdBdCjee efdBdCje e ejfdJe efdKeejefdLeejefdMe dHeejefdNejfdOe j!dPfe dQe"fdRe"fdSe#fdTe$j%fdUe$j&fdVe$j'fdWe j(dXfdYe j!dZfgd[6d\efed gd?6d]e#d^fed gdA6d_ed`fedagd 6dbed^fd_ed`fdcefddeeeefedagd`6ed<dBdCje e efdedCjee dfed^fdge efdhefdNejfdKeejefdieejefdjefe)d^g da6dke*j+fdlefdme*j,dnfdoe*j-fgd<6dpe*j,fdme*j,dqfdre*j,d^fdse*j,fgdn6dte j!fdue j.fdYe j!d^fgdP6dve j!fedwdxe j!d^fgdZ6dye j(fedwdze j(d^fgdX6d{e j.fd|e j.fd}e j.fd~e j.fgdw6Z/RS(sc Lexer for the `Koka `_ language. .. versionadded:: 1.6 tKokatkokas*.kks*.kkis text/x-kokaRRRR)tcotypetrectypetaliaststructtcontfuntfunctiontvaltvartexternalR"R(R!teliftreturnRRyRzRDRCtasRtinlinetrecttrytyieldtenumt interfaceR$RtexiststsomeRtfortwhiletrepeattforeachsforeach-indexedRtcatchtfinallytcstjstfiletreftassigneds[$%&*+@!/\\^~=.:\-?|<>]+s(?!t)s (?![\w/])t whitespaces::?s(alias)(\s+)([a-z]\w*)?s alias-types(struct)(\s+)([a-z]\w*)?s struct-types(%s)REs(\s+)([a-z]\w*)?s4(module)(\s+)(interface\s+)?((?:[a-z]\w*/)*[a-z]\w*)sb(import)(\s+)((?:[a-z]\w*/)*[a-z]\w*)(?:(\s*)(=)(\s*)((?:qualified\s*)?)((?:[a-z]\w*/)*[a-z]\w*))?sE(^(?:(?:public|private)\s*)?(?:function|fun|val))(\s+)([a-z]\w*|\((?:s|/)\))sE(^(?:(?:public|private)\s*)?external)(\s+)(inline\s+)?([a-z]\w*|\((?:s::?|:=|\->|[=.]s((?:[a-z]\w*/)*)([A-Z]\w*)s((?:[a-z]\w*/)*)([a-z]\w*)s((?:[a-z]\w*/)*)(\((?:s_\w*s@"t litstrings |/(?![*/])t`s [{}()\[\];,]s![0-9]+\.[0-9]+([eE][\-+]?[0-9]+)?s0[xX][0-9a-fA-F]+s[0-9]+RFtcharRHRIRJt=s(?=\((?!,*\)))s#pops[(\[<]s type-nesteds type-contents[)\]>]RMs([a-z]\w*)(\s*)(:)(?!:)s(?=((%s)s))s[EPHVX]s[a-z][0-9]*(?![\w/])s((?:[a-z]\w*/)*)([a-z]\w+)s ::|->|[.:|]s \n\s*#.*$s\s+s/\*RBs//.*$s[^/*]+s#pushs\*/s[*/]s[^"]+s""s [^\\"\n]+sescape-sequences["\n]s [^\\\'\n]+s[\'\n]s \\[nrt\\"\']s\\x[0-9a-fA-F]{2}s\\u[0-9a-fA-F]{4}s\\U[0-9a-fA-F]{6}(0RORPRQRRRSRTRUtkeywordsttypeStartKeywordst typekeywordstbuiltintsymbolst sboundarytboundaryR t Attributet tokenTypetClasst tokenTypeDefRtEmphttokenConstructorRRR RR`RmRdRftPseudotVariableR tDoubleRR R RhRjRkRaRRtPreprocR]R\RnRo(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyRss                                                   (#RQRVtpygments.lexerRRRRRRtpygments.tokenRRRR R R R R RtpygmentsRRbt__all__RRRRRRRRRRRR(((s;/usr/lib/python2.7/dist-packages/pygments/lexers/haskell.pyt s$ .@   ~nEA