+
    IV-j+‚  ã                   óp  € R t ^ RIt^ RIHtHtHtHtHtHtH	t	H
t
 ^ RIHtHtHtHtHtHtHtHtHtHt ^ RIHt . ROt ! R R]4      t ! R R]4      t ! R R]4      t ! R R]4      t ! R R	]4      t ! R R]4      t ! R R
]4      t  ! R R]4      t! ! R R]4      t" ! R R]4      t# ! R R]4      t$R# )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                   óÌ	  € ] tR t^tRtRtRtRR.tR.tR.t	Rt
RVtRWtR	. R
]3NR]P                  3NR]P                   R3NR]P$                  R3NR]P$                  R3NR]P(                  3NRP+                  RP-                  ]4      4      ]P$                  3NR]P0                  3NR]P0                  3NR]P4                  ,           R,           ]P6                  3NR]P4                  ,           R,           ]3NR]P8                  ,           R,           ]P:                  3NR]P8                  ,           R,           ]P:                  3NR]P:                  3NR]P:                  3NR]P:                  3NR ]P6                  3NR!]P>                  3NR"]P:                  3NR#]3NR$] PB                  3NR%] PB                  3NR&] PB                  3NR'] PB                  3NR(] PD                  3NR)] PF                  3NR*] PH                  3NR+] PJ                  3NR,]P0                  R-3NR.]R/3NR0]P:                  3NR1]PL                  3NR2]'3NRR
]3R.]R/3R3]'R43R5]3R6]P8                  ,           R7,           ]P8                  ,           R8,           ](! ]PR                  ]]]]4      R43R6]P8                  ,           R9,           ](! ]PR                  ]]]]'4      R:3R6]P8                  ,           R;,           ](! ]PR                  ]]'4      R:3R<]PR                  R43.RR
]3R6]P8                  ,           R;,           ](! ]PR                  ]]'4      R:3R=]P8                  ,           R>,           ]PR                  R43.R:R
]3R=]P8                  ,           R?,           ]P:                  3R@]P4                  ,           RA,           ]P6                  3R]P                  3R]P                   R3RB]'3R#]3RC]'RX3R3]'RD3.	RRE]P                   3R]P                   RF3RG]P                   R43RH]P                   3.R-RI]P0                  R43RJ]PT                  RK3R,]P0                  R43.R/RL]3RJ]PT                  RK3R.]R43.RKRM]PT                  R43RN]P8                  ,           RO,           ]PT                  R43RP-                  ]4      ]PT                  R43RP]PT                  R43RQ]PT                  R43RR]PT                  R43RS](! ]]PT                  4      R43./t+RTt,RU# )Yr   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Úrootú\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\']*)Ú,ú\(ú#pop:2ú[^-{}]+ú#pushú-\}ú[-{}]ú[^\\']'ú\\Úescapeú[^\\"]+ú[abfnrtv"\'&\\]z\^[][z@^_]úo[0-7]+úx[\da-fA-F]+ú\d+ú	(\s+)(\\)© N)Ú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©r=   r=   )-Ú__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__rP   ó    Úh/Volumes/fast/ai/experiments/ui-tars-smoke/.venv/lib/python3.14/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+
ðX 	à�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Ÿ   c            	       óº   € ] tR t^�tRtRtR.tR.t. tRt	RR]
! ]]]P                  4      3R]
! ]]]P                  4      3R	]
! ]]]P                  4      3]./tR
tR# )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*)("[^"]*")rP   N)r{   r|   r}   r~   r   r€   r‚   rƒ   r„   r…   r   r
   r   r   ÚDocr   r�   rž   rP   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Ÿ   c                   ó¤  € ] tR t^²tRtRtRtRR.tR.tR.t	Rt
