§
    XŠtj+‚  ã                   ó²  — d Z ddlZddlmZmZmZmZmZmZm	Z	m
Z
 ddlmZmZmZmZmZmZmZmZmZmZ ddlmZ g d¢Z G d„ de¦  «        Z G d	„ d
e¦  «        Z G d„ de¦  «        Z G d„ de¦  «        Z G d„ de¦  «        Z G d„ de¦  «        Z G d„ de¦  «        Z  G d„ de¦  «        Z! G d„ de¦  «        Z" G d„ de¦  «        Z# G d„ de¦  «        Z$dS )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                   óˆ  — e Zd ZdZdZdZddgZdgZdgZdZ	d	Z
d
Zg def‘dej        f‘dej        df‘dej        df‘dej        df‘dej        f‘d                     d                     e
¦  «        ¦  «        ej        f‘dej        f‘dej        f‘dej        z   dz   ej        f‘dej        z   dz   ef‘dej        z   dz   ej        f‘dej        z   dz   ej        f‘dej        f‘dej        f‘d ej        f‘d!ej        f‘d"ej        f‘d#ej        f‘d$ef‘d%ej         f‘d&ej         f‘d'ej         f‘d(ej         f‘d)ej!        f‘d*ej"        f‘d+ej#        f‘d,ej$        f‘d-ej        d.f‘d/ed0f‘d1ej        f‘d2ej%        f‘d3e&f‘defd/ed0fd4e&d5fd6efd7ej        z   d8z   ej        z   d9z    e'ej(        eeee¦  «        d5fd7ej        z   d:z    e'ej(        eeee&¦  «        d;fd7ej        z   d<z    e'ej(        ee&¦  «        d;fd=ej(        d5fgdefd7ej        z   d<z    e'ej(        ee&¦  «        d;fd>ej        z   d?z   ej(        d5fgdefd>ej        z   d@z   ej        fdAej        z   dBz   ej        fdej        fdej        dfdCe&fd$efdDe&dEfd4e&dFfg	dGej        fdej        dHfdIej        d5fdJej        fgdKej        d5fdLej)        dMfd-ej        d5fgdNefdLej)        dMfd/ed5fgdOej)        d5fdPej        z   dQz   ej)        d5fd                     e¦  «        ej)        d5fdRej)        d5fdSej)        d5fdTej)        d5fdU e'eej)        ¦  «        d5fgdVœZ*dWS )Xr   zP
    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\']*)ú,ú\(©rf   rf   ú#pop:2ú[^-{}]+ú#pushú-\}ú[-{}]ú[^\\']'ú\\Úescapeú[^\\"]+ú[abfnrtv"\'&\\]z\^[][z@^_]úo[0-7]+úx[\da-fA-F]+ú\d+ú	(\s+)(\\)©ÚrootrR   rT   rf   rP   r]   r_   rs   N)+Ú__name__Ú
