U
    YSh                  
   @   s<  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 dddd	d
dddddg
ZG dd deZG dd deZG dd deZG dd	 d	eZG dd
 d
eZG dd deZG dd deZ G dd deZ!G dd deZ"G dd deZ#G dd deZ$dS )z
    pygments.lexers.haskell
    ~~~~~~~~~~~~~~~~~~~~~~~

    Lexers for Haskell and related languages.

    :copyright: Copyright 2006-2025 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                !   @   sR  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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 d ejfdej d efdej d ejfdej 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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d/fd0ejfd1ej%fd2e&fg defd.ed/fd3e&d4fd5efd6ej d7 ej d8 e'ej(eeeed4fd6ej d9 e'ej(eeee&d:fd6ej d; e'ej(ee&d:fd<ej(d4fgdefd6ej d; e'ej(ee&d:fd=ej d> ej(d4fgdefd=ej d? ejfd@ej dA ejfdejfdejdfdBe&fd#efdCe&dDfd3e&dEfg	dFejfdejdGfdHejd4fdIejfgdJejd4fdKej)dLfd,ejd4fgdMefdKej)dLfd.ed4fgdNej)d4fdOej dP ej)d4fdeej)d4fdQej)d4fdRej)d4fdSej)d4fdTe'eej)d4fgdUZ*dVS )Wr   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   Zderivingdoelsefamilyifin
infix[lr]?instanceletnewtypeofthentypewhere_NULZSOHz[SE]TXZEOTZENQZACKZBELZBSZHTZLFVTZFFCRzS[OI]ZDLEzDC[1-4]ZNAKZSYNZETBZCANZEMZSUBZESCz[FGRU]SSPZDEL\s+!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$\{-comment
\bimport\bimport
\bmodule\bmodule	\berror\b\b({})(?!\')\b|z'[^\\]'z^[_z][\w\']*z'?[_z][\w']*z('')?[z(')[z(')\[[^\]]*\]z(')\([^)]*\)z(')[:!#$%&*+.\\/<=>?@^|~-]+\\(?![:!#$%&*+.\\/<=>?@^|~-]+)+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+):[:!#$%&*+.\\/<=>?@^|~-]*[:!#$%&*+.\\/<=>?@^|~-]+z40[xX]_*[\da-fA-F](_*[\da-fA-F])*_*[pP][+-]?\d(_*\d)*zR0[xX]_*[\da-fA-F](_*[\da-fA-F])*\.[\da-fA-F](_*[\da-fA-F])*(_*[pP][+-]?\d(_*\d)*)?z\d(_*\d)*_*[eE][+-]?\d(_*\d)*z+\d(_*\d)*\.\d(_*\d)*(_*[eE][+-]?\d(_*\d)*)?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\']*),\(rQ   rQ   #pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+x[\da-fA-F]+\d+	(\s+)(\\)rootr=   r?   rQ   r;   rH   rJ   r^   N)+__name__
__module____qualname____doc__nameurlaliases	filenames	mimetypesversion_addedreservedasciir   r   Single	Multiliner   Reservedr   	Exceptionformatjoinr   CharuniZLlFunctionZLuTyper   Wordr   FloatBinOctHexIntegerBuiltinr   r   	NamespaceEscapetokens r   r   J/root/rtd-docs/venv/lib/python3.8/site-packages/pygments/lexers/haskell.pyr      s   



-   
 


	







c                   @   sb   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.4rf   z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rg   rh   ri   rj   rk   rm   rn   ro   rp   r   r
   r   r   Docr   r   r   r   r   r   r      s   c                   @   s<  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exportZcoveringconstructorr,   Zproofr.   r/   Zstaticr1   r2   withpatterntermsyntaxprefix	postulate
parametersrecordZdslZ
impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr3   )liblinkflagr   Zhidefreezeaccessr   loggingZdynamicrk   Zerror_handlerslanguagez^(\s*)(%({}))rB   z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z
(\s*)(\{-)r;   ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)rA   (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]+rc   rG   rH   rI   rJ   
[^\s(){}]+\s+?r8   ([A-Z][\w.]*)(\s+)(\()rQ   [A-Z][\w.]*rO   [A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$r:   rT   rF   rU   rV   rN   rW   rX   rY   rZ   r[   z[^\\']r]   r^   r_   r`   \^[][A-Z@^_]ra   rb   rd   )rf   r?   rQ   r;   rH   rJ   r^   N)&rg   rh   ri   rj   rk   rl   rm   rn   ro   rp   rq   rr   Z
directivesrw   rx   r   r   r   ru   r   rs   rt   r   r{   r   r}   r|   r
   r   r~   r   r   r   ry   r   r   r   r   r   r   r   r   r      s   


 



	







c                   @   sD  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   Zcoinductiver   r$   r%   zeta-equalityfieldforallZhidingr)   Z	inductiveinfixinfixlinfixrr+   Zinterleavedr,   macror   zno-eta-equalityopaqueopenZoverlapr   r   Z	primitiver   quoteZ	quoteTermr   Zrenamingr   r   ZtacticZ	unfoldingunquoteZunquoteDeclZ
unquoteDefr   variabler1   r   r   r9   r:   r;   z\{!holerA   rB   r   r?   z\b(Set|Prop)[\u2080-\u2089]*\bz(\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)r   r   r   rc   rG   rH   rI   rJ   r   r   z[^!{}]+rY   z!\}rO   z[!{}]z[a-zA-Z][\w.\']*z	[\W0-9_]+r^   )rf   r   r?   r;   rH   rJ   r^   N)#rg   rh   ri   rj   rk   rl   rm   rn   ro   rp   rq   r   r   r   r{   r   r}   r   rs   rt   Z	Directiverw   rx   r   ru   r|   r   r~   r   r   r   ry   r
   r   r   r   r   r   r   r      s^   
 


 


c                   @   s  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dDe#eej%d*fgdEZ&dFdGdHdIdJdKdLdMdNdOdPdQdRdSdTdUdVdWdXhZ'dYdZ Z(d[S )\r   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   )ZArithZBitZCmpFalseZInfTruer&   r   ZexternZfinr(   r=   infZlg2maxminr?   r-   Zpragmapropertyr/   r0   r1   widthr3   r8   //.*$/\*r;   r<   r=   r>   r?   r@   rA   rB   z^[_a-z][\w\']*z'?[_a-z][\w']*r   rC   rD   rE   rF   r   r   z0[oO][0-7]+r   rc   rG   rH   rI   rJ   rK   rL   rM   rN   rO   rP   z(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rQ   r   rR   r   r   r   rT   rU   rV   rW   [^/*]+rY   \*/[*/]r\   r]   r^   r_   r`   r   ra   rb   rd   re   rx   splitreverseZ	transposer   lengthtailz<<z>>z<<<z>>>constregZparseqASSERTZ	undefinederrortracec                 c   sR   dg}t | ||D ]8\}}}|tkr@|| jkr@|tj|fV  q|||fV  qd S )Nrf   )r   get_tokens_unprocessedr   EXTRA_KEYWORDSr   )selftextstackindextokenvaluer   r   r   r     s    z#CryptolLexer.get_tokens_unprocessedN))rg   rh   ri   rj   rk   rm   rn   ro   rl   rp   rq   rr   r   r   rs   rt   r   ru   r   rv   rw   rx   r{   r|   r   r}   r   r~   r   r   r   r   ry   r   r   r   r   r   r   r   r   r   r   r   r   r   i  s   



$   
 


	








f
           c                   @   s*   e Zd ZdZedZdd Zd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                 K   s   || _ tj| f| d S N)	baselexerr   __init__)r   r   optionsr   r   r   r     s    zLiterateLexer.__init__c              	   c   s  | j d}|d kr0| dd dkr,dp.d}d}g }|dkrt|D ]h}| }| j|}|r|t	|dt