R?tR@tRAtR	R
P                  RP                  ]4      4      ]! ]]P&                  4      3R]! ]]P*                  4      3R]! ]]P*                  4      3R]! ]]P,                  4      R3R]! ]]P0                  ]]P4                  ]4      3RP                  RP                  ]4      4      ]P&                  3R]! ]P&                  ]4      R3R]P6                  3R]3R]P4                  3R]P4                  3R]P<                  3R]P<                  3R]P>                  3R]P@                  3R]!PD                  R3R]!R3R ]3R!]3.RR"]3R#]! ]PF                  ]]$4      R$3R%]PF                  R&3.R$R"]3R']P6                  3R(]P0                  3R)]P*                  3R*]P,                  R3R+]$3R,]3R-]$RB3R.]$R/3.	RR0]P,                  3R*]P,                  R13R2]P,                  R&3R3]P,                  3.RR4]!PD                  3R5]!PJ                  R63R]!PD                  R&3.RR7]!3R5]!PJ                  R63R]!R&3.R6R8]!PJ                  R&3R9]!PJ                  R&3RP                  ]4      ]!PJ                  R&3R:]!PJ                  R&3R;]!PJ                  R&3R]!PJ                  R&3R<]! ]]!PJ                  4      R&3./t&R=t'R># )Cr   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.0r#   z^(\s*)(%({}))r.   z((\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]+rN   r3   r4   r5   r6   ú
[^\s(){}]+ú\s+?r$   ú([A-Z][\w.]*)(\s+)(\()r=   ú[A-Z][\w.]*r;   ú[A-Z]\w*ú(_[\w\']+|[a-z][\w\']*)z--.*$r&   r@   r2   rA   r:   rB   rC   rD   rE   rF   z[^\\']rH   rI   rJ   rK   ú\^[][A-Z@^_]rL   rM   rO   rP   N)3rQ   rR   rS   r   ÚusingrU   rV   rX   rY   rZ   r[   ÚrewriteÚautoÚ	namespaceÚcodataÚmutualÚprivateÚpublicÚabstractÚtotalÚpartialÚ	interfaceÚimplementationÚexportÚcoveringÚconstructorr\   Úproofr^   r_   Ústaticra   rb   ÚwithÚpatternÚtermÚsyntaxÚprefixÚ	postulateÚ
parametersÚrecordÚdslÚ
impossibleÚimplicitÚtacticsÚintrosÚintroÚcomputeÚrefineÚexactÚtrivialrc   )ÚlibÚlinkÚflagr   ÚhideÚfreezeÚaccessr   ÚloggingÚdynamicr€   Úerror_handlersÚlanguagerz   )(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ž   rP   rŸ   r    r   r   ²   sg  † ñð
 €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Ÿ   c                   ó`  € ] tR tRtRtRtRtR.tR.tR.t	Rt
R+tR	R
]! ]]P                  ]]P"                  ]4      3R]P&                  3R]P(                  R3R]P*                  R3RP-                  RP/                  ]4      4      ]P2                  3R]! ]P2                  ]4      R3R]P4                  3R]3R]P"                  3R]P8                  3R]P8                  3R]P:                  3R]P<                  3R]P@                  R3R]R3R]!3R ]3.RR!]P*                  3R]P*                  R"3R#]P*                  R$3R%]P*                  3.RR]P(                  R3R&]R$3R']!3.R]"PF                  R,          R]"PF                  R,          R]"PF                  R,          R(]"PF                  R(,          /t#R)t$R*# ),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ª   r%   r&   r'   z\{!Úholer-   r.   r«   r+   z\b(Set|Prop)[\u2080-\u2089]*\bz(\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)r­   r®   r¯   rN   r3   r4   r5   r6   r°   r±   z[^!{}]+rD   z!\}r;   z[!{}]z[a-zA-Z][\w.\']*z	[\W0-9_]+rI   rP   N)+r¿   r»   ÚcoinductiverÆ   rS   rU   zeta-equalityÚfieldÚforallÚhidingrY   Ú	inductiveÚinfixÚinfixlÚinfixrr[   Úinterleavedr\   Úmacror¼   zno-eta-equalityÚopaqueÚopenÚoverlaprÊ   rÎ   Ú	primitiver½   ÚquoteÚ	quoteTermrÐ   Úrenamingr¸   rÌ   ÚtacticÚ	unfoldingÚunquoteÚunquoteDeclÚ
unquoteDefr·   Úvariablera   rÉ   )%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ž   rP   rŸ   r    r   r   !  s  † ñð
 €DØ
:€CØˆh€GØ�
€IØ�€IØ€Mð€Hð 	à/Ù�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Ÿ   c                   ó  a € ] tR tRt o RtRtRR.tR.tR.tRt	R	t
RGtRHtRR]3R]P                  3R]P                   R3R]P$                  R
3R]P$                  R3R]P(                  3RP+                  RP-                  ]4      4      ]P$                  3R]P.                  3R]3R]P0                  3R]P.                  3R]P4                  3R]P0                  3R]3R]P8                  3R]P8                  3R]P:                  3R ]P<                  3R!]P>                  3R"] PB                  R#3R$] R%3R&]P0                  3R']PD                  3R(]#3.R
R]3R$] R%3R)]#R*3R+]3R,]$! ]PJ                  ]]]]4      R*3R-]$! ]PJ                  ]]]]#4      R.3R/]$! ]PJ                  ]]#4      R.3R0]PJ                  R*3.RR]3R/]$! ]PJ                  ]]#4      R.3R1]PJ                  R*3.R.R]3R2]P0                  3R3]P.                  3R4]#3R]3R5]#RI3R)]#R63.RR7]P                   3R]P                   R83R9]P                   R*3R:]P                   3.R#R;] PB                  R*3R<] PL                  R=3R"] PB                  R*3.R%R>] 3R<] PL                  R=3R$] R*3.R=R?] PL                  R*3R@] PL                  R*3RP-                  ]4      ] PL                  R*3RA] PL                  R*3RB] PL                  R*3R!] PL                  R*3RC]$! ]] PL                  4      R*3./t'0 RJmt(RD t)REt*V t+RF# )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©   r)   r+   r#   r$   ú//.*$ú/\*r'   r(   r*   r,   r-   r.   z^[_a-z][\w\']*z'?[_a-z][\w']*r¬   r/   r0   r1   r2   r­   r®   z0[oO][0-7]+r¯   rN   r3   r4   r5   r6   r7   r8   r9   r:   r;   r<   z(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()r=   r²   r>   r³   r´   rµ   r@   rA   rB   ú[^/*]+rD   ú\*/ú[*/]rG   rH   rI   rJ   rK   r¶   rL   rM   rO   c              #  óÄ   "  € R .p\         P                  ! WV4       F=  w  r4pV\        J d(   WPP                  9   d   V\        P                  V3x € K7  W4V3x € K?  	  R# 5i)r#   N)r   Úget_tokens_unprocessedr   ÚEXTRA_KEYWORDSrš   )ÚselfÚtextÚstackÚindexÚtokenÚvalues   &&    r    r  Ú#CryptolLexer.get_tokens_unprocessedé  sY   é € Ø�ˆä×1Ò1°$¸eÖDñ  ˆE˜%àœ‹} ×*=Ñ*=Ô!=ØœTŸ\™\¨5Ð0Ô0à EÐ)Ô)ó	 Eùs   ‚AA rP   N)ÚArithÚBitÚCmpÚFalseÚInfÚTruerV   rÄ   ÚexternÚfinrX   r)   ÚinfÚlg2ÚmaxÚminr+   r]   ÚpragmaÚpropertyr_   r`   ra   Úwidthrc   rz   >   ÚparÚregÚseqr�   ÚtailÚconstÚerrorÚsplitÚtracer$  ÚASSERTÚlengthÚreverseÚ	transposeÚ	undefinedú<<ú>>ú<<<ú>>>),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�   r  r  rž   Ú__classdictcell__©Ú__classdict__s   @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!
ðD 	à�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Ÿ   c                   óT   a € ] tR tRt o Rt]P                  ! R4      tR tR t	Rt
V tR# )Ú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                ó@   € Wn         \        P                  ! V 3/ VB  R # )N)Ú	baselexerr   Ú__init__)r  r<  Úoptionss   &&,r    r=  ÚLiterateLexer.__init__  s   € Ø"ŒÜ�Š�tÑ'˜wÔ'rŸ   c           	   #  ó  "  € V P                   P                  R 4      pVf/   VP                  4       R,          R9   ;'       d    R;'       g    RpRp. pVR8X  dÍ   \        P                  ! V4       F°  pVP                  4       pV P                  P                  V4      pV'       dW   VP                  \        V4      ^ \        P                  VP                  ^4      3.34       W7P                  ^4      ,          pKŒ  VP                  \        V4      ^ \        V3.34       K²  	  EM/^ RIHp V! R
/ V P                   B p	^ p
Rp\        P                  ! V4       FÅ  pVP                  4       pV
'       d<   VP                  4       P                  R4      '       d   ^ p
W¶,          pKL  W6,          pKV  VP                  4       P                  R	4      '       dC   ^p
W¶,          pVP                  \        V4      \!        V	P#                  V4      4      34       RpK½  W¶,          pKÇ  	  VP                  \        V4      \!        V	P#                  V4      4      34       \%        W@P&                  P#                  V4      4       Rj  x€L
  R#  L5i)ÚlitstyleN:é    é   Nz%\ÚlatexÚbirdÚ )ÚTexLexerz