__module__Ú__qualname__Ú__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© ó    úU/var/www/html/CA-Chatbot/venv/lib/python3.11/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Ô&8Ñ9Ô9¸7Ô;KÐLð+
ð ˜œÐ%ð+
ð �v”{Ð#ð+
ð �c”f‰_˜{Ñ*¨D¬MÐ:ð+
ð �s”vÑ 
Ñ*¨DÐ1ð+
ð  ˜œÑ +Ñ-¨w¬|Ð<ð!+
ð" �s”vÑ Ñ+¨W¬\Ð:ð#+
ð$ ˜wœ|Ð,ð%+
ð& ˜gœlÐ+ð'+
ð( ,¨W¬\Ð:ð)+
ð, /°´Ð>ð-+
ð. <¸X¼]ÐKð/+
ð0 *¨7¬<Ð8ð1+
ð2 )¨(Ð3ð3+
ð6 EÀfÄlÐSð7+
ð8(Ø)/¬ð7ð9+
ð< .¨v¬|Ð<ð=+
ð> <¸V¼\ÐJð?+
ð@ % f¤jÐ1ðA+
ðB '¨¬
Ð3ðC+
ðD 1°&´*Ð=ðE+
ðF ˜6œ>Ð*ðG+
ðJ �6”; Ð,ðK+
ðL �6˜8Ð$ðM+
ðP �g”lÐ#ðQ+
ðR �d”lÐ#ðS+
ðT ˜[Ð)ðU+
ð\ �ZÐ Ø�6˜8Ð$à�K Ð(Ø˜WÐ%à�S”V‰^Ð9Ñ9¸C¼FÑBÀ[ÑPØˆX�d”n j°'¸:ÀtÑLÔLÈfðVð �S”V‰^Ð?Ñ?ØˆX�d”n j°'¸:À{ÑSÔSÐU_ðað �S”V‰^Ð2Ñ2ØˆX�d”n j°+Ñ>Ô>À
ðLð ˜œ¨Ð/ð#
ð( �ZÐ Ø�S”V‰^Ð2Ñ2ØˆX�d”n j°+Ñ>Ô>À
ðLà�C”F‰]˜ZÑ'¨¬¸Ð@ð	
ð �ZÐ Ø�C”F‰]˜WÑ$ g¤lÐ3Ø˜cœfÑ$ |Ñ3°T´]ÐCØ1°7´>ÐBØ�WÔ&¨	Ð2Ø�;ÐØ(¨(Ð3à�KÐ!9Ð:Ø�K Ð*ð
ð  ˜Ô*Ð+Ø�WÔ&¨Ð0Ø�WÔ&¨Ð/Ø�wÔ(Ð)ð
ð ˜œ fÐ-Ø�F”M 8Ð,Ø�&”+˜vÐ&ð	
ð ˜Ð Ø�F”M 8Ð,Ø�&˜&Ð!ð
ð   ¤°Ð7Ø˜œÑ Ñ(¨&¬-¸Ð@Ø�XŠX�e‰_Œ_˜fœm¨VÐ4Ø˜œ¨Ð/Ø˜fœm¨VÐ4Ø�V”] FÐ+Ø˜8˜8 J°´Ñ>Ô>ÀÐGð
ðMoð o€F€F€FrŸ   r   c            	       ó¦   — e Zd ZdZdZdgZdgZg ZdZdd e	e
eej        ¦  «        fd e	e
eej        ¦  «        fd	 e	e
eej        ¦  «        fegiZd
S )r   z<
    A Haskell lexer with support for Hspec constructs.
    ÚHspecÚhspecz*Spec.hsz2.4r{   z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)r|   r}   r~   r   r€   r‚   rƒ   r„   r…   r   r   r   r   ÚDocr	   r�   rž   rŸ   r    r   r   �   s“   € € € € € ðð ð €DØˆi€GØ�€IØ€IØ€Mð 	Ø" H H¨T°:¸v¼zÑ$JÔ$JÐKØ(¨(¨(°4¸ÀVÄZÑ*PÔ*PÐQØ'¨¨°$¸
ÀFÄJÑ)OÔ)OÐPØð	
ð€F€F€FrŸ   r   c                   óv  — e Zd ZdZdZdZddgZdgZdgZdZ	d	Z
d
ZdZd                     d                     e¦  «        ¦  «         eeej        ¦  «        fd eeej        ¦  «        fd eeej        ¦  «        fd eeej        ¦  «        dfd eeej        eej        e¦  «        fd                     d                     e
¦  «        ¦  «        ej        fd eej        e¦  «        dfdej        fdefdej        fdej        fdej        fdej        fdej        fdej        fde j!        dfd e d!fd"efd#efgd$efd% eej"        ee#¦  «        d&fd'ej"        d(fgd$efd)ej        fd*ej        fd+ej        fd,ej        dfd-e#fd.efd/e#d0fd1e#d2fg	d3ej        fd,ej        d4fd5ej        d(fd6ej        fgd7e j!        fd8e j$        d9fde j!        d(fgd:e fd8e j$        d9fd e d(fgd;e j$        d(fd<e j$        d(fd                     e¦  «        e j$        d(fd=e j$        d(fd>e j$        d(fde j$        d(fd? eee j$        ¦  «        d(fgd@œZ%dAS )Br   zq
    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Úconstructorr/   Úproofr1   r2   Ústaticr4   r5   Ú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*)(%({}))rW   z((\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]+rx   r\   r]   r^   r_   ú
