ó
    öÞ j+‚  ã                   ón  • S r SSKrSSKJrJrJrJrJrJrJ	r	J
r
  SSKJrJrJrJrJrJrJrJrJrJr  SSKJr  / SQr " S S\5      r " S	 S
\5      r " S S\5      r " S S\5      r " S S\5      r " S S\5      r " S S\5      r  " S S\5      r! " S S\5      r" " S S\5      r# " S S\5      r$g)zË
pygments.lexers.haskell
~~~~~~~~~~~~~~~~~~~~~~~

Lexers for Haskell and related languages.

:copyright: Copyright 2006-present 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                   óì  • \ rS rSrSrSrSrSS/rS/rS/r	S	r
S
rSr/ S\4PS\R                  4PS\R                   S4PS\R$                  S4PS\R$                  S4PS\R(                  4PSR+                  SR-                  \5      5      \R$                  4PS\R0                  4PS\R0                  4PS\R4                  -   S-   \R6                  4PS\R4                  -   S-   \4PS\R8                  -   S-   \R:                  4PS\R8                  -   S-   \R:                  4PS\R:                  4PS \R:                  4PS!\R:                  4PS"\R6                  4PS#\R>                  4PS$\R:                  4PS%\4PS&\ RB                  4PS'\ RB                  4PS(\ RB                  4PS)\ RB                  4PS*\ RD                  4PS+\ RF                  4PS,\ RH                  4PS-\ RJ                  4PS.\R0                  S/4PS0\S14PS2\R:                  4PS3\RL                  4PS4\'4PS\4S0\S14S5\'S64S7\4S8\R8                  -   S9-   \R8                  -   S:-   \(" \RR                  \\\\5      S64S8\R8                  -   S;-   \(" \RR                  \\\\'5      S<4S8\R8                  -   S=-   \(" \RR                  \\'5      S<4S>\RR                  S64/S\4S8\R8                  -   S=-   \(" \RR                  \\'5      S<4S?\R8                  -   S@-   \RR                  S64/S\4S?\R8                  -   SA-   \R:                  4SB\R4                  -   SC-   \R6                  4S\R                  4S\R                   S4SD\'4S%\4SE\'SF4S5\'SG4/	SH\R                   4S\R                   SI4SJ\R                   S64SK\R                   4/SL\R0                  S64SM\RT                  SN4S.\R0                  S64/SO\4SM\RT                  SN4S0\S64/SP\RT                  S64SQ\R8                  -   SR-   \RT                  S64SR-                  \5      \RT                  S64SS\RT                  S64ST\RT                  S64SU\RT                  S64SV\(" \\RT                  5      S64/SW.r+SXr,gY)Zr   é   zH
A Haskell lexer based on the lexemes defined in the Haskell 98 Report.
ÚHaskellzhttps://www.haskell.org/ÚhaskellÚhsz*.hsztext/x-haskellz0.8)Ú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ÚCRzS[OI]ÚDLEzDC[1-4]ÚNAKÚSYNÚETBÚCANÚEMÚSUBÚESCz[FGRU]SÚSPÚDELú\s+ú!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$ú\{-Úcommentú
\bimport\bÚimportú
\bmodule\bÚmoduleú	\berror\bú\b({})(?!\')\bÚ|z'[^\\]'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)*)?z0[bB]_*[01](_*[01])*z0[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\']*)Ú,ú\(©rg   rg   ú#pop:2ú[^-{}]+ú#pushú-\}ú[-{}]ú[^\\']'ú\\Úescapeú[^\\"]+ú[abfnrtv"\'&\\]z\^[][z@^_]úo[0-7]+úx[\da-fA-F]+ú\d+ú	(\s+)(\\)©ÚrootrS   rU   rg   rQ   r^   r`   rt   © N)-Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__doc__ÚnameÚurlÚaliasesÚ	filenamesÚ	mimetypesÚversion_addedÚreservedÚasciir   r   ÚSingleÚ	Multiliner   ÚReservedr   Ú	ExceptionÚformatÚjoinr   ÚCharÚuniÚLlÚFunctionÚLuÚTyper   ÚWordr   ÚFloatÚBinÚOctÚHexÚIntegerÚBuiltinr   r   Ú	NamespaceÚEscapeÚtokensÚ__static_attributes__r}   ó    ÚQ/var/www/html/gaurav/venv/lib/python3.13/site-packages/pygments/lexers/haskell.pyr   r      sç  † ñð €DØ
$€CØ˜$Ð€GØ�€IØ!Ð"€IØ€MðF€Hð9€Eð+
à�ZÐ ð+
ð 2°7·>±>ÐBð	+
ð
 �W×&Ñ&¨	Ð2ð+
ð ˜G×,Ñ,¨hÐ7ð+
ð ˜G×,Ñ,¨hÐ7ð+
ð ˜4Ÿ>™>Ð*ð+
ð ×%Ñ% c§h¡h¨xÓ&8Ó9¸7×;KÑ;KÐLð+
ð ˜Ÿ™Ð%ð+
ð �v—{‘{Ð#ð+
ð �c—f‘f‰_˜{Ñ*¨D¯M©MÐ:ð+
ð �s—v‘vÑ 
Ñ*¨DÐ1ð+
ð  ˜Ÿ™Ñ +Ñ-¨w¯|©|Ð<ð!+
ð" �s—v‘vÑ Ñ+¨W¯\©\Ð:ð#+
ð$ ˜wŸ|™|Ð,ð%+
ð& ˜gŸl™lÐ+ð'+
ð( ,¨W¯\©\Ð:ð)+
ð, /°·±Ð>ð-+
ð. <¸X¿]¹]ÐKð/+
ð0 *¨7¯<©<Ð8ð1+
ð2 )¨(Ð3ð3+
ð6 EÀfÇlÁlÐSð7+
ð8(Ø)/¯©ð7ð9+
ð< .¨v¯|©|Ð<ð=+
ð> <¸V¿\¹\ÐJð?+
ð@ % f§j¡jÐ1ðA+
ðB '¨¯
©
Ð3ðC+
ðD 1°&·*±*Ð=ðE+
ðF ˜6Ÿ>™>Ð*ðG+
ðJ �6—;‘; Ð,ðK+
ðL �6˜8Ð$ðM+
ðP �g—l‘lÐ#ðQ+
ðR �d—l‘lÐ#ðS+
ðT ˜[Ð)ðU+
ð\ �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ð
ñMoƒFr¢   r   c            	       ó¸   • \ rS rSrSrSrS/rS/r/ rSr	SS\
" \\\R                  5      4S	\
" \\\R                  5      4S
\
" \\\R                  5      4\/0rSrg)r   é�   z4
A Haskell lexer with support for Hspec constructs.
ÚHspecÚhspecz*Spec.hsz2.4r|   z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")r}   N)r~   r   r€   r�   r‚   rƒ   r…   r†   r‡   rˆ   r   r   r   r   ÚDocr	   r    r¡   r}   r¢   r£   r   r   �   sy   † ñð €DØˆi€GØ�€IØ€IØ€Mð 	Ø"¡H¨T°:¸v¿z¹zÓ$JÐKØ(©(°4¸ÀVÇZÁZÓ*PÐQØ'©°$¸
ÀFÇJÁJÓ)OÐPØð	
ðƒFr¢   r   c                   ó–  • \ rS rSrSrSrSrSS/rS/rS/r	S	r
S
rSrSrSR                  SR                  \5      5      \" \\R&                  5      4S\" \\R*                  5      4S\" \\R*                  5      4S\" \\R,                  5      S4S\" \\R0                  \\R4                  \5      4SR                  SR                  \5      5      \R&                  4S\" \R&                  \5      S4S\R6                  4S\4S\R4                  4S\R4                  4S\R<                  4S\R<                  4S\R>                  4S\R@                  4S\!RD                  S 4S!\!S"4S#\4S$\4/S%\4S&\" \RF                  \\$5      S'4S(\RF                  S)4/S%\4S*\R6                  4S+\R0                  4S,\R*                  4S-\R,                  S4S.\$4S/\4S0\$S14S2\$S34/	S4\R,                  4S-\R,                  S54S6\R,                  S)4S7\R,                  4/S8\!RD                  4S9\!RJ                  S:4S\!RD                  S)4/S;\!4S9\!RJ                  S:4S!\!S)4/S<\!RJ                  S)4S=\!RJ                  S)4SR                  \5      \!RJ                  S)4S>\!RJ                  S)4S?\!RJ                  S)4S\!RJ                  S)4S@\" \\!RJ                  5      S)4/SA.r&SBr'gC)Dr   é²   ze
A lexer for the dependently typed programming language Idris.

Based on the Haskell and Agda Lexer.
ÚIdriszhttps://www.idris-lang.org/ÚidrisÚidrz*.idrztext/x-idrisú2.0)3r%   r&   r'   r   Úusingr)   r*   r,   r-   r.   r/   ÚrewriteÚautoÚ	namespaceÚcodataÚmutualÚprivateÚpublicÚabstractÚtotalÚpartialÚ	interfaceÚimplementationÚexportÚcoveringÚconstructorr0   Úproofr2   r3   Ústaticr5   r6   ÚwithÚpatternÚtermÚsyntaxÚprefixÚ	postulateÚ
parametersÚrecordÚdslÚ
impossibleÚimplicitÚtacticsÚintrosÚintroÚcomputeÚrefineÚexactÚtrivialr7   )ÚlibÚlinkÚflagr   ÚhideÚfreezeÚaccessr   ÚloggingÚdynamicrƒ   Úerror_handlersÚlanguagez^(\s*)(%({}))rX   z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z
(\s*)(\{-)rQ   ú^(\s*)([^\s(){}]+)(\s*)(:)(\s*)rW   ú(import|module)(\s+)rU   ú('')?[A-Z][\w\']*z[a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)ú\d+[eE][+-]?\d+ú\d+\.\d+([eE][+-]?\d+)?ú0[xX][\da-fA-F]+ry   r]   r^   r_   r`   ú
[^\s(){}]+ú\s+?rN   ú([A-Z][\w.]*)(\s+)(\()rg   ú[A-Z][\w.]*re   ú[A-Z]\w*ú(_[\w\']+|[a-z][\w\']*)z--.*$rP   rj   r\   rk   rl   rd   rm   rn   ro   rp   rq   z[^\\']rs   rt   ru   rv   ú\^[][A-Z@^_]rw   rx   rz   )r|   rU   rg   rQ   r^   r`   rt   r}   N)(r~   r   r€   r�   r‚   rƒ   r„   r…   r†   r‡   rˆ   r‰   rŠ   Ú
directivesr�   r�   r   r   r   r�   r   r‹   rŒ   r   r”   r   r—   r–   r   r   r˜   r›   rœ   r   r‘   rž   r   rŸ   r    r¡   r}   r¢   r£   r   r   ²   sR  † ñð
 €DØ
'€CØ˜Ð€GØ�	€IØÐ €IØ€MðW€Hð9€Eð
Y€Jð ×$Ñ$ S§X¡X¨jÓ%9Ó:Ù�j '×"2Ñ"2Ó3ð5à8¹(À:ÈwÏ~É~Ó:^Ð_Ø ¡(¨:°w·~±~Ó"FÐGØ™H Z°×1BÑ1BÓCÀYÐOà/Ù�j $§-¡-°¸X¿]¹]ÈJÓWðYð ×%Ñ% c§h¡h¨xÓ&8Ó9¸7×;KÑ;KÐLØ$¡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ð
ñIMƒFr¢   r   c                   ó2  • \ rS rSrSrSrSrS/rS/rS/r	Sr
S	rS
\" \\R                  \\R"                  \5      4S\R&                  4S\R(                  S4S\R*                  S4SR-                  SR/                  \5      5      \R2                  4S\" \R2                  \5      S4S\R4                  4S\4S\R"                  4S\R8                  4S\R8                  4S\R:                  4S\R<                  4S\R@                  S4S\S4S\!4S \4/S!\R*                  4S\R*                  S"4S#\R*                  S$4S%\R*                  4/S\R(                  S4S&\S$4S'\!4/\"RF                  S   \"RF                  S   \"RF                  S   \"RF                  S(   S).r#S*r$g+),r   i!  zU
For the Agda dependently typed functional programming language and
proof assistant.
ÚAgdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpÚagdaz*.agdaztext/x-agdar®   )+r·   r³   Úcoinductiver¾   r'   r)   zeta-equalityÚfieldÚforallÚhidingr-   Ú	inductiveÚinfixÚinfixlÚinfixrr/   Úinterleavedr0   Úmacror´   zno-eta-equalityÚopaqueÚopenÚoverlaprÂ   rÆ   Ú	primitiverµ   ÚquoteÚ	quoteTermrÈ   Úrenamingr°   rÄ   ÚtacticÚ	unfoldingÚunquoteÚunquoteDeclÚ
unquoteDefr¯   Úvariabler5   rÁ   rÝ   rO   rP   rQ   z\{!ÚholerW   rX   rÞ   rU   z\b(Set|Prop)[\u2080-\u2089]*\bz(\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rà   rá   râ   ry   r]   r^   r_   r`   rã   rä   z[^!{}]+ro   z!\}re   z[!{}]z[a-zA-Z][\w.\']*z	[\W0-9_]+rt   )r|   r  rU   rQ   r^   r`   rt   r}   N)%r~   r   r€   r�   r‚   rƒ   r„   r…   r†   r‡   rˆ   r‰   r   r   r   r”   r   r—   r   r‹   rŒ   Ú	Directiver�   r�   r   r�   r–   r   r˜   r›   rœ   r   r‘   r   r   r    r¡   r}   r¢   r£   r   r   !  sñ  † ñð
 €DØ
:€CØˆh€GØ�
€IØ�€IØ€Mð€Hð 0Ù�j $§-¡-°Ø—m‘m Zó1ð2ð 2°7·>±>ÐBØ�W×&Ñ&¨	Ð2à�W×&Ñ&¨Ð/ð ×%Ñ% c§h¡h¨xÓ&8Ó9¸7×;KÑ;KÐLØ$¡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¢   r   c                   óø  • \ rS rSrSrSrSS/rS/rS/rSr	S	r
S
rSrS\4S\R                  4S\R                   S4S\R$                  S4S\R$                  S4S\R(                  4SR+                  SR-                  \5      5      \R$                  4S\R.                  4S\4S\R0                  4S\R.                  4S\R4                  4S\R0                  4S\4S\R8                  4S\R8                  4S \R:                  4S!\R<                  4S"\R>                  4S#\ RB                  S$4S%\ S&4S'\R0                  4S(\RD                  4S)\#4/S\4S%\ S&4S*\#S+4S,\4S-\$" \RJ                  \\\\5      S+4S.\$" \RJ                  \\\\#5      S/4S0\$" \RJ                  \\#5      S/4S1\RJ                  S+4/S\4S0\$" \RJ                  \\#5      S/4S2\RJ                  S+4/S\4S3\R0                  4S4\R.                  4S5\#4S\4S6\#S74S*\#S84/S9\R                   4S\R                   S:4S;\R                   S+4S<\R                   4/S=\ RB                  S+4S>\ RL                  S?4S#\ RB                  S+4/S@\ 4S>\ RL                  S?4S%\ S+4/SA\ RL                  S+4SB\ RL                  S+4SR-                  \5      \ RL                  S+4SC\ RL                  S+4SD\ RL                  S+4S"\ RL                  S+4SE\$" \\ RL                  5      S+4/SF.r'1 SGkr(SH r)SIr*gJ)Kr   ij  zP
FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report.
ÚCryptolÚcryptolÚcryz*.cryztext/x-cryptolúhttps://www.cryptol.netr®   )ÚArithÚBitÚCmpÚFalseÚInfÚTruer*   r¼   ÚexternÚfinr,   rS   ÚinfÚlg2ÚmaxÚminrU   r1   ÚpragmaÚpropertyr3   r4   r5   Úwidthr7   rN   ú//.*$ú/\*rQ   rR   rS   rT   rU   rV   rW   rX   z^[_a-z][\w\']*z'?[_a-z][\w']*rß   rY   rZ   r[   r\   rà   rá   z0[oO][0-7]+râ   ry   r]   r^   r_   r`   ra   rb   rc   rd   re   rf   z(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rg   rå   rh   ræ   rç   rè   rj   rk   rl   rm   ú[^/*]+ro   ú\*/ú[*/]rr   rs   rt   ru   rv   ré   rw   rx   rz   r{   >   ÚparÚregÚseqr�   ÚtailÚconstÚerrorÚsplitÚtracer  ÚASSERTÚlengthÚreverseÚ	transposeÚ	undefinedú<<ú>>ú<<<ú>>>c              #   ó¾   #   • S/n[         R                  " XU5       H;  u  p4nU[        L a&  XPR                  ;   a  U[        R                  U4v •  M5  X4U4v •  M=     g 7f)Nr|   )r   Úget_tokens_unprocessedr   ÚEXTRA_KEYWORDSr�   )ÚselfÚtextÚstackÚindexÚtokenÚvalues         r£   r2  Ú#CryptolLexer.get_tokens_unprocessedé  sY   é € Ø�ˆä×1Ò1°$¸eÖDñ  ˆE˜%àœŠ} ×*=Ñ*=Ó!=ØœTŸ\™\¨5Ð0Ô0à EÐ)Ô)ò	 Eùs   ‚AAr}   N)+r~   r   r€   r�   r‚   rƒ   r…   r†   r‡   r„   rˆ   r‰   rŠ   r   r   r‹   rŒ   r   r�   r   rŽ   r�   r�   r”   r–   r   r—   r   r˜   rš   r›   rœ   r   r‘   r�   r   r   rž   rŸ   r    r3  r2  r¡   r}   r¢   r£   r   r   j  sÄ  † ñð €DØ˜%Ð €GØ�	€IØ!Ð"€IØ
#€CØ€Mð2€Hð9€Eð �ZÐ à�w—~‘~Ð&Ø�W×&Ñ&¨	Ð2ð ˜G×,Ñ,¨hÐ7Ø˜G×,Ñ,¨hÐ7Ø˜4Ÿ>™>Ð*Ø×%Ñ% c§h¡h¨xÓ&8Ó9¸7×;KÑ;KÐLØ §¡Ð.Ø Ð%Ø! 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ð
ñwd€FòL€Nõ
*r¢   r   c                   óH   • \ rS rSrSr\R                  " S5      rS rS r	Sr
g)ÚLiterateLexerió  au  
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                 ó>   • Xl         [        R                  " U 40 UD6  g )N)Ú	baselexerr   Ú__init__)r4  r>  Úoptionss      r£   r?  ÚLiterateLexer.__init__  s   € Ø"ŒÜ�Š�tÑ'˜wÓ'r¢   c           	   #   óÎ  #   • U R                   R                  S5      nUc(  UR                  5       SS S;   =(       a    S=(       d    SnSn/ nUS:X  aÇ  [        R                  " U5       H«  nUR                  5       nU R                  R                  U5      nU(       aR  UR                  [        U5      S[        R                  UR                  S5      4/45        X7R                  S5      -  nM‡  UR                  [        U5      S[        U4/45        M­     GOSS	KJn  U" S0 U R                   D6n	Sn
Sn[        R                  " U5       H²  nUR                  5       nU
(       a2  UR                  5       R                  S
5      (       a  Sn
X¶-  nMF  X6-  nML  UR                  5       R                  S5      (       a>  Sn
X¶-  nUR                  [        U5      [!        U	R#                  U5      5      45        SnM®  X¶-  nM´     UR                  [        U5      [!        U	R#                  U5      5      45        [%        X@R&                  R#                  U5      5       S h  v•N   g  N7f)NÚlitstyler   é   z%\ÚlatexÚbirdÚ é   )ÚTexLexerz
\end{code}z\begin{code}r}   )r@  ÚgetÚlstripr
   ÚfinditerÚgroupÚbird_reÚmatchÚappendÚlenr   ÚSpecialr   Úpygments.lexers.markuprI  Ú
startswithÚlistr2  r   r>  )r4  r5  ÚstyleÚcodeÚ
insertionsrO  ÚlineÚmrI  ÚlxlexerÚ	codelinesrE  s               r£   r2  Ú$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àŸG™G A›JÑ&’Dà×%Ñ%¤s¨4£y°A´t¸T°?Ð2CÐ&DÖEó 0õ 8ÙÑ. §¡Ñ.ˆGØˆIØˆEÜ ×)Ò)¨$Ö/�Ø—{‘{“}�ÞØ—{‘{“}×/Ñ/°×>Ñ>Ø$%˜	Ø™šà™šØ—[‘[“]×-Ñ-¨o×>Ñ>Ø !�IØ‘M�EØ×%Ñ%¤s¨4£yÜ'+¨G×,JÑ,JÈ5Ó,QÓ'Rð'Tô Uà’Eà‘M’Eñ 0ð  ×Ñœs 4›yÜ# G×$BÑ$BÀ5Ó$IÓJðLô Mä  ¯^©^×-RÑ-RÐSWÓ-XÓY×YÓYùs   ‚II%ÉI#ÉI%)r>  N)r~   r   r€   r�   r‚   ÚreÚcompilerN  r?  r2  r¡   r}   r¢   r£   r<  r<  ó  s#   † ñ
ð �jŠjÐ+Ó,€Gò(õ*Zr¢   r<  c                   ó>   • \ rS rSrSrSr/ SQrS/rS/rSr	Sr
S	 rS
rg)r   i3  a7  
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.
zLiterate Haskell)zliterate-haskellÚlhaskellÚlhsz*.lhsztext/x-literate-haskellz-https://wiki.haskell.org/Literate_programmingz0.9c                 óH   • [        S0 UD6n[        R                  " X40 UD6  g ©Nr}   )r   r<  r?  ©r4  r@  Úhslexers      r£   r?  ÚLiterateHaskellLexer.__init__E  s"   € ÜÑ) Ñ)ˆÜ×Ò˜tÑ8°Ó8r¢   r}   N©r~   r   r€   r�   r‚   rƒ   r…   r†   r‡   r„   rˆ   r?  r¡   r}   r¢   r£   r   r   3  s1   † ñ	ð €DÚ5€GØ�	€IØ*Ð+€IØ
9€CØ€Mõ9r¢   r   c                   ó>   • \ rS rSrSrSr/ SQrS/rS/rSr	Sr
S	 rS
rg)r   iJ  a5  
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.
zLiterate Idris)zliterate-idrisÚlidrisÚlidrz*.lidrztext/x-literate-idrisz?https://idris2.readthedocs.io/en/latest/reference/literate.htmlr®   c                 óH   • [        S0 UD6n[        R                  " X40 UD6  g rd  )r   r<  r?  re  s      r£   r?  ÚLiterateIdrisLexer.__init__\  s"   € ÜÑ'˜wÑ'ˆÜ×Ò˜tÑ8°Ó8r¢   r}   Nrh  r}   r¢   r£   r   r   J  s1   † ñ	ð €DÚ2€GØ�
€IØ(Ð)€IØ
K€CØ€Mõ9r¢   r   c                   ó>   • \ rS rSrSrSrSS/rS/rS/rSr	S	r
S
 rSrg)r   ia  a  
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.
zLiterate Agdazliterate-agdaÚlagdaz*.lagdaztext/x-literate-agdazEhttps://agda.readthedocs.io/en/latest/tools/literate-programming.htmlr®   c                 óL   • [        S0 UD6n[        R                  " X4SS0UD6  g )NrC  rE  r}   )r   r<  r?  )r4  r@  Ú	agdalexers      r£   r?  ÚLiterateAgdaLexer.__init__s  s'   € ÜÑ( Ñ(ˆ	Ü×Ò˜tÑL¸ÐLÀGÓLr¢   r}   Nrh  r}   r¢   r£   r   r   a  s7   † ñ	ð €DØ Ð(€GØ�€IØ'Ð(€IØ
Q€CØ€MõMr¢   r   c                   ó>   • \ rS rSrSrSr/ SQrS/rS/rSr	Sr
S	 rS
rg)r   ix  a7  
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.
zLiterate Cryptol)zliterate-cryptolÚlcryptolÚlcryz*.lcryztext/x-literate-cryptolr  r®   c                 óH   • [        S0 UD6n[        R                  " X40 UD6  g rd  )r   r<  r?  )r4  r@  Úcrylexers      r£   r?  ÚLiterateCryptolLexer.__init__Š  s"   € ÜÑ* 'Ñ*ˆÜ×Ò˜tÑ9°Ó9r¢   r}   Nrh  r}   r¢   r£   r   r   x  s1   † ñ	ð €DÚ6€GØ�
€IØ*Ð+€IØ
#€CØ€Mõ:r¢   r   c                   ó�  • \ rS rSrSrSrSrS/rSS/rS/r	S	r
/ S
Qr/ SQr/ SQr/ SQrSrS\-   S-   rSr\R&                  r\R*                  r\R0                  r\" S5      S\-   \S4S\" \\\5      S4S\" \\\5      S4SR=                  SR?                  \5      5      S-   \" \\\5      S4S\" \\\\\R@                  5      4S\" \\\R@                  \\\\\\R@                  5	      4S\-   S-   \" \\\\\RB                  5      4S \-   S-   \" \\\\\\\RB                  5      4SR=                  SR?                  \5      5      \-   \RD                  4SR=                  SR?                  \5      5      \-   \4SR=                  SR?                  \5      5      \-   \RF                  4S!\-   \4S"\" \R@                  \5      4S#\" \R@                  \5      4S$\-   S-   \" \R@                  \5      4S%\RH                  4S&\%RL                  S'4\S(-   \'4S)\'4S*\(4S+\)RT                  4S,\)RV                  4S-\)RX                  4S.\%RZ                  S/4S0\%RL                  S14/S2\4\" S5      /S3\(S44\" S5      /S5\S64\" S75      /S8\S44S5\S64S9\4S:\" \\\5      4\" S75      /\" S5      SR=                  SR?                  \5      5      \-   \4S;R=                  SR?                  \5      5      \-   S<-   \S44S=\-   \4S>\4S%\RH                  4S"\" \R@                  \5      4S?\" \R@                  \5      4S@\4\." S45      /
SA\" \\/R`                  5      4SB\4SC\/Rb                  SD4SE\/Rd                  4/SF\/Rb                  4SC\/Rb                  SG4SH\/Rb                  S44SI\/Rb                  4/SJ\%RL                  4SK\%Rf                  4S0\%RL                  S44/SL\%RL                  4\" SM5      SN\%RL                  S44/SO\%RZ                  4\" SM5      SP\%RZ                  S44/SQ\%Rf                  4SR\%Rf                  4SS\%Rf                  4ST\%Rf                  4/SU.r4SVr5gW)Xr   i�  z
Lexer for the Koka language.
ÚKokaz/https://koka-lang.github.io/koka/doc/index.htmlÚkokaz*.kkz*.kkiztext/x-kokaz1.6)"ró   rõ   rô   r4   ÚcotypeÚrectypeÚaliasÚstructÚconÚfunÚfunctionÚvalÚvarÚexternalr,   r3   r*   ÚelifÚreturnrO  rµ   r¶   rµ   rU   rS   Úasr   ÚinlineÚrecÚtryÚyieldÚenumrº   r/   )r4   r|  r}  r~  r  r�  )rð   ÚexistsÚsomerÁ   )ÚforÚwhileÚrepeatÚforeachzforeach-indexedr%  ÚcatchÚfinallyÚcsÚjsÚfileÚrefÚassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!Ú)z	(?![\w/])Ú
whitespacez::?r4   z(alias)(\s+)([a-z]\w*)?ú
alias-typez(struct)(\s+)([a-z]\w*)?ústruct-typez({})rX   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))?((?<!^)\s+)?(external)(\s+)(inline(?=\s))?(\s+)?([a-z]\w*|\((?:z::?|:=|\->|[=.]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]+)?z0[xX][0-9a-fA-F]+z[0-9]+r]   Úcharr_   r`   Ú=z(?=\((?!,*\)))re   z[(\[<]útype-nestedútype-contentz[)\]>]rj   z([a-z]\w*)(\s*)(:)(?!:)z(?=(({})z))z[EPHVX]z[a-z][0-9]*(?![\w/])z((?:[a-z]\w*/)*)([a-z]\w+)z::|->|[.:|]z(\n\s*)(#.*)$rN   r  rQ   r  r  ro   r  r  z[^"]+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ž  r4   r£  r¤  rœ  rQ   rŸ  r`   r¡  r¥  r}   N)6r~   r   r€   r�   r‚   rƒ   r„   r…   r†   r‡   rˆ   ÚkeywordsÚtypeStartKeywordsÚtypekeywordsÚbuiltinÚsymbolsÚ	sboundaryÚboundaryr   Ú	AttributeÚ	tokenTypeÚClassÚtokenTypeDefr   ÚEmphÚtokenConstructorr   r   r   r   r�   r�   rž   r”   r–   ÚPseudoÚVariabler   ÚDoubler   r   r   r˜   r›   rœ   r‘   r   r   ÚPreprocrŒ   r‹   rŸ   r    r¡   r}   r¢   r£   r   r   �  sƒ  † ñð €DØ
;€CØˆh€GØ˜Ð!€IØ�€IØ€Mò€Hò Ðò
€Lò
€Gð *€Gð ˜‘ #Ñ%€Ið €Hð —‘€IØ—:‘:€LØ—|‘|Ðñ
 �LÓ!ð �iÑ ¨FÐ3Ø'©°'¸:À|Ó)TØðà(©(°7¸JÈÓ*UØðà�n‰n˜SŸX™XÐ&7Ó8Ó9Ø ñ!Ù"*¨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ð
 �^‰^˜CŸH™H \Ó2Ó3°hÑ>ÀÇÁÐMØ�^‰^˜CŸH™H XÓ.Ó/°(Ñ:¸GÐDØ�^‰^˜CŸH™H WÓ-Ó.°Ñ9¸7¿>¹>ÐJØ )Ñ+¨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Ó!ð �^‰^˜CŸH™H \Ó2Ó3°hÑ>ÀÐHØ×Ñ §¡¨Ó 2Ó3°hÑ>ÀÑEØ�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ð
ñcXƒFr¢   r   )%r‚   r^  Úpygments.lexerr   r   r   r   r   r   r	   r
   Úpygments.tokenr   r   r   r   r   r   r   r   r   r   Úpygmentsr   r’   Ú__all__r   r   r   r   r   r<  r   r   r   r   r   r}   r¢   r£   Ú<module>r»     sÎ   ðñó 
÷'÷ 'ó '÷-÷ -÷ -å %ò0€ô
B�:ô BôJ�ô ô*l�ô lô^F�
ô FôRF*�:ô F*ôR=Z�Eô =Zô@9˜=ô 9ô.9˜ô 9ô.M˜ô Mô.:˜=ô :ô.T�
õ Tr¢   