\end{code}z\begin{code}rP   )r>  ÚgetÚlstripr	   ÚfinditerÚgroupÚbird_reÚmatchÚappendÚlenr   ÚSpecialr
   Úpygments.lexers.markuprG  Ú
startswithÚlistr  r   r<  )r  r  ÚstyleÚcodeÚ
insertionsrM  ÚlineÚmrG  ÚlxlexerÚ	codelinesrD  s   &&          r    r  Ú$LiterateLexer.get_tokens_unprocessed  s  é € Ø—‘× Ñ  Ó,ˆØŠ=Ø—[‘[“] 3Õ'¨5Ñ0×=Ð=°g×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,   ‚A JÁ	JÁEJÆ:JÇB)JÉ=JÉ>J)r<  N)r{   r|   r}   r~   r   ÚreÚcompilerL  r=  r  rž   r6  r7  s   @r    r:  r:  ó  s,   ø‡ € ñ
ð �jŠjÐ+Ó,€Gò(÷*Zð *ZrŸ   r:  c                   óJ   a € ] tR tRt o RtRt. ROtR.tR.tRt	Rt
R tR	tV tR
# )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 Haskellz*.lhsztext/x-literate-haskellz-https://wiki.haskell.org/Literate_programmingz0.9c                óJ   € \        R/ VB p\        P                  ! W3/ VB  R # ©NrP   )r   r:  r=  ©r  r>  Úhslexers   &, r    r=  ÚLiterateHaskellLexer.__init__E  s"   € ÜÑ) Ñ)ˆÜ×Ò˜tÑ8°Ô8rŸ   rP   N)zliterate-haskellÚlhaskellÚlhs©r{   r|   r}   r~   r   r€   r‚   rƒ   r„   r�   r…   r=  rž   r6  r7  s   @r    r   r   3  s9   ø‡ € ñ	ð €DÚ5€GØ�	€IØ*Ð+€IØ
9€CØ€M÷9ð 9rŸ   c                   óJ   a € ] tR tRt o RtRt. ROtR.tR.tRt	Rt
R tR	tV tR
# )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 Idrisz*.lidrztext/x-literate-idrisz?https://idris2.readthedocs.io/en/latest/reference/literate.htmlr©   c                óJ   € \        R/ VB p\        P                  ! W3/ VB  R # r`  )r   r:  r=  ra  s   &, r    r=  ÚLiterateIdrisLexer.__init__\  s"   € ÜÑ'˜wÑ'ˆÜ×Ò˜tÑ8°Ô8rŸ   rP   N)zliterate-idrisÚlidrisÚlidrrf  r7  s   @r    r   r   J  s9   ø‡ € ñ	ð €DÚ2€GØ�
€IØ(Ð)€IØ
K€CØ€M÷9ð 9rŸ   c                   óJ   a € ] tR tRt o RtRtRR.tR.tR.tRt	R	t
R
 tRtV tR# )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                óN   € \        R/ VB p\        P                  ! W3R R/VB  R# )rA  rD  NrP   )r   r:  r=  )r  r>  Ú	agdalexers   &, r    r=  ÚLiterateAgdaLexer.__init__s  s'   € ÜÑ( Ñ(ˆ	Ü×Ò˜tÑL¸ÐLÀGÔLrŸ   rP   Nrf  r7  s   @r    r   r   a  s@   ø‡ € ñ	ð €DØ Ð(€GØ�€IØ'Ð(€IØ