j|dfgf ||d7 }qJ|t	|dt|fgf qJndd	lm} |f | j }	d}
d}t|D ]}| }|
r| d
rd}
||7 }n||7 }q| drXd}
||7 }|t	|t|	|f d}q||7 }q|t	|t|	|f t|| j|E d H  d S )Nlitstyler      z%\latexbird    )TexLexerz
\end{code}z\begin{code})r   getlstripr	   finditergroupbird_rematchappendlenr   Specialr
   Zpygments.lexers.markupr   
startswithlistr   r   r   )r   r   stylecode
insertionsr   linemr   ZlxlexerZ	codelinesr   r   r   r   r     sL    





z$LiterateLexer.get_tokens_unprocessedN)	rg   rh   ri   rj   recompiler   r   r   r   r   r   r   r     s   
r   c                   @   s:   e Zd ZdZdZdddgZdgZdgZdZd	Z	d
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 Haskellzliterate-haskelllhaskelllhsz*.lhsztext/x-literate-haskellz-https://wiki.haskell.org/Literate_programmingz0.9c                 K   s   t f |}tj| |f| d S r   )r   r   r   r   r   Zhslexerr   r   r   r   D  s    
zLiterateHaskellLexer.__init__Nrg   rh   ri   rj   rk   rm   rn   ro   rl   rp   r   r   r   r   r   r   2  s   