[^\s(){}]+ú\s+?rM   ú([A-Z][\w.]*)(\s+)(\()rf   ú[A-Z][\w.]*rd   ú[A-Z]\w*ú(_[\w\']+|[a-z][\w\']*)z--.*$rO   ri   r[   rj   rk   rc   rl   rm   rn   ro   rp   z[^\\']rr   rs   rt   ru   ú\^[][A-Z@^_]rv   rw   ry   )r{   rT   rf   rP   r]   r_   rs   N)&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   ²   sL  € € € € € ðð ð
 €DØ
'€CØ˜Ð€GØ�	€IØÐ €IØ€MðW€Hð9€Eð
Y€Jð ×$Ò$ S§X¢X¨jÑ%9Ô%9Ñ:Ô:ØˆX�j 'Ô"2Ñ3Ô3ð5à8¸(¸(À:ÈwÌ~Ñ:^Ô:^Ð_Ø  ( (¨:°w´~Ñ"FÔ"FÐGØ˜H˜H Z°Ô1BÑCÔCÀYÐOà/ØˆX�j $¤-°¸X¼]ÈJÑWÔWðYð ×%Ò% c§h¢h¨xÑ&8Ô&8Ñ9Ô9¸7Ô;KÐLØ$ h h¨wÔ/?ÀÑ&LÔ&LÈhÐWØ! 7¤<Ð0Ø˜dÐ#à ¤Ð/Ø2°H´MÐBà ¤Ð.Ø'¨¬Ð6Ø  &¤*Ð-Ø�V”^Ð$à�6”; Ð,Ø�6˜8Ð$Ø˜DÐ!Ø�jÐ!ð7
ð< �ZÐ Ø&ØˆX�d”n j°+Ñ>Ô>À
ðLà˜Tœ^¨VÐ4ð	
ð �ZÐ Ø˜'œ,Ð'Ø'¨¬Ð7Ø�w”~Ð&Ø�WÔ&¨	Ð2Ø�;ÐØ(¨(Ð3à�KÐ!9Ð:Ø�K Ð*ð
ð  ˜Ô*Ð+Ø�WÔ&¨Ð0Ø�WÔ&¨Ð/Ø�wÔ(Ð)ð
ð ˜œÐ$Ø�F”M 8Ð,Ø�&”+˜vÐ&ð	
ð ˜Ð Ø�F”M 8Ð,Ø�&˜&Ð!ð
ð   ¤°Ð7Ø˜fœm¨VÐ4Ø�XŠX�e‰_Œ_˜fœm¨VÐ4Ø˜œ¨Ð/Ø˜fœm¨VÐ4Ø�V”] FÐ+Ø˜8˜8 J°´Ñ>Ô>ÀÐGð
ðIMð M€F€F€FrŸ   r   c                   óz  — e Zd ZdZdZdZdgZdgZdgZdZ	dZ
d	 eeej        eej        e¦  «        fd
ej        fdej        dfdej        dfd                     d                     e
¦  «        ¦  «        ej        fd eej        e¦  «        dfdej        fdefdej        fdej        fdej        fdej        fdej        fdej        dfdedfde fdefgd ej        fdej        d!fd"ej        d#fd$ej        fgdej        dfd%ed#fd&e fge!j"        d         e!j"        d         e!j"        d         e!j"        d'         d(œZ"d)S )*r   za
    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.   Úinterleavedr/   Úmacror¯   zno-eta-equalityÚopaqueÚopenÚoverlapr½   rÁ   Ú	primitiver°   ÚquoteÚ	quoteTermrÃ   Úrenamingr«   r¿   ÚtacticÚ	unfoldingÚunquoteÚunquoteDeclÚ
