U
    -e                  
   @   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-2023 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
    N)Lexer
RegexLexerbygroupsdo_insertionsdefaultincludeinheritline_re)
TextCommentOperatorKeywordNameStringNumberPunctuationGeneric
Whitespace)	unistringHaskellLexer
HspecLexer
IdrisLexer	AgdaLexerCryptolLexerLiterateHaskellLexerLiterateIdrisLexerLiterateAgdaLexerLiterateCryptolLexer	KokaLexerc                !   @   sL  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
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d/ejfd0ej#fd1e$fg d
efd-ed.fd2e$d3fd4efd5ej d6 ej d7 e%ej&eeeed3fd5ej d8 e%ej&eeee$d9fd5ej d: e%ej&ee$d9fd;ej&d3fgd
efd5ej d: e%ej&ee$d9fd<ej d= ej&d3fgd
efd<ej d> ejfd?ej d@ ejfdejfdejdfdAe$fd"efdBe$dCfd2e$dDfg	dEejfdejdFfdGejd3fdHejfgdIejd3fdJej'dKfd+ejd3fgdLefdJej'dKfd-ed3fgdMej'd3fdNej dO ej'd3fde
ej'd3fdPej'd3fdQej'd3fdRej'd3fdSe%eej'd3fgdTZ(dUS )Vr   zk
    A Haskell lexer based on the lexemes defined in the Haskell 98 Report.

    .. versionadded:: 0.8
    Haskellzhttps://www.haskell.org/haskellhsz*.hsztext/x-haskell)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(%s)(?!\')\b|z'[^\\]'z^[_z][\w\']*z'?[_z][\w']*z('')?[z(')[z(')\[[^\]]*\]z(')\([^)]*\)z(')[:!#$%&*+.\\/<=>?@^|~-]+\\(?![:!#$%&*+.\\/<=>?@^|~-]+)+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+):[:!#$%&*+.\\/<=>?@^|~-]*[:!#$%&*+.\\/<=>?@^|~-]+z40[xX]_*[\da-fA-F](_*[\da-fA-F])*_*[pP][+-]?\d(_*\d)*zR0[xX]_*[\da-fA-F](_*[\da-fA-F])*\.[\da-fA-F](_*[\da-fA-F])*(_*[pP][+-]?\d(_*\d)*)?z\d(_*\d)*_*[eE][+-]?\d(_*\d)*z+\d(_*\d)*\.\d(_*\d)*(_*[eE][+-]?\d(_*\d)*)?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reservedasciir   r   Single	Multiliner   Reservedr   	Exceptionjoinr   CharuniZLlFunctionZLuTyper   Wordr   FloatBinOctHexIntegerBuiltinr   r   	NamespaceEscapetokens r   r   X/var/www/html/Darija-Ai-Train/env/lib/python3.8/site-packages/pygments/lexers/haskell.pyr      s   



-   
 


	







c                   @   s^   e Zd ZdZdZdgZdgZg 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   zY
    A Haskell lexer with support for Hspec constructs.

    .. versionadded:: 2.4.0
    Hspechspecz*Spec.hsrf   z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rg   rh   ri   rj   rk   rm   rn   ro   r   r
   r   r   Docr   r   r   r   r   r   r      s   c                   @   s4  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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!d/fd0e!d1fg	d2ejfd+ejd3fd4ejd'fd5ejfgd6ejfd7ej"d8fdejd'fgd9efd7ej"d8f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#d@S )Ar   z
    A lexer for the dependently typed programming language Idris.

    Based on the Haskell and Agda Lexer.

    .. versionadded:: 2.0
    Idriszhttps://www.idris-lang.org/idrisidrz*.idrztext/x-idris)3r"   r#   r$   r   usingr%   r&   r(   r)   r*   r+   rewriteauto	namespacecodatamutualprivatepublicabstracttotalpartial	interfaceimplementation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*)(%%(%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   Z
directivesrv   r   r   r   rt   r   rr   rs   r   ry   r   r{   rz   r
   r   r|   r   r   r   rw   r   r   r   r   r   r   r   r   r      s   


 



	







c                   @   s>  e Zd ZdZdZdZdgZdgZdg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   z|
    For the Agda dependently typed functional programming language and
    proof assistant.

    .. versionadded:: 2.0
    Agdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpagdaz*.agdaztext/x-agda))r   r   Zcoinductiver   r$   r%   zeta-equalityfieldforallZhidingr)   Z	inductiveinfixinfixlinfixrr+   Zinterleavedr,   macror   zno-eta-equalityopenoverlapr   r   Z	primitiver   quoteZ	quoteTermr   Zrenamingr   r   Ztactic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   r   r   r   ry   r   r{   r   rr   rs   Z	Directiverv   r   rt   rz   r   r|   r   r   r   rw   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	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d.ej!d(fgd	e
fd-e ej!e
ed,fd/ej!d(fgd	e
fd0ejfd1ejfd2efdefd3ed4fd'ed5fgd6ejfdejd7fd8ejd(fd9e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d?ej"d(fde	ej"d(fd@ej"d(fdAej"d(fdej"d(fdBe e
ej"d(fgdCZ#dDdEdFdGdHdIdJdKdLdMdNdOdPdQdRdSdTdUdVhZ$dWdX Z%dYS )Zr   zs
    FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report.

    .. versionadded:: 2.0
    Cryptolcryptolcryz*.cryztext/x-cryptol)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   rv   splitreverseZ	transposer   lengthtailz<<z>>z<<<z>>>constregparseqASSERT	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   rp   rq   r   r   rr   rs   r   rt   r   ru   rv   ry   rz   r   r{   r   r|   r~   r   r   r   rw   r   r   r   r   r   r   r   r   r   r   r   r   r   m  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                   @   s2   e Zd ZdZdZdddgZdgZdgZdd	 Zd
S )r   an  
    For Literate Haskell (Bird-style or LaTeX) source.

    Additional options accepted:

    `litstyle`
        If given, must be ``"bird"`` or ``"latex"``.  If not given, the style
        is autodetected: if the first non-whitespace character in the source
        is a backslash or percent character, LaTeX is assumed, else Bird.

    .. versionadded:: 0.9
    zLiterate Haskellzliterate-haskelllhaskelllhsz*.lhsztext/x-literate-haskellc                 K   s   t f |}tj| |f| d S r   )r   r   r   r   r   Zhslexerr   r   r   r   H  s    