c                   @   s:   e Zd ZdZdZdddgZdgZdgZdZd	Z	d
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 Idriszliterate-idrislidrislidrz*.lidrztext/x-literate-idrisz?https://idris2.readthedocs.io/en/latest/reference/literate.htmlr   c                 K   s   t f |}tj| |f| d S r   )r   r   r   r  r   r   r   r   [  s    
zLiterateIdrisLexer.__init__Nr  r   r   r   r   r   I  s   

c                   @   s8   e Zd ZdZdZddgZdgZdgZdZdZ	d	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                 K   s&   t f |}tj| |fddi| d S )Nr   r   )r   r   r   )r   r   Z	agdalexerr   r   r   r   r  s    
zLiterateAgdaLexer.__init__Nr  r   r   r   r   r   `  s   
c                   @   s:   e Zd ZdZdZdddgZdgZdgZdZd	Z	d
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 Cryptolzliterate-cryptollcryptollcryz*.lcryztext/x-literate-cryptolr   r   c                 K   s   t f |}tj| |f| d S r   )r   r   r   )r   r   Zcrylexerr   r   r   r     s    
zLiterateCryptolLexer.__init__Nr  r   r   r   r   r   w  s   

c                "   @   s
  e Zd ZdZdZdZdgZddgZdgZdZ	d	d
ddddddddddddddddddddddd d!d"d#d$d%d&d'd(d)g"Z
dddddd'gZd*d+d,d-gZd.d/d0d1d2d3d4d5d6d7d8d9d:gZd;Zd<e d= Zd>ZejZejZejZed?d@e edfdAeeeedBfdCeeeedDfdEdFedG eeeedfdHeeeeeejfdIeeeejeeeeeej	fdJe dK eeeeeej fdLe dK eeeeeeeej fdEdFee ej!fdEdFe
e efdEdFee ej"fdMe efdNeejefdOeejefdPe dK eejefdQej#fdRe$j%dSfedT e&fdUe&fdVe'fdWe(j)fdXe(j*fdYe(j+fdZe$j,d[fd\e$j%d]fgd^efedgd_e'd`fedgdaedbfedcgdded`fdaedbfdeefdfeeeefedcged?dEdFee efdgdFe
e dh ed`fdie efdjefdQej#fdNeejefdkeejefdlefe-d`g
dmeee.j/fdnefdoe.j0dpfdqe.j1fgdre.j0fdoe.j0dsfdte.j0d`fdue.j0fgdve$j%fdwe$j2fd\e$j%d`fgdxe$j%fedydze$j%d`fgd{e$j,fedyd|e$j,d`fgd}e$j2fd~e$j2fde$j2fde$j2fgdZ3dS )r   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   r0   ZcotypeZrectypealiasstructconZfunfunctionvalvarZexternalr(   r/   r&   elifreturnr   r   r   r?   r=   asr   inlineZrectryyieldenumr   r+   r   existsZsomer   forwhilerepeatZforeachzforeach-indexedr   Zcatchfinallycsjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z	(?![\w/])
whitespacez::?z(alias)(\s+)([a-z]\w*)?
alias-typez(struct)(\s+)([a-z]\w*)?struct-typez({})rB   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]+rG   charrI   rJ   =z(?=\((?!,*\)))rO   z[(\[<]type-nestedtype-contentz[)\]>]rT   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*)(#.*)$r8   r   r;   r   r   rY   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})rf   r.  r/  r0   r4  r5  r-  r;   r0  rJ   r2  r6  N)4rg   rh   ri   rj   rk   rl   rm   rn   ro   rp   keywordsZtypeStartKeywordsZtypekeywordsbuiltinsymbolsZ	sboundaryboundaryr   	AttributeZ	tokenTypeClassZtokenTypeDefr   EmphZtokenConstructorr   r   r   r   rw   rx   r   r{   r|   PseudoVariabler   Doubler   r   r   r~   r   r   ry   r   r   Preprocrt   rs   r   r   r   r   r   r   r     s                                         
  







?
 








 )%rj   r  Zpygments.lexerr   r   r   r   r   r   r   r	   Zpygments.tokenr
   r   r   r   r   r   r   r   r   r   pygmentsr   rz   __all__r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   <module>   s0   
(0
    oI 
@