Ë dš…K”ê®Çãón—dZddlZddlmZmZmZmZmZmZm Z m Z ddl m Z m Z mZmZmZmZmZmZmZmZddlmZgd¢ZGd„de«ZGd „d e«ZGd „d e«ZGd „de«ZGd„de«ZGd„de«ZGd„de«Z Gd„de«Z!Gd„de«Z"Gd„de«Z#Gd„de«Z$y)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Ú RegexLexerÚbygroupsÚ do_insertionsÚdefaultÚincludeÚinheritÚline_re) ÚTextÚCommentÚOperatorÚKeywordÚNameÚStringÚNumberÚ PunctuationÚGenericÚ Whitespace)Ú unistring) Ú HaskellLexerÚ HspecLexerÚ IdrisLexerÚ AgdaLexerÚ CryptolLexerÚLiterateHaskellLexerÚLiterateIdrisLexerÚLiterateAgdaLexerÚLiterateCryptolLexerÚ KokaLexercó¬—eZdZdZdZdZddgZdgZdgZdZ d Z gd e f‘d e jf‘d e jd f‘dej df‘dej df‘dej$f‘ddj'e «zej f‘dej*f‘dej.zdzej0f‘dej.zdzef‘dej2zdzej4f‘dej2zdzej4f‘dej4f‘dej4f‘dej4f‘dej0f‘d ej8f‘d!ej4f‘d"ef‘d#ej<f‘d$ej<f‘d%ej<f‘d&ej<f‘d'ej>f‘d(ej@f‘d)ejBf‘d*ejDf‘d+ej*d,f‘d-ed.f‘d/ej4f‘d0ejFf‘d1e$f‘d e fd-ed.fd2e$d3fd4efd5ej2zd6zej2zd7ze%ejLe ee e«d3fd5ej2zd8ze%ejLe ee e$«d9fd5ej2zd:ze%ejLe e$«d9fd;ejLd3fgd e fd5ej2zd:ze%ejLe e$«d9fdzej4fd?ej.zd@zej0fd e jfd e jd fdAe$fd"efdBe$dCfd2e$dDfg dEe jfd e jdFfdGe jd3fdHe jfgdIej*d3fdJejNdKfd+ej*d3fgdLefdJejNdKfd-ed3fgdMejNd3fdNej2zdOzejNd3fdj'e «ejNd3fdPejNd3fdQejNd3fdRejNd3fdSe%e ejN«d3fgdTœZ(yU)Vrzk A Haskell lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 0.8 ÚHaskellzhttps://www.haskell.org/ÚhaskellÚhsz*.hsztext/x-haskell)ÚcaseÚclassÚdatarÚderivingÚdoÚelseÚfamilyÚifÚinú infix[lr]?ÚinstanceÚletÚnewtypeÚofÚthenÚtypeÚwhereÚ_©ÚNULÚSOHz[SE]TXÚEOTÚENQÚACKÚBELÚBSÚHTÚLFÚVTÚFFÚCRzS[OI]ÚDLEzDC[1-4]ÚNAKÚSYNÚETBÚCANÚEMÚSUBÚESCz[FGRU]SÚSPÚDELú\s+ú!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$ú\{-Úcommentú \bimport\bÚimportú \bmodule\bÚmoduleú \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\']*)Ú,ú\(©rfrfú#pop:2ú[^-{}]+ú#pushú-\}ú[-{}]ú[^\\']'ú\\Úescapeú[^\\"]+ú[abfnrtv"\'&\\]z\^[][z@^_]úo[0-7]+ú x[\da-fA-F]+ú\d+ú (\s+)(\\)©ÚrootrRrTrfrPr]r_rsN))Ú__name__Ú __module__Ú __qualname__Ú__doc__ÚnameÚurlÚaliasesÚ filenamesÚ mimetypesÚreservedÚasciirr ÚSingleÚ MultilinerÚReservedrÚ ExceptionÚjoinrÚCharÚuniÚLlÚFunctionÚLuÚTyper ÚWordrÚFloatÚBinÚOctÚHexÚIntegerÚBuiltinrrÚ NamespaceÚEscapeÚtokens©óú±>Ð Bð * ð �W×&Ñ&¨ Ð 2ð * ð˜G×,Ñ,¨hÐ 7ð* ð˜G×,Ñ,¨hÐ 7ð* ð˜4Ÿ>™>Ð *ð* ð §¡¨(Ó!3Ñ 3°W×5EÑ5EÐ Fð* 𘟙Р%ð* ð�c—f‘f‰_˜{Ñ *¨D¯M©MÐ :ð* ð�s—v‘vÑ   Ñ *¨DÐ 1ð* ð˜Ÿ™Ñ  +Ñ -¨w¯|©|Ð <ð* ð �s—v‘vÑ   Ñ +¨W¯\©\Ð :ð!* ð"˜wŸ|™|Ð ,ð#* ð$˜gŸl™lÐ +ð%* ð&,¨W¯\©\Ð :ð'* ð*/°· ± Ð >ð+* ð,<¸X¿]¹]Ð Kð-* ð.*¨7¯<©<Ð 8ð/* ð0)¨(Ð 3ð1* ð4EÀfÇlÁlÐ Sð5* ð6(Ø)/¯©ð 7ð7* ð:.¨v¯|©|Ð <ð;* ð<<¸V¿\¹\Ð Jð=* ð>% f§j¡jÐ 1ð?* ð@'¨¯ © Ð 3ðA* ðB1°&·*±*Ð =ðC* ðD˜6Ÿ>™>Ð *ðE* ðH�6—;‘;  Ð ,ðI* ðJ�6˜8Ð $ðK* ðN�g—l‘lÐ #ðO* ðP�d—l‘lÐ #ðQ* ðR˜[Ð )ðS* ðZ�ZÐ Ø �6˜8Ð $à �K Ð (Ø ˜WÐ %à �S—V‘V‰^Ð9Ñ 9¸C¿F¹FÑ BÀ[Ñ PÙ �d—n‘n j°'¸:ÀtÓ LÈfð Vð�S—V‘V‰^Ð?Ñ ?Ù �d—n‘n j°'¸:À{Ó SÐU_ð að�S—V‘V‰^Ð2Ñ 2Ù �d—n‘n j°+Ó >À ð L𘟙¨Ð /ð# ð(�ZÐ Ø �S—V‘V‰^Ð2Ñ 2Ù �d—n‘n j°+Ó >À ð Là �C—F‘F‰]˜ZÑ '¨¯©¸Ð @ð  ð�ZÐ Ø �C—F‘F‰]˜WÑ $ g§l¡lÐ 3Ø ˜cŸf™fÑ $ |Ñ 3°T·]±]Ð CØ 1°7·>±>Ð BØ �W×&Ñ&¨ Ð 2Ø �;Ð Ø (¨(Ð 3à �KÐ!9Ð :Ø �K Ð *ð  ð ˜×*Ñ*Ð +Ø �W×&Ñ&¨Ð 0Ø �W×&Ñ&¨Ð /Ø �w×(Ñ(Ð )ð  𘟙 fÐ -Ø �F—M‘M 8Ð ,Ø �&—+‘+˜vÐ &ð  ð˜Ð Ø �F—M‘M 8Ð ,Ø �&˜&Ð !ð ð   §¡°Ð 7Ø ˜Ÿ™Ñ  Ñ (¨&¯-©-¸Ð @Ø �X‰X�e‹_˜fŸm™m¨VÐ 4Ø ˜Ÿ™¨Ð /Ø ˜fŸm™m¨VÐ 4Ø �V—]‘] FÐ +Ø ™8 J°· ± Ó>ÀÐ Gð ñKn�Fr�rc ó¬—eZdZdZdZdgZdgZgZddee e e j«fdee e e j«fdee e e j«fe giZy ) rzY A Haskell lexer with support for Hspec constructs. .. versionadded:: 2.4.0 ÚHspecÚhspecz*Spec.hsr{z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)r|r}r~rr€r‚rƒr„rr rrÚDocr r›rœr�ržrr�st„ñð €D؈i€GØ� €IØ€Ið Ø "¡H¨T°:¸v¿z¹zÓ$JÐ KØ (©(°4¸ÀVÇZÁZÓ*PÐ QØ '©°$¸ ÀFÇJÁJÓ)OÐ PØ ð  ð�Fr�rcóZ—eZdZdZdZdZddgZdgZdgZdZ d Z d Z d d je «ze eej «fd e eej$«fde eej$«fde eej&«dfde eej*eej.e«fdd je «zej fde ej e«dfdej0fdefdej.fdej.fdej6fdej6fdej8fdej:fdej>dfded fd!efd"efgd#efd$e ej@ee!«d%fd&ej@d'fgd#efd(ej0fd)ej*fd*ej$fd+ej&dfd,e!fd-efd.e!d/fd0e!d1fg d2ej&fd+ej&d3fd4ej&d'fd5ej&fgd6ej>fd7ejDd8fdej>d'fgd9efd7ejDd8fded'fgd:ejDd'fd;ejDd'fd je «ejDd'fde eejD«d'fgd?œZ#y@)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/ÚidrisÚidrz*.idrz text/x-idris)3r$r%r&rÚusingr(r)r+r,r-r.ÚrewriteÚautoÚ namespaceÚcodataÚmutualÚprivateÚpublicÚabstractÚtotalÚpartialÚ interfaceÚimplementationÚexportÚcoveringÚ constructorr/Úproofr1r2Ústaticr4r5ÚwithÚpatternÚtermÚsyntaxÚprefixÚ postulateÚ parametersÚrecordÚdslÚ impossibleÚimplicitÚtacticsÚintrosÚintroÚcomputeÚrefineÚexactÚtrivialr6) ÚlibÚlinkÚflagrÚhideÚfreezeÚaccessrÚloggingÚdynamicr€Úerror_handlersÚlanguagez^(\s*)(%%(%s))rWz((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)rPú^(\s*)([^\s(){}]+)(\s*)(:)(\s*)rVú(import|module)(\s+)rTú('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)ú\d+[eE][+-]?\d+ú\d+\.\d+([eE][+-]?\d+)?ú0[xX][\da-fA-F]+rxr\r]r^r_ú [^\s(){}]+ú\s+?rMú([A-Z][\w.]*)(\s+)(\()rfú [A-Z][\w.]*rdú[A-Z]\w*ú(_[\w\']+|[a-z][\w\']*)z--.*$rOrir[rjrkrcrlrmrnrorpz[^\\']rrrsrtruú \^[][A-Z@^_]rvrwry)r{rTrfrPr]r_rsN)$r|r}r~rr€r�r‚rƒr„r…r†Ú directivesr‹rrrr‰r r‡rˆrr�r r’r‘r rr“r–r—rrŒr™rršr›rœr�ržrr³sA„ñð €DØ '€CؘЀGØ� €IØÐ €IðW€Hð 9€Eð Y€Jð  §¡¨*Ó!5Ñ 5Ù �j '×"2Ñ"2Ó 3ð 5à 8¹(À:ÈwÏ~É~Ó:^Ð _Ø ¡(¨:°w·~±~Ó"FÐ GØ ™H Z°×1BÑ1BÓCÀYÐ Oà /Ù �j $§-¡-°¸X¿]¹]ÈJÓ Wð Yð §¡¨(Ó!3Ñ 3°W×5EÑ5EÐ FØ $¡h¨w×/?Ñ/?ÀÓ&LÈhÐ WØ ! 7§<¡<Ð 0Ø ˜dÐ #à  §¡Ð /Ø 2°H·M±MÐ Bà  §¡Ð .Ø '¨¯©Ð 6Ø  &§*¡*Ð -Ø �V—^‘^Ð $à �6—;‘;  Ð ,Ø �6˜8Ð $Ø ˜DÐ !Ø �jÐ !ð7 ð<�ZÐ Ø &Ù �d—n‘n j°+Ó >À ð Là ˜TŸ^™^¨VÐ 4ð  ð�ZÐ Ø ˜'Ÿ,™,Ð 'Ø '¨¯©Ð 7Ø �w—~‘~Ð &Ø �W×&Ñ&¨ Ð 2Ø �;Ð Ø (¨(Ð 3à �KÐ!9Ð :Ø �K Ð *ð  ð ˜×*Ñ*Ð +Ø �W×&Ñ&¨Ð 0Ø �W×&Ñ&¨Ð /Ø �w×(Ñ(Ð )ð  𘟠™ Ð $Ø �F—M‘M 8Ð ,Ø �&—+‘+˜vÐ &ð  ð˜Ð Ø �F—M‘M 8Ð ,Ø �&˜&Ð !ð ð   §¡°Ð 7Ø ˜fŸm™m¨VÐ 4Ø �X‰X�e‹_˜fŸm™m¨VÐ 4Ø ˜Ÿ™¨Ð /Ø ˜fŸm™m¨VÐ 4Ø �V—]‘] FÐ +Ø ™8 J°· ± Ó>ÀÐ Gð ñIM�Fr�rcó—eZdZdZdZdZdgZdgZdgZdZ de e e je eje «fd ej"fd ej$d fd ej&d fddj)e «zej,fde ej,e «dfdej.fdefdejfdej2fdej2fdej4fdej6fdej:dfdedfdefde fgdej&fd ej&d fd!ej&d"fd#ej&fgd ej$d fd$e d"fd%efgej@d ej@dej@dej@d&d'œZ y())rz| For the Agda dependently typed functional programming language and proof assistant. .. versionadded:: 2.0 ÚAgdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpÚagdaz*.agdaz text/x-agda))r¯r«Ú coinductiver¶r&r(z eta-equalityÚfieldÚforallÚhidingr,Ú inductiveÚinfixÚinfixlÚinfixrr.Ú interleavedr/Úmacror¬zno-eta-equalityÚopenÚoverlaprºr¾Ú primitiver­ÚquoteÚ quoteTermrÀÚrenamingr¨r¼ÚtacticÚunquoteÚ unquoteDeclÚ unquoteDefr§Úvariabler4r¹rÕrNrOrPz\{!ÚholerVrWrÖrTz\b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rØrÙrÚrxr\r]r^r_rÛrÜz[^!{}]+rnz!\}rdz[!{}]z[a-zA-Z][\w.\']*z [\W0-9_]+rs)r{rûrTrPr]r_rsN)!r|r}r~rr€r�r‚rƒr„r…rrrr�r r’r r‡rˆÚ Directiver‹rr‰r‘rr“r–r—rrŒr rr›rœr�ržrr#sæ„ñð €DØ :€C؈h€GØ� €IØ�€Ið€Hð0Ù �j $§-¡-°Ø—m‘m Zó1ð 2ð2°7·>±>Ð BØ �W×&Ñ&¨ Ð 2à �W×&Ñ&¨Ð /ð §¡¨(Ó!3Ñ 3°W×5EÑ5EÐ FØ $¡h¨w×/?Ñ/?ÀÓ&LØ ð à .°· ± Ð =à ˜xÐ (Ø 8¸(¿-¹-Ð Hà  §¡Ð .Ø '¨¯©Ð 6Ø  &§*¡*Ð -Ø �V—^‘^Ð $à �6—;‘;  Ð ,Ø �6˜8Ð $Ø ˜DÐ !Ø �jÐ !ð9 ð@˜×*Ñ*Ð +Ø �W×&Ñ&¨Ð 0Ø �W×&Ñ&¨Ð /Ø �w×(Ñ(Ð )ð  ð�W×&Ñ&¨ Ð 2Ø  $¨Ð /Ø ˜4Ð ð ð  ×&Ñ& yÑ1Ø!×(Ñ(¨Ñ5Ø×%Ñ% hÑ/Ø×%Ñ% hÑ/ñ]/�Fr�rcóЗeZdZdZdZddgZdgZdgZdZdZ d e fd e jfd e jd fd ejdfdejdfdej"fddj%e«zejfdej&fdefdej(fdej&fdej,fdej(fdefdej0fdej0fdej2fdej4fdej6fd ej:d!fd"ed#fd$ej(fd%ej<fd&efgd e fd"ed#fd'ed(fd)efd*e ejBe ee e«d(fd+e ejBe ee e«d,fd-e ejBe e«d,fd.ejBd(fgd e fd-e ejBe e«d,fd/ejBd(fgd e fd0ej(fd1ej&fd2efdefd3ed4fd'ed5fgd6e jfd e jd7fd8e jd(fd9e jfgd:ej:d(fd;ejDdejDd(fd?ejDd(fdj%e «ejDd(fd@ejDd(fdAejDd(fdejDd(fdBe e ejD«d(fgdCœZ#hdD£Z$dE„Z%yF)Grzs FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. .. versionadded:: 2.0 ÚCryptolÚcryptolÚcryz*.cryztext/x-cryptol)ÚArithÚBitÚCmpÚFalseÚInfÚTruer)r´ÚexternÚfinr+rRÚinfÚlg2ÚmaxÚminrTr0ÚpragmaÚpropertyr2r3r4Úwidthr6rMú//.*$ú/\*rPrQrRrSrTrUrVrWz^[_a-z][\w\']*z'?[_a-z][\w']*r×rXrYrZr[rØrÙz 0[oO][0-7]+rÚrxr\r]r^r_r`rarbrcrdrez(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rfrÝrgrÞrßràrirjrkrlú[^/*]+rnú\*/ú[*/]rqrrrsrtrurárvrwryrz>ú<<ú>>ú<<<ú>>>ÚparÚregÚseqr‹ÚtailÚconstÚerrorÚsplitÚtracerÚASSERTÚlengthÚreverseÚ transposeÚ undefinedc#ó¸K—dg}tj|||«D]9\}}}|tur$||jvr|tj|f–—Œ3|||f–—Œ;y­w)Nr{)rÚget_tokens_unprocessedrÚEXTRA_KEYWORDSr˜)ÚselfÚtextÚstackÚindexÚtokenÚvalues ržr'z#CryptolLexer.get_tokens_unprocessedìsbèø€Ø�ˆä×1Ñ1°$¸¸eÖDñ ˆE�5˜%àœ‰} ¨$×*=Ñ*=Ñ!=ØœTŸ\™\¨5Ð0Ó0à˜U EÐ)Ó)ñ Eùs‚AAN)&r|r}r~rr€r‚rƒr„r…r†rr r‡rˆrr‰rrŠr‹r�r‘r r’rr“r•r–r—rrŒr˜rrr™ršr›r(r'rœr�ržrrms´„ñð €Dؘ%Ð €GØ� €IØ!Ð"€Ið2€Hð 9€Eð�ZÐ à �w—~‘~Ð &Ø �W×&Ñ&¨ Ð 2ð˜G×,Ñ,¨hÐ 7Ø ˜G×,Ñ,¨hÐ 7Ø ˜4Ÿ>™>Ð *Ø  §¡¨(Ó!3Ñ 3°W×5EÑ5EÐ FØ  § ¡ Ð .Ø  Ð %Ø ! 7§<¡<Ð 0à .°· ± Ð >Ø ;¸X¿]¹]Ð KØ )¨7¯<©<Ð 8Ø (¨(Ð 3à  §¡Ð .Ø '¨¯©Ð 6Ø ˜VŸZ™ZÐ (Ø  &§*¡*Ð -Ø �V—^‘^Ð $à �6—;‘;  Ð ,Ø �6˜8Ð $à �g—l‘lÐ #Ø �d—l‘lÐ #Ø ˜[Ð )ðA! ðH�ZÐ Ø �6˜8Ð $à �K Ð (Ø ˜WÐ %à 8Ù �d—n‘n j°'¸:ÀtÓ LÈfð Vð4Ù �d—n‘n j°'¸:À{Ó SÐU_ð að'Ù �d—n‘n j°+Ó >À ð L𘟙¨Ð /ð# ð(�ZÐ Ø &Ù �d—n‘n j°+Ó >À ð Là ˜TŸ^™^¨VÐ 4ð  ð�ZÐ Ø ˜'Ÿ,™,Ð 'Ø '¨¯©Ð 7ð�;Ð Ø (¨(Ð 3à �KÐ!9Ð :Ø �K Ð *ð  ð˜×)Ñ)Ð *Ø �W×&Ñ&¨Ð 0Ø �W×&Ñ&¨Ð /Ø �g×'Ñ'Ð (ð  𘟙 fÐ -Ø �F—M‘M 8Ð ,Ø �&—+‘+˜vÐ &ð  ð˜Ð Ø �F—M‘M 8Ð ,Ø �&˜&Ð !ð ð   §¡°Ð 7Ø ˜fŸm™m¨VÐ 4Ø �X‰X�e‹_˜fŸm™m¨VÐ 4Ø ˜Ÿ™¨Ð /Ø ˜fŸm™m¨VÐ 4Ø �V—]‘] FÐ +Ø ™8 J°· ± Ó>ÀÐ Gð ñwd€FòL€Nó *r�rcó@—eZdZdZej d«Zd„Zd„Zy)Ú 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)c ó>—||_tj|fi|¤Žy)N)Ú baselexerrÚ__init__)r)r2Úoptionss ržr3zLiterateLexer.__init__s€Ø"ˆŒÜ �‰�tÑ'˜wÓ'r�c #ó„K—|jjd«}|€|j«dddvxrdxsd}d}g}|dk(r¿tj|«D]¥}|j «}|j j|«}|rR|jt|«dtj|j d«fgf«||j d«z }Œ‚|jt|«dt|fgf«Œ§�n dd l m}|d i|j¤Ž} d} d} tj|«D]£}|j «}| r-|j«jd «rd} | |z } Œ<||z }ŒB|j«jd «r>d} | |z } |jt|«t!| j#| ««f«d} ŒŸ| |z } Œ¥|jt|«t!| j#| ««f«t%||j&j#|««Ed{–—†y7Œ­w) NÚlitstyleréz%\ÚlatexÚbirdÚé)ÚTexLexerz \end{code}z \begin{code}rœ)r4ÚgetÚlstripr ÚfinditerÚgroupÚbird_reÚmatchÚappendÚlenr ÚSpecialr Úpygments.lexers.markupr<Ú startswithÚlistr'rr2) r)r*ÚstyleÚcodeÚ insertionsrBÚlineÚmr<ÚlxlexerÚ codelinesr8s ržr'z$LiterateLexer.get_tokens_unprocessed s èø€Ø— ‘ × Ñ  Ó,ˆØ ˆ=Ø—[‘[“] 1 QÐ'¨5Ð0Ò=°gÒGÀˆEàˆØˆ Ø �FŠ?ä ×)Ñ)¨$Ö/�Ø—{‘{“}�Ø—L‘L×&Ñ& tÓ,�ÙØ×%Ñ%¤s¨4£yØ)*¬G¯O©O¸Q¿W¹WÀQ»ZÐ(HÐ'Ið'KôLà˜AŸG™G A›JÑ&‘Dà×%Ñ%¤s¨4£y°A´t¸T°?Ð2CÐ&DÕEò0õ 8ÙÑ. §¡Ñ.ˆG؈I؈EÜ ×)Ñ)¨$Ö/�Ø—{‘{“}�ÙØ—{‘{“}×/Ñ/° Ô>Ø$%˜ Ø ™ ™à ™ ™Ø—[‘[“]×-Ñ-¨oÔ>Ø !�IؘT‘M�EØ×%Ñ%¤s¨4£yÜ'+¨G×,JÑ,JÈ5Ó,QÓ'Rð'TôUà‘Eà˜T‘M‘Eð0ð × Ñ œs 4›yÜ# G×$BÑ$BÀ5Ó$IÓJðLô Mä  ¨T¯^©^×-RÑ-RÐSWÓ-XÓY×YÒYús‚H6IÈ8H>È9IN) r|r}r~rÚreÚcompilerAr3r'rœr�ržr0r0ös%„ñ ðˆb�j‰jÐ+Ó,€Gò(ó*Zr�r0có.—eZdZdZdZgd¢ZdgZdgZd„Zy)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-haskellÚlhaskellÚlhsz*.lhsztext/x-literate-haskellc óH—tdi|¤Ž}tj||fi|¤Žy©Nrœ)rr0r3©r)r4Úhslexers ržr3zLiterateHaskellLexer.__init__Hs$€ÜÑ) Ñ)ˆÜ×јt WÑ8°Ó8r�N© r|r}r~rr€r‚rƒr„r3rœr�ržrr6s'„ñ ð €DÚ5€GØ� €IØ*Ð+€Ió9r�rcó.—eZdZdZdZgd¢ZdgZdgZd„Zy)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-idrisÚlidrisÚlidrz*.lidrztext/x-literate-idrisc óH—tdi|¤Ž}tj||fi|¤ŽyrV)rr0r3rWs ržr3zLiterateIdrisLexer.__init___s$€ÜÑ'˜wÑ'ˆÜ×јt WÑ8°Ó8r�NrYrœr�ržrrMs'„ñ ð €DÚ2€GØ� €IØ(Ð)€Ió9r�rcó.—eZdZdZdZddgZdgZdgZd„Zy) 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-agdaÚlagdaz*.lagdaztext/x-literate-agdac óL—tdi|¤Ž}tj||fddi|¤Žy)Nr6r8rœ)rr0r3)r)r4Ú agdalexers ržr3zLiterateAgdaLexer.__init__vs)€ÜÑ( Ñ(ˆ Ü×јt YÑL¸ÐLÀGÓLr�NrYrœr�ržrrds-„ñ ð €DØ Ð(€GØ� €IØ'Ð(€IóMr�rcó.—eZdZdZdZgd¢ZdgZdgZd„Zy)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-cryptolÚlcryptolÚlcryz*.lcryztext/x-literate-cryptolc óH—tdi|¤Ž}tj||fi|¤ŽyrV)rr0r3)r)r4Úcrylexers ržr3zLiterateCryptolLexer.__init__�s$€ÜÑ* 'Ñ*ˆÜ×јt XÑ9°Ó9r�NrYrœr�ržrr{s'„ñ ð €DÚ6€GØ� €IØ*Ð+€Ió:r�rcóô—eZdZdZdZdZdgZddgZdgZgd¢Z gd ¢Z gd ¢Z gd ¢Z d Z d e zdzZdZej"Zej&Zej,Zed«dezedfdeeee«dfdeeee«dfddj9e «zdzeeee«dfdeeeeeej:«fdeeeej:eeeeeej:« fde zdzeeeeeej<«fde zdzeeeeeeeej<«fddj9e «zezej>fddj9e «zezefddj9e «zezej@fdezefd eej:e«fd!eej:e«fd"e zdzeej:e«fd#ejBfd$e"jFd%fe d&ze$fd'e$fd(e%fd)e&jNfd*e&jPfd+e&jRfd,e"jTd-fd.e"jFd/fgd0efed«gd1e%d2fed«gd3ed4fed5«gd6ed2fd3ed4fd7efd8eeee«fed5«ged«ddj9e «zezefd9dj9e «zezd:zed2fd;ezefdefe+d2«g d?eee,jZ«fd@efdAe,j\dBfdCe,j^fgdDe,j\fdAe,j\dEfdFe,j\d2fdGe,j\fgdHe"jFfdIe"j`fd.e"jFd2fgdJe"jFfedK«dLe"jFd2fgdMe"jTfedK«dNe"jTd2fgdOe"j`fdPe"j`fdQe"j`fdRe"j`fgdSœ Z1yT)UrzA Lexer for the Koka language. .. versionadded:: 1.6 ÚKokaz/https://koka-lang.github.io/koka/doc/index.htmlÚkokaz*.kkz*.kkiz text/x-koka)"rërírìr3ÚcotypeÚrectypeÚaliasÚstructÚconÚfunÚfunctionÚvalÚvarÚexternalr+r2r)ÚelifÚreturnrBr­r®r­rTrRÚasrÚinlineÚrecÚtryÚyieldÚenumr²r.)r3rjrkrlrmr{)rèÚexistsÚsomer¹) ÚforÚwhileÚrepeatÚforeachzforeach-indexedrÚcatchÚfinallyÚcsÚjsÚfileÚrefÚassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!Ú)z (?![\w/])Ú whitespacez::?r3z(alias)(\s+)([a-z]\w*)?ú alias-typez(struct)(\s+)([a-z]\w*)?ú struct-typez(%s)rWz(\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\Úcharr^r_Ú=z(?=\((?!,*\)))rdz[(\[<]ú type-nestedú type-contentz[)\]>]riz([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*)(#.*)$rMrrPrrrnrrz[^"]+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{r‹rŒr3r‘r’rŠrPr�r_r�r“N)2r|r}r~rr€r�r‚rƒr„ÚkeywordsÚtypeStartKeywordsÚ typekeywordsÚbuiltinÚsymbolsÚ sboundaryÚboundaryrÚ AttributeÚ tokenTypeÚClassÚ tokenTypeDefrÚEmphÚtokenConstructorrrrrr‹r™r�r‘ÚPseudoÚVariablerÚDoubler rrr“r–r—rŒrr ÚPreprocrˆr‡ršr›rœr�ržrr’sd„ñð €DØ ;€C؈h€GؘÐ!€IØ�€Iò €Hò Ðò €Lò €Gð*€G𘑠#Ñ%€Ið€Hð—‘€IØ—:‘:€LØ—|‘|Ðñ �LÓ !ð�iÑ  ¨FÐ 3Ø '©°'¸:À|Ó)TØ ð à (©(°7¸JÈ Ó*UØ ð à˜Ÿ™Ð!2Ó3Ñ3Ø ñ!Ù"*¨7°JÀ Ó"MØ ð ð NÙ �g˜z¨7°JÀÇÁÓ Oð Qð+ñ�g˜z¨4¯>©>¸:ÀwÐPZؘz¨4¯>©>ó;ð <ð %Ø'.ñ/Ø1:ñ;á �g˜z¨7°JÀÇ Á Ó Nð Pð Ø")ñ*Ø,5ñ6á �g˜z¨7°JÀÈÐUY×UbÑUbÓ cð eð �s—x‘x  Ó-Ñ -°Ñ 8¸'¿,¹,Ð GØ �s—x‘x Ó)Ñ )¨HÑ 4°gÐ >Ø �s—x‘x Ó(Ñ (¨8Ñ 3°W·^±^Ð DØ  )Ñ +¨WÐ 5ð+Ù �d—n‘nÐ&6Ó 7ð 9à *©H°T·^±^ÀTÓ,JÐ KØ &¨Ñ 0°9Ñ <Ù �d—n‘n dÓ +ð -à �d—m‘mÐ $ð�F—M‘M ;Ð /ð�|Ñ # XÐ .Ø �8Ð Ø ˜kÐ *ð2°6·<±<Ð @Ø ! 6§:¡:Ð .Ø ˜Ÿ™Ð 'à �6—;‘; Ð 'Ø �6—=‘= (Ð +ðu; ð~�7ˆOÙ �F‹Oð ð  ¨VÐ 4Ù �F‹Oð 𘠠=Ð 1Ù �NÓ #ð 𘠠6Ð *Ø ˜  =Ð 1Ø �9Ð Ø 'Ù �d˜J¨ Ó 2ð 4á �NÓ #ð  ñ �LÓ !ð�s—x‘x  Ó-Ñ -°Ñ 8¸'Ð BØ ˜3Ÿ8™8 HÓ-Ñ -°Ñ 8¸4Ñ ?Ø �fð ð˜(Ñ " IÐ .ð% iÐ 0Ø �i×(Ñ(Ð )Ø *Ù �d—n‘n iÓ 0ð 2à *Ù �d—n‘n iÓ 0ð 2ð˜YÐ 'ñ �F‹Oð/ ð8™x¨ °G·O±OÓDÐ EØ �ZÐ Ø �W×&Ñ&¨ Ð 2Ø �w—~‘~Ð &ð  ð˜×)Ñ)Ð *Ø �W×&Ñ&¨Ð 0Ø �W×&Ñ&¨Ð /Ø �g×'Ñ'Ð (ð  ð�v—}‘}Ð %Ø �F—M‘MÐ "Ø �6—=‘= &Ð )ð ð ˜6Ÿ=™=Ð )Ù Ð%Ó &Ø �v—}‘} fÐ -ð ð ˜FŸK™KÐ (Ù Ð%Ó &Ø ˜Ÿ ™  VÐ ,ð ð ˜fŸm™mÐ ,Ø ! 6§=¡=Ð 1Ø ! 6§=¡=Ð 1à ! 6§=¡=Ð 1ð  ñcX�Fr�r)%rrPÚpygments.lexerrrrrrrr r Úpygments.tokenr r r rrrrrrrÚpygmentsrr�Ú__all__rrrrrr0rrrrrrœr�ržÚr©sÎðñó ÷'÷'ó'÷-÷-÷-å%ò 0€ô B�:ôBôJ�ôô,m�ômô`G� ôGôTF*�:ôF*ôR=Z�Eô=Zô@9˜=ô9ô.9˜ô9ô.M˜ ôMô.:˜=ô:ô.U� õUr