unquoteDefrª   Úvariabler4   r¼   rØ   rN   rO   rP   z\{!ÚholerV   rW   rÙ   rT   z\b(Set|Prop)[\u2080-\u2089]*\bz(\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rÛ   rÜ   rÝ   rx   r\   r]   r^   r_   rÞ   rß   z[^!{}]+rn   z!\}rd   z[!{}]z[a-zA-Z][\w.\']*z	[\W0-9_]+rs   )r{   r   rT   rP   r]   r_   rs   N)#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   !  sÞ  € € € € € ðð ð
 €DØ
:€CØˆh€GØ�
€IØ�€IØ€Mð€Hð 0ØˆX�j $¤-°Ø”m Zñ1ô 1ð2ð 2°7´>ÐBØ�WÔ&¨	Ð2à�WÔ&¨Ð/ð ×%Ò% c§h¢h¨xÑ&8Ô&8Ñ9Ô9¸7Ô;KÐLØ$ h h¨wÔ/?ÀÑ&LÔ&LØðà.°´Ð=à˜xÐ(Ø8¸(¼-ÐHà ¤Ð.Ø'¨¬Ð6Ø  &¤*Ð-Ø�V”^Ð$à�6”; Ð,Ø�6˜8Ð$Ø˜DÐ!Ø�jÐ!ð9
ð@ ˜Ô*Ð+Ø�WÔ&¨Ð0Ø�WÔ&¨Ð/Ø�wÔ(Ð)ð
ð �WÔ&¨	Ð2Ø  $¨Ð/Ø˜4Ð ð
ð
  Ô& yÔ1Ø!Ô(¨Ô5ØÔ% hÔ/ØÔ% hÔ/ð]/ð /€F€F€FrŸ   r   c                   ó„  — e Zd ZdZdZddgZdgZdgZdZdZ	d	Z
d
Zdefdej        fdej        dfdej        dfdej        dfdej        fd                     d                     e
¦  «        ¦  «        ej        fdej        fdefdej        fdej        fdej        fdej        fdefdej        fdej        fdej        fd ej        fd!ej        fd"ej         d#fd$ed%fd&ej        fd'ej!        fd(e"fgdefd$ed%fd)e"d*fd+efd, e#ej$        eeee¦  «        d*fd- e#ej$        eeee"¦  «        d.fd/ e#ej$        ee"¦  «        d.fd0ej$        d*fgdefd/ e#ej$        ee"¦  «        d.fd1ej$        d*fgdefd2ej        fd3ej        fd4e"fdefd5e"d6fd)e"d7fgd8ej        fdej        d9fd:ej        d*fd;ej        fgd<ej         d*fd=ej%        d>fd"ej         d*fgd?efd=ej%        d>fd$ed*fgd@ej%        d*fdAej%        d*fd                     e¦  «        ej%        d*fdBej%        d*fdCej%        d*fd!ej%        d*fdD e#eej%        ¦  «        d*fgdEœZ&h dF£Z'dG„ Z(dHS )Ir   zX
    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+   rR   ÚinfÚlg2ÚmaxÚminrT   r0   ÚpragmaÚpropertyr2   r3   r4   Úwidthr6   rM   ú//.*$ú/\*rP   rQ   rR   rS   rT   rU   rV   rW   z^[_a-z][\w\']*z'?[_a-z][\w']*rÚ   rX   rY   rZ   r[   rÛ   rÜ   z0[oO][0-7]+rÝ   rx   r\   r]   r^   r_   r`   ra   rb   rc   rd   re   z(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rf   rà   rg   rá   râ   rã   ri   rj   rk   rl   ú[^/*]+rn   ú\*/ú[*/]rq   rr   rs   rt   ru   rä   rv   rw   ry   rz   >   ú<<ú>>ú<<<ú>>>ÚparÚregÚseqr�   ÚtailÚconstÚerrorÚsplitÚtracer  ÚASSERTÚlengthÚreverseÚ	transposeÚ	undefinedc              #   ó    K  — dg}t          j        | ||¦  «        D ]1\  }}}|t          u r|| j        v r|t          j        |fV — Œ*|||fV — Œ2d S )Nr{   )r   Úget_tokens_unprocessedr   ÚEXTRA_KEYWORDSrš   )ÚselfÚtextÚstackÚindexÚtokenÚvalues         r    r-  z#CryptolLexer.get_tokens_unprocessedé  s€   è è € Ø�ˆåÔ1°$¸¸eÑDÔDð	*ð 	*ÑˆE�5˜%à�ˆ}ˆ} ¨$Ô*=Ð!=Ð!=Ø�Tœ\¨5Ð0Ð0Ð0Ð0Ð0à˜U EÐ)Ð)Ð)Ð)Ð)ð	*ð 	*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.  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Ô&8Ñ9Ô9¸7Ô;KÐLØ ¤Ð.Ø Ð%Ø! 7¤<Ð0à.°´Ð>Ø;¸X¼]ÐKØ)¨7¬<Ð8Ø(¨(Ð3à ¤Ð.Ø'¨¬Ð6Ø˜VœZÐ(Ø  &¤*Ð-Ø�V”^Ð$à�6”; Ð,Ø�6˜8Ð$à�g”lÐ#Ø�d”lÐ#Ø˜[Ð)ðA!
ðH �ZÐ Ø�6˜8Ð$à�K Ð(Ø˜WÐ%à8ØˆX�d”n j°'¸:ÀtÑLÔLÈfðVð 4ØˆX�d”n j°'¸:À{ÑSÔSÐU_ðað 'ØˆX�d”n j°+Ñ>Ô>À
ðLð ˜œ¨Ð/ð#
ð( �ZÐ Ø&ØˆX�d”n j°+Ñ>Ô>À
ðLà˜Tœ^¨VÐ4ð	
ð �ZÐ Ø˜'œ,Ð'Ø'¨¬Ð7ð �;ÐØ(¨(Ð3à�KÐ!9Ð:Ø�K Ð*ð
ð ˜Ô)Ð*Ø�WÔ&¨Ð0Ø�WÔ&¨Ð/Ø�gÔ'Ð(ð
ð ˜œ fÐ-Ø�F”M 8Ð,Ø�&”+˜vÐ&ð	
ð ˜Ð Ø�F”M 8Ð,Ø�&˜&Ð!ð
ð   ¤°Ð7Ø˜fœm¨VÐ4Ø�XŠX�e‰_Œ_˜fœm¨VÐ4Ø˜œ¨Ð/Ø˜fœm¨VÐ4Ø�V”] FÐ+Ø˜8˜8 J°´Ñ>Ô>ÀÐGð
ðwdð d€FðLð ð €Nð
*ð *ð *ð *ð *rŸ   r   c                   ó>   — e Zd ZdZ ej        d¦  «        Zd„ Zd„ ZdS )Ú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                 ó8   — || _         t          j        | fi |¤Ž d S )N)Ú	baselexerr   Ú__init__)r/  r8  Úoptionss      r    r9  zLiterateLexer.__init__  s'   € Ø"ˆŒÝŒ�tÐ'Ð'˜wÐ'Ð'Ð'Ð'Ð'rŸ   c           	   #   ó  K  — | j                              d¦  «        }|€"|                     ¦   «         dd…         dv rdpd}d}g }|dk    rÔt          j        |¦  «        D ]½}|                     ¦   «         }| j                             |¦  «        }|r^|                     t          |¦  «        dt          j        |                     d¦  «        fgf¦  «         ||                     d¦  «        z  }Œ�|                     t          |¦  «        dt          |fgf¦  «         Œ¾�n7dd	lm}  |di | j         ¤Ž}	d}
d}t          j        |¦  «        D ]Ç}|                     ¦   «         }|
r5|                     ¦   «                              d
¦  «        rd}
||z  }ŒG||z  }ŒM|                     ¦   «                              d¦  «        rNd}
||z  }|                     t          |¦  «        t!          |	                     |¦  «        ¦  «        f¦  «         d}ŒÂ||z  }ŒÈ|                     t          |¦  «        t!          |	                     |¦  «        ¦  «        f¦  «         t%          || j                             |¦  «        ¦  «        E d {V —† d S )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.markuprB  Ú
startswithÚlistr-  r   r8  )r/  r0  ÚstyleÚcodeÚ
insertionsrH  ÚlineÚmrB  ÚlxlexerÚ	codelinesr>  s               r    r-  z$LiterateLexer.get_tokens_unprocessed  sÀ  è è € Ø”× Ò  Ñ,Ô,ˆØˆ=Ø—[’[‘]”] 1 Q 3Ô'¨5Ð0Ð=°gÐGÀˆEàˆØˆ
Ø�FŠ?ˆ?å Ô)¨$Ñ/Ô/ð Fð F�Ø—{’{‘}”}�Ø”L×&Ò& tÑ,Ô,�Øð FØ×%Ò%¥s¨4¡y¤yØ)*­G¬O¸Q¿WºWÀQ¹Z¼ZÐ(HÐ'Ið'Kñ Lô Lð Là˜AŸGšG A™JœJÑ&�D�Dà×%Ò%¥s¨4¡y¤y°Aµt¸T°?Ð2CÐ&DÑEÔEÐEÐEñFð 8Ð7Ð7Ð7Ð7Ð7Ø�hÐ.Ð. ¤Ð.Ð.ˆGØˆIØˆEÝ Ô)¨$Ñ/Ô/ð "ð "�Ø—{’{‘}”}�Øð "Ø—{’{‘}”}×/Ò/°Ñ>Ô>ð %Ø$%˜	Ø ™˜˜à ™˜˜Ø—[’[‘]”]×-Ò-¨oÑ>Ô>ð "Ø !�IØ˜T‘M�EØ×%Ò%¥s¨4¡y¤yÝ'+¨G×,JÒ,JÈ5Ñ,QÔ,QÑ'RÔ'Rð'Tñ Uô Uð Uà�E�Eà˜T‘M�E�EØ×Ò�s 4™yœyÝ# G×$BÒ$BÀ5Ñ$IÔ$IÑJÔJðLñ Mô Mð Må  ¨T¬^×-RÒ-RÐSWÑ-XÔ-XÑYÔYÐYÐYÐYÐYÐYÐYÐYÐYÐYrŸ   N)	r|   r}   r~   r   ÚreÚcompilerG  r9  r-  rž   rŸ   r    r6  r6  ó  sU   € € € € € ð
ð 
ð ˆbŒjÐ+Ñ,Ô,€Gð(ð (ð (ð*Zð *Zð *Zð *Zð *ZrŸ   r6  c                   ó8   — e Zd ZdZdZg d¢ZdgZdgZdZdZ	d„ Z
d	S )
r   aS  
    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                 óD   — t          di |¤Ž}t          j        | |fi |¤Ž d S ©Nrž   )r   r6  r9  ©r/  r:  Úhslexers      r    r9  zLiterateHaskellLexer.__init__E  s6   € ÝÐ)Ð) Ð)Ð)ˆÝÔ˜t WÐ8Ð8°Ð8Ð8Ð8Ð8Ð8rŸ   N©r|   r}   r~   r   r€   r‚   rƒ   r„   r�   r…   r9  rž   rŸ   r    r   r   3  sX   € € € € € ð	ð 	ð €DØ5Ð5Ð5€GØ�	€IØ*Ð+€IØ
