U
    luf                  
   @   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
    ZHaskellzhttps://www.haskell.org/ZhaskellZ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ACK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\']*),\(rO   rO   #pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+x[\da-fA-F]+\d+	(\s+)(\\)rootr;   r=   rO   r9   rF   rH   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   FloatZBinOctHexIntegerBuiltinr   r   	NamespaceEscapetokens r   r   ;/tmp/pip-unpacked-wheel-7eq1ciah/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
    ZHspecZhspecz*Spec.hsrd   z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)re   rf   rg   rh   ri   rk   rl   rm   r   r
   r   r   Z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
    ZIdriszhttps://www.idris-lang.org/ZidrisZ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staticr.   r/   withpatternZtermsyntaxprefix	postulate
parametersrecordZdslZ
impossibleZimplicitZtacticsZintrosZintroZcomputeZrefineexactZtrivialr0   )liblinkflagr   Zhidefreezeaccessr   loggingZdynamicri   Zerror_handlerslanguagez^(\s*)(%%(%s))r@   z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z
(\s*)(\{-)r9   ^(\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]+ra   rE   rF   rG   rH   
[^\s(){}]+\s+?r6   ([A-Z][\w.]*)(\s+)(\()rO   [A-Z][\w.]*rM   [A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$r8   rR   rD   rS   rT   rL   rU   rV   rW   rX   rY   z[^\\']r[   r\   r]   r^   \^[][A-Z@^_]r_   r`   rb   )rd   r=   rO   r9   rF   rH   r\   N)$re   rf   rg   rh   ri   rj   rk   rl   rm   rn   ro   Z
directivesrt   r   r   r   rr   r   rp   rq   r   rw   r   ry   rx   r
   r   rz   r|   r}   r   ru   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
    ZAgdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpZ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   variabler.   r   r   r7   r8   r9   z\{!holer?   r@   r   r=   z\b(Set|Prop)[\u2080-\u2089]*\bz(\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)r   r   r   ra   rE   rF   rG   rH   r   r   z[^!{}]+rW   z!\}rM   z[!{}]z[a-zA-Z][\w.\']*z	[\W0-9_]+r\   )rd   r   r=   r9   rF   rH   r\   N)!re   rf   rg   rh   ri   rj   rk   rl   rm   rn   r   r   r   rw   r   ry   r   rp   rq   Z	Directivert   r   rr   rx   r   rz   r|   r}   r   ru   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
    ZCryptolZcryptolZcryz*.cryztext/x-cryptol)ZArithZBitZCmpFalseZInfTruer#   r   externZfinr%   r;   infZlg2maxminr=   r*   Zpragmapropertyr,   r-   r.   widthr0   r6   //.*$/\*r9   r:   r;   r<   r=   r>   r?   r@   z^[_a-z][\w\']*z'?[_a-z][\w']*r   rA   rB   rC   rD   r   r   z0[oO][0-7]+r   ra   rE   rF   rG   rH   rI   rJ   rK   rL   rM   rN   z(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rO   r   rP   r   r   r   rR   rS   rT   rU   [^/*]+rW   \*/[*/]rZ   r[   r\   r]   r^   r   r_   r`   rb   rc   rt   splitreverseZ	transposer   lengthtailz<<z>>z<<<z>>>constreg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 )Nrd   )r   get_tokens_unprocessedr   EXTRA_KEYWORDSr~   )selftextstackindextokenvaluer   r   r   r     s    z#CryptolLexer.get_tokens_unprocessedN)&re   rf   rg   rh   ri   rk   rl   rm   rn   ro   r   r   rp   rq   r   rr   r   rs   rt   rw   rx   r   ry   r   rz   r{   r|   r}   r   ru   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%\latexZ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codeZ
insertionsr   linemr   ZlxlexerZ	codelinesr   r   r   r   r   	  sL    





z$LiterateLexer.get_tokens_unprocessedN)	re   rf   rg   rh   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-haskellZ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	re   rf   rg   rh   ri   rk   rl   rm   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-idrisZlidrisZ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-agdaZ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-cryptolZlcryptolZ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
    ZKokaz/https://koka-lang.github.io/koka/doc/index.htmlZkokaz*.kkz*.kkiztext/x-kokar   r   r   r-   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csZjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z	(?![\w/])
whitespacez::?z(alias)(\s+)([a-z]\w*)?
alias-typez(struct)(\s+)([a-z]\w*)?struct-typez(%s)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]+rE   charrG   rH   =z(?=\((?!,*\)))rM   z[(\[<]type-nestedtype-contentz[)\]>]rR   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*)(#.*)$r6   r   r9   r   r   rW   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})rd   r  r  r-   r  r  r  r9   r  rH   r  r  N)2re   rf   rg   rh   ri   rj   rk   rl   rm   keywordsZtypeStartKeywordsZtypekeywordsbuiltinsymbolsZ	sboundaryboundaryr   	Attribute	tokenTypeZClassZtokenTypeDefr   ZEmphZtokenConstructorr   r   r   r   rt   r   rw   rx   ZPseudoVariabler   Doubler   r   r   rz   r|   r}   ru   r   r   ZPreprocrq   rp   r   r   r   r   r   r   r     s                                         
  







?
 








 )%rh   r   Zpygments.lexerr   r   r   r   r   r   r   r	   Zpygments.tokenr
   r   r   r   r   r   r   r   r   r   Zpygmentsr   rv   __all__r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   <module>   s0   
(0
    pJ 
@