zLiterateHaskellLexer.__init__N	rg   rh   ri   rj   rk   rm   rn   ro   r   r   r   r   r   r   6  s   
c                   @   s2   e Zd ZdZdZdddgZdgZdgZdd	 Zd
S )r   al  
    For Literate Idris (Bird-style or LaTeX) source.

    Additional options accepted:

    `litstyle`
        If given, must be ``"bird"`` or ``"latex"``.  If not given, the style
        is autodetected: if the first non-whitespace character in the source
        is a backslash or percent character, LaTeX is assumed, else Bird.

    .. versionadded:: 2.0
    zLiterate Idriszliterate-idrislidrislidrz*.lidrztext/x-literate-idrisc                 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   M  s   
c                   @   s0   e Zd ZdZdZddgZdgZdgZdd Zd	S )
r   aU  
    For Literate Agda source.

    Additional options accepted:

    `litstyle`
        If given, must be ``"bird"`` or ``"latex"``.  If not given, the style
        is autodetected: if the first non-whitespace character in the source
        is a backslash or percent character, LaTeX is assumed, else Bird.

    .. versionadded:: 2.0
    zLiterate Agdazliterate-agdalagdaz*.lagdaztext/x-literate-agdac                 K   s&   t f |}tj| |fddi| d S )Nr   r   )r   r   r   )r   r   Z	agdalexerr   r   r   r   v  s    
zLiterateAgdaLexer.__init__Nr  r   r   r   r   r   d  s   c                   @   s2   e Zd ZdZdZdddgZdgZdgZdd	 Zd
S )r   an  
    For Literate Cryptol (Bird-style or LaTeX) source.

    Additional options accepted:

    `litstyle`
        If given, must be ``"bird"`` or ``"latex"``.  If not given, the style
        is autodetected: if the first non-whitespace character in the source
        is a backslash or percent character, LaTeX is assumed, else Bird.

    .. versionadded:: 2.0
    zLiterate Cryptolzliterate-cryptollcryptollcryz*.lcryztext/x-literate-cryptolc                 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   {  s   
c                "   @   s  e Zd ZdZdZdZdgZddgZdg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.d/d0d1d2d3d4d5d6d7d8d9g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d@eeeedAfdBeeeedCfdDdEe
 dF eeeedfdGeeeeeejfdHeeeejeeeeeej	fdIe dJ eeeeeejfdKe dJ eeeeeeeejfdDdEe e ejfdDdEe	 e efdDdEe e ej fdLe efdMeejefdNeejefdOe dJ eejefdPej!fdQe"j#dRfedS e$fdTe$fdUe%fdVe&j'fdWe&j(fdXe&j)fdYe"j*dZfd[e"j#d\fgd]efedgd^e%d_fedgd`edafedbgdced_fd`edafddefdeeeeefedbged>dDdEe e efdfdEe	 e dg ed_fdhe efdiefdPej!fdMeejefdjeejefdkefe+d_g
dleee,j-fdmefdne,j.dofdpe,j/fgdqe,j.fdne,j.drfdse,j.d_fdte,j.fgdue"j#fdve"j0fd[e"j#d_fgdwe"j#fedxdye"j#d_fgdze"j*fedxd{e"j*d_fgd|e"j0fd}e"j0fd~e"j0fde"j0fgdZ1dS )r   zA
    Lexer for the Koka language.

    .. versionadded:: 1.6
    Kokaz/https://koka-lang.github.io/koka/doc/index.htmlkokaz*.kkz*.kkiztext/x-kokar   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(%s)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(?=((%s)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   r2  r3  r+  r;   r.  rJ   r0  r4  N)2rg   rh   ri   rj   rk   rl   rm   rn   ro   keywordsZtypeStartKeywordsZtypekeywordsbuiltinsymbolsZ	sboundaryboundaryr   	AttributeZ	tokenTypeClassZtokenTypeDefr   EmphZtokenConstructorr   r   r   r   rv   r   ry   rz   PseudoVariabler   Doubler   r   r   r|   r   r   rw   r   r   Preprocrs   rr   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   rx   __all__r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   <module>   s0   
(0
    pJ 
@