Q€CØ€M÷Mð MrŸ   c                   óJ   a € ] tR tRt o RtRt. ROtR.tR.tRt	Rt
R tR	tV tR
# )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 Cryptolz*.lcryztext/x-literate-cryptolr  r©   c                óJ   € \        R/ VB p\        P                  ! W3/ VB  R # r`  )r   r:  r=  )r  r>  Úcrylexers   &, r    r=  ÚLiterateCryptolLexer.__init__Š  s"   € ÜÑ* 'Ñ*ˆÜ×Ò˜tÑ9°Ô9rŸ   rP   N)zliterate-cryptolÚlcryptolÚlcryrf  r7  s   @r    r   r   x  s9   ø‡ € ñ	ð €DÚ6€GØ�
€IØ*Ð+€IØ
#€CØ€M÷:ð :rŸ   c                   óÄ	  € ] tR tRtRtRtRtR.tRR.tR.t	R	t
. R
NRNRNRNRNRNRNRNRNRNRNRNRNRNRNRNRNRNRNRNRNRNRNR NR!NR"NR#NR$NR%NR&NR'NR(NR)NR*Nt. RtOt. RuOt. RvOtR+tR,],           R-,           tR.t]P&                  t]P*                  t]P0                  tR/]! R04      R1],           ]R3R2]! ]]]4      R33R4]! ]]]4      R53R6P=                  R7P?                  ]4      4      R8,           ]! ]]]4      R3R9]! ]]]]]P@                  4      3R:]! ]]]P@                  ]]]]]]P@                  4	      3R;],           R<,           ]! ]]]]]PB                  4      3R=],           R<,           ]! ]]]]]]]PB                  4      3R6P=                  R7P?                  ]4      4      ],           ]PD                  3R6P=                  R7P?                  ]4      4      ],           ]3R6P=                  R7P?                  ]4      4      ],           ]PF                  3R>],           ]3R?]! ]P@                  ]4      3R@]! ]P@                  ]4      3RA],           R<,           ]! ]P@                  ]4      3RB]PH                  3RC]%PL                  RD3]RE,           ]'3RF]'3RG](3RH])PT                  3RI])PV                  3RJ])PX                  3RK]%PZ                  RL3RM]%PL                  RN3.R3RO]3]! R4      .R5RP](RQ3]! R4      .RRR]RS3]! RT4      .RSRU]RQ3RR]RS3RV]3RW]! ]]]4      3]! RT4      .RT]! R04      R6P=                  R7P?                  ]4      4      ],           ]3RXP=                  R7P?                  ]4      4      ],           RY,           ]RQ3RZ],           ]3R[]3RB]PH                  3R?]! ]P@                  ]4      3R\]! ]P@                  ]4      3R]]3].! RQ4      .
R0R^]! ]]/P`                  4      3R_]3R`]/Pb                  Ra3Rb]/Pd                  3.RaRc]/Pb                  3R`]/Pb                  Rd3Re]/Pb                  RQ3Rf]/Pb                  3.RDRg]%PL                  3Rh]%Pf                  3RM]%PL                  RQ3.RNRi]%PL                  3]! Rj4      Rk]%PL                  RQ3.RLRl]%PZ                  3]! Rj4      Rm]%PZ                  RQ3.RjRn]%Pf                  3Ro]%Pf                  3Rp]%Pf                  3Rq]%Pf                  3./t4Rrt5Rs# )wr   i�  z
Lexer for the Koka language.
ÚKokaz/https://koka-lang.github.io/koka/doc/index.htmlÚkokaz*.kkz*.kkiztext/x-kokaz1.6rï   rñ   rð   r`   ÚcotypeÚrectypeÚaliasÚstructÚconÚfunÚfunctionÚvalÚvarÚexternalrX   r_   rV   ÚelifÚreturnrM  r½   r¾   r+   r)   Úasr   ÚinlineÚrecÚtryÚyieldÚenumrÂ   r[   z[$%&*+@!/\\^~=.:\-?|<>]+z(?!Ú)z	(?![\w/])r#   Ú
whitespacez::?z(alias)(\s+)([a-z]\w*)?z
alias-typez(struct)(\s+)([a-z]\w*)?zstruct-typez({})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))?((?<!^)\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]+r3   Úcharr5   r6   Ú=z(?=\((?!,*\)))r;   z[(\[<]ztype-nestedztype-contentz[)\]>]r@   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*)(#.*)$r$   r  r'   r  r	  rD   r
  r  z[^"]+z""z	[^\\"\n]+z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}rP   N)r`   rz  r{  r|  r}  r‹  )rì   ÚexistsÚsomerÉ   )ÚforÚwhileÚrepeatÚforeachzforeach-indexedr*  ÚcatchÚfinallyÚcsÚjsÚfileÚrefÚassigned)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ž   rP   rŸ   r    r   r   �  sí  † ñð €DØ
;€CØˆh€GØ˜Ð!€IØ�€IØ€MðØðØðØ#ðàðàðà#ðà%,ðð 	ðð ðð 	ð	ð ð	ð !ð	ð #(ð	ð
 	ðð 	ðð ðð ðð %ðð '/ðð 18ðð 	ðð ðð 'ðð 	ðð ðð !ðð 	ðð ðð 	ðð 	ðð ðð ðð 	ðð  ð€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ð/
ð6 	Ø™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   r   r   r   r   r   r   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   rP   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Ÿ   