9€CØ€Mð9ð 9ð 9ð 9ð 9rŸ   r   c                   ó8   — e Zd ZdZdZg d¢ZdgZdgZdZdZ	d„ Z
d	S )
r   aQ  
    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                 óD   — t          di |¤Ž}t          j        | |fi |¤Ž d S r\  )r   r6  r9  r]  s      r    r9  zLiterateIdrisLexer.__init__\  s6   € ÝÐ'Ð'˜wÐ'Ð'ˆÝÔ˜t WÐ8Ð8°Ð8Ð8Ð8Ð8Ð8rŸ   Nr_  rž   rŸ   r    r   r   J  sX   € € € € € ð	ð 	ð €DØ2Ð2Ð2€GØ�
€IØ(Ð)€IØ
K€CØ€Mð9ð 9ð 9ð 9ð 9rŸ   r   c                   ó8   — e Zd ZdZdZddgZdgZdgZdZdZ	d	„ Z
d
S )r   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                 óH   — t          di |¤Ž}t          j        | |fddi|¤Ž d S )Nr<  r>  rž   )r   r6  r9  )r/  r:  Ú	agdalexers      r    r9  zLiterateAgdaLexer.__init__s  s;   € ÝÐ(Ð( Ð(Ð(ˆ	ÝÔ˜t YÐLÐL¸ÐLÀGÐLÐLÐLÐLÐLrŸ   Nr_  rž   rŸ   r    r   r   a  s\   € € € € € ð	ð 	ð €DØ Ð(€GØ�€IØ'Ð(€IØ
Q€CØ€MðMð Mð Mð Mð MrŸ   r   c                   ó8   — e Zd ZdZdZg d¢ZdgZdgZdZdZ	d„ Z
d	S )
r   aS  
    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                 óD   — t          di |¤Ž}t          j        | |fi |¤Ž d S r\  )r   r6  r9  )r/  r:  Úcrylexers      r    r9  zLiterateCryptolLexer.__init__Š  s6   € ÝÐ*Ð* 'Ð*Ð*ˆÝÔ˜t XÐ9Ð9°Ð9Ð9Ð9Ð9Ð9rŸ   Nr_  rž   rŸ   r    r   r   x  sX   € € € € € ð	ð 	ð €DØ6Ð6Ð6€GØ�
€IØ*Ð+€IØ
#€CØ€Mð:ð :ð :ð :ð :rŸ   r   c                   óÚ  — e Zd ZdZdZdZdgZddgZdgZdZ	g d	¢Z
g d
¢Zg d¢Zg d¢ZdZdez   dz   ZdZej        Zej        Zej        Z ed¦  «        dez   edfd eeee¦  «        dfd eeee¦  «        dfd                     d                     e¦  «        ¦  «        dz    eeee¦  «        dfd eeeeeej        ¦  «        fd eeeej        eeeeeej        ¦	  «	        fdez   dz    eeeeeej         ¦  «        fdez   dz    eeeeeeeej         ¦  «        fd                     d                     e¦  «        ¦  «        ez   ej!        fd                     d                     e
¦  «        ¦  «        ez   efd                     d                     e¦  «        ¦  «        ez   ej"        fd ez   efd! eej        e¦  «        fd" eej        e¦  «        fd#ez   dz    eej        e¦  «        fd$ej#        fd%e$j%        d&fed'z   e&fd(e&fd)e'fd*e(j)        fd+e(j*        fd,e(j+        fd-e$j,        d.fd/e$j%        d0fgd1ef ed¦  «        gd2e'd3f ed¦  «        gd4ed5f ed6¦  «        gd7ed3fd4ed5fd8efd9 eeee¦  «        f ed6¦  «        g ed¦  «        d                     d                     e¦  «        ¦  «        ez   efd:                     d                     e
¦  «        ¦  «        ez   d;z   ed3fd<ez   efd=efd$ej#        fd! eej        e¦  «        fd> eej        e¦  «        fd?ef e-d3¦  «        g
d@ eee.j/        ¦  «        fdAefdBe.j0        dCfdDe.j1        fgdEe.j0        fdBe.j0        dFfdGe.j0        d3fdHe.j0        fgdIe$j%        fdJe$j2        fd/e$j%        d3fgdKe$j%        f edL¦  «        dMe$j%        d3fgdNe$j,        f edL¦  «        dOe$j,        d3fgdPe$j2        fdQe$j2        fdRe$j2        fdSe$j2        fgdTœZ3dUS )Vr   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ï   r3   ÚcotypeÚrectypeÚaliasÚstructÚconÚfunÚfunctionÚvalÚvarÚexternalr+   r2   r)   ÚelifÚreturnrH  r°   r±   r°   rT   rR   Úasr   ÚinlineÚrecÚtryÚyieldÚenumrµ   r.   )r3   rp  rq  rr  rs  r�  )rë   ÚexistsÚsomer¼   )ÚforÚwhileÚrepeatÚforeachzforeach-indexedr$  ÚcatchÚfinallyÚcsÚjsÚfileÚrefÚassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!ú)z	(?![\w/])Ú
whitespacez::?r3   z(alias)(\s+)([a-z]\w*)?ú
alias-typez(struct)(\s+)([a-z]\w*)?ústruct-typez({})rW   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(?=\((?!,*\)))rd   z[(\[<]útype-nestedútype-contentz[)\]>]ri   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*)(#.*)$rM   r  rP   r  r  rn   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’  r3   r—  r˜  r�  rP   r“  r_   r•  r™  N)4r|   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   �  sÿ  € € € € € ðð ð €DØ
;€CØˆh€GØ˜Ð!€IØ�€IØ€Mðð ð €Hð ð ð Ðð
ð ð €Lð
ð ð €Gð *€Gð ˜‘ #Ñ%€Ið €Hð ”€IØ”:€LØ”|Ðð
 ˆG�LÑ!Ô!ð �iÑ ¨FÐ3Ø'¨¨°'¸:À|Ñ)TÔ)TØðà(¨(¨(°7¸JÈÑ*UÔ*UØðà�nŠn˜SŸXšXÐ&7Ñ8Ô8Ñ9Ô9Ø ñ!Ø"* (¨7°JÀÑ"MÔ"MØðð NØˆX�g˜z¨7°JÀÄÑOÔOðQð+ð ˆX�g˜z¨4¬>¸:ÀwÐPZØ˜z¨4¬>ñ;ô ;ð<ð%Ø'.ñ/Ø1:ñ;àˆX�g˜z¨7°JÀÄÑNÔNðPð Ø")ñ*Ø,5ñ6àˆX�g˜z¨7°JÀÈÐUYÔUbÑcÔcðeð
 �^Š^˜CŸHšH \Ñ2Ô2Ñ3Ô3°hÑ>ÀÄÐMØ�^Š^˜CŸHšH XÑ.Ô.Ñ/Ô/°(Ñ:¸GÐDØ�^Š^˜CŸHšH WÑ-Ô-Ñ.Ô.°Ñ9¸7¼>ÐJØ )Ñ+¨WÐ5ð +ØˆX�d”nÐ&6Ñ7Ô7ð9à*¨H¨H°T´^ÀTÑ,JÔ,JÐKØ&¨Ñ0°9Ñ<ØˆX�d”n dÑ+Ô+ð-à�d”mÐ$ð �F”M ;Ð/ð �|Ñ# XÐ.Ø�8ÐØ˜kÐ*ð 2°6´<Ð@Ø! 6¤:Ð.Ø˜œÐ'à�6”; Ð'Ø�6”= (Ð+ðu;
ð~ �7ˆOØˆG�F‰OŒOð
ð  ¨VÐ4ØˆG�F‰OŒOð
ð ˜	 =Ð1ØˆG�NÑ#Ô#ð
ð ˜	 6Ð*Ø˜	 =Ð1Ø�9ÐØ'ØˆX�d˜J¨	Ñ2Ô2ð4àˆG�NÑ#Ô#ð
ð ˆG�LÑ!Ô!ð �^Š^˜CŸHšH \Ñ2Ô2Ñ3Ô3°hÑ>ÀÐHØ×Ò §¢¨Ñ 2Ô 2Ñ3Ô3°hÑ>ÀÑEØ�fðð ˜(Ñ" IÐ.ð % iÐ0Ø�iÔ(Ð)Ø*ØˆX�d”n iÑ0Ô0ð2à*ØˆX�d”n iÑ0Ô0ð2ð ˜YÐ'ð ˆG�F‰OŒOð/
ð8 ˜x˜x¨
°G´OÑDÔDÐEØ�ZÐ Ø�WÔ&¨	Ð2Ø�w”~Ð&ð	
ð ˜Ô)Ð*Ø�WÔ&¨Ð0Ø�WÔ&¨Ð/Ø�gÔ'Ð(ð	
ð �v”}Ð%Ø�F”MÐ"Ø�6”= &Ð)ð
ð ˜6œ=Ð)ØˆGÐ%Ñ&Ô&Ø�v”} fÐ-ð
ð ˜FœKÐ(ØˆGÐ%Ñ&Ô&Ø˜œ VÐ,ð
ð ˜fœmÐ,Ø! 6¤=Ð1Ø! 6¤=Ð1à! 6¤=Ð1ð
ðcXð X€F€F€FrŸ   r   )%r   rV  Ú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   r6  r   r   r   r   r   rž   rŸ   r    ú<module>r¯     s0  ððð ð 
€	€	€	ð'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð 'ð-ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -ð -à %Ð %Ð %Ð %Ð %Ð %ð0ð 0ð 0€ð
Bð Bð Bð Bð B�:ñ Bô Bð BðJð ð ð ð �ñ ô ð ð*lð lð lð lð l�ñ lô lð lð^Fð Fð Fð Fð F�
ñ Fô Fð FðRF*ð F*ð F*ð F*ð F*�:ñ F*ô F*ð F*ðR=Zð =Zð =Zð =Zð =Z�Eñ =Zô =Zð =Zð@9ð 9ð 9ð 9ð 9˜=ñ 9ô 9ð 9ð.9ð 9ð 9ð 9ð 9˜ñ 9ô 9ð 9ð.Mð Mð Mð Mð M˜ñ Mô Mð Mð.:ð :ð :ð :ð :˜=ñ :ô :ð :ð.Tð Tð Tð Tð T�
ñ Tô Tð Tð Tð TrŸ   