Your IP : 216.73.216.213
B
u��\G} �
@ s> d Z ddlZddlmZmZmZmZmZmZm Z ddl
m Z m Z m
Z
mZmZmZmZmZmZ ddlmZ dddd d
d d d
ddg
Ze�d�ZG dd� de�ZG dd� de�ZG dd� de�Z G dd � d e�Z G dd
� d
e�Z G dd� de�Z G dd � d e �Z G dd � d e �Z!G dd
� d
e �Z"G dd� de �Z#G d d� de�Z$dS ) z�
pygments.lexers.haskell
~~~~~~~~~~~~~~~~~~~~~~~
Lexers for Haskell and related languages.
:copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�Lexer�
RegexLexer�bygroups�
do_insertions�default�include�inherit) �Text�Comment�Operator�Keyword�Name�String�Number� Punctuation�Generic)� unistring� HaskellLexer�
HspecLexer�
IdrisLexer� AgdaLexer� CryptolLexer�LiterateHaskellLexer�LiterateIdrisLexer�LiterateAgdaLexer�LiterateCryptolLexer� KokaLexerz.*?
c @ sF e Zd ZdZdZddgZdgZdgZej ej
B Z dZ dZ
d efd
ejfd ejd fd
ejdfdejdfdejfdd�e � ejfdejfdej d ejfdej d efdej d ej fdej d ej fdej fd ej fd ejfd e j fd ej fd e fd!e j!fd"e j!fd#e j!fd$e j!fd%e j"fd&e j#fd'e j$fd(e j%fd)ejd*fd+ed,fd-ej fd.ej&fd/e'fg d efd+ed,fd0e'd1fd2efd3ej d4 ej d5 e(ej)eeee�d1fd3ej d6 e(ej)eeee'�d7fd3ej d8 e(ej)ee'�d7fd9ej)d1fgd efd3ej d8 e(ej)ee'�d7fd:ej d; ej)d1fgd efd:ej d< ej fd=ej d> ejfd
ejfd ejd fd?e'fd e fd@e'dAfd0e'dBfg dCejfd ejdDfdEejd1fdFejfgdGejd1fdHej*dIfd)ejd1fgdJefdHej*dIfd+ed1fgdKej*d1fdLej dM ej*d1fd�e
�ej*d1fdNej*d1fdOej*d1fdPej*d1fdQej*d1fgdR�Z+dSS )Tr zk
A Haskell lexer based on the lexemes defined in the Haskell 98 Report.
.. versionadded:: 0.8
ZHaskellZhaskellZhsz*.hsztext/x-haskell)�case�class�datar Zderiving�do�else�family�if�inz
infix[lr]?�instance�let�newtype�of�then�type�where�_)�NUL�SOHz[SE]TX�EOT�ENQ�ACK�BEL�BS�HT�LF�VT�FF�CRzS[OI]�DLEzDC[1-4]�NAK�SYN�ETB�CAN�EM�SUB�ESCz[FGRU]S�SP�DELz\s+z!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$z\{-�commentz
\bimport\b�importz
\bmodule\b�modulez \berror\bz\b(%s)(?!\')\b�|z'[^\\]'z^[_z][\w\']*z'?[_z][\w']*z('')?[z(')[z
(')\[[^\]]*\]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)*)?z0[bB]_*[01](_*[01])*z0[oO]_*[0-7](_*[0-7])*z 0[xX]_*[\da-fA-F](_*[\da-fA-F])*z \d(_*\d)*�'� character�"�stringz\[\]z\(\)z [][(),;`{}]z\)z#popz qualified\bz([z][\w.]*)(\s+)(as)(\s+)([z][\w.]*)z ][\w.]*)(\s+)(hiding)(\s+)(\()�funclistz][\w.]*)(\s+)(\()z[\w.]+�[z][\w.]*z]\w*z (_[\w\']+|[z ][\w\']*)�,z\()rK rK z#pop:2z[^-{}]+z#pushz-\}z[-{}]z[^\\']'z\\�escapez[^\\"]+z[abfnrtv"\'&\\]z\^[][z@^_]zo[0-7]+z x[\da-fA-F]+z\d+z\s+\\)�rootrD rE rK rC rH rJ rN N),�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�re� MULTILINE�UNICODE�flags�reserved�asciir r
�Single� Multiliner �Reservedr
� Exception�joinr �Char�uniZLl�FunctionZLu�Typer �Wordr �Float�Bin�Oct�Hex�Integer�Builtinr r � Namespace�Escape�tokens� rq rq �H/opt/alt/python37/lib/python3.7/site-packages/pygments/lexers/haskell.pyr s�
c @ sV e Zd ZdZdZdgZg Zg Zddee e
j �fdee e
j �fdee e
j �fe giZ
dS ) r zY
A Haskell lexer with support for Hspec constructs.
.. versionadded:: 2.4.0
ZHspecZhspecrO z(it\s*)("[^"]*")z(describe\s*)("[^"]*")z(context\s*)("[^"]*")N)rP rQ rR rS rT rU rV rW r r r ZDocr rp rq rq rq rr r � s c @ s* e Zd ZdZdZddgZdgZdgZdZdZ d Z
d
d � e
� e e
ej�fd e e
ej�fd
e e
ej�fde e
ej�dfde e
eje
eje
�fdd � e� ejfde eje
�dfdejfde
fdejfdejfdejfdejfdejfdejfd e j d fd e d fd e
fd!e
fgd"e
fd#e ej e
e �d$fd%ej d&fgd"e
fd'ejfd(ejfd)ejfd*ejdfd+e fd,efd-e d.fd/e d0fg d1ejfd*ejd2fd3ejd&fd4ejfgd5e j fd6e j d7fd e j d&fgd8e fd6e j d7fd e d&fgd9e j d&fd:e j d&fd � e �e j d&fd;e j d&fd<e j d&fde j d&fd=e j d&fgd>�Z!d?S )@r z�
A lexer for the dependently typed programming language Idris.
Based on the Haskell and Agda Lexer.
.. versionadded:: 2.0
ZIdrisZidrisZidrz*.idrz text/x-idris).r r r r �usingr r! r# r$ z
infix[lr]?r% �rewrite�auto� namespace�codata�mutual�private�public�abstract�total�partialr& Zproofr( r) �staticr+ r, �with�patternZterm�syntax�prefix� postulate�
parameters�recordZdslZ
impossibleZimplicitZtacticsZintrosZintroZcomputeZrefine�exactZtrivial)r- r. z[SE]TXr/ r0 r1 r2 r3 r4 r5 r6 r7 r8 zS[OI]r9 zDC[1-4]r: r; r< r= r> r? r@ z[FGRU]SrA rB )
�lib�link�flagr ZhideZfreeze�accessr ZloggingZdynamicrT Zerror_handlers�languagez ^(\s*)(%%%s)rF z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z
(\s*)(\{-)rC z ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)z\b(%s)(?!\')\bz(import|module)(\s+)rE z('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z0[xX][\da-fA-F]+z\d+rG rH rI rJ z
[^\s(){}]+z\s+?z\s+z([A-Z][\w.]*)(\s+)(\()rK z [A-Z][\w.]*z#popz[A-Z]\w*z(_[\w\']+|[a-z][\w\']*)z--.*$z\{-rM z[:!#$%&*+.\\/<=>?@^|~-]+z\()rK rK z\)z#pop:2z[^-{}]+z#pushz-\}z[-{}]z[^\\']z\\rN z[^\\"]+z[abfnrtv"\'&\\]z \^[][A-Z@^_]zo[0-7]+z x[\da-fA-F]+z\s+\\)rO rE rK rC rH rJ rN N)"rP rQ rR rS rT rU rV rW r\ r] Z
directivesrb r r r r` r
r^ r_ r
re r rg rf r rh rk rl r rc rn r ro rp rq rq rq rr r � sv
c " @ s~ e Zd ZdZdZdgZdgZdgZdddd d
d d d
ddddddddddddddd d d d d d!d"d#d$d%d&d'g"Zd(e e
e j e
e
je
�fd)ejfd*ejd+fd,ejd-fd.d/�e� ejfd0e eje
�d1fd2ejfd3e
fd4e
jfd5ejfd6ejfd7ejfd8ejfd9ej d:fd;ed<fd=e
fd>e
fgd?ejfd,ejd@fdAejdBfdCejfgd*ejd+fdDe dBfdEe
fge j d+ e j d: e j d< e j dF dG�Z dHS )Ir z�
For the `Agda <http://wiki.portal.chalmers.se/agda/pmwiki.php>`_
dependently typed functional programming language and proof assistant.
.. versionadded:: 2.0
ZAgdaZagdaz*.agdaz text/x-agdar{ rw Z coinductive� constructorr �field�forallZhidingr$ Z inductive�infix�infixl�infixrr% r& rx �openr� r� Z primitivery �quoteZ quoteGoalZ quoteTermr� Zrenamingrt r� Ztactic�unquoteZ unquoteDeclrs r+ r z ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)z!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$z\{-rC z\{!�holez\b(%s)(?!\')\brF z(import|module)(\s+)rE z\b(Set|Prop)\bz
(\(|\)|\{|\})u (\.{1,3}|\||Λ|∀|→|:|=|->)z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z0[xX][\da-fA-F]+z\d+rG rH rI rJ z
[^\s(){}]+z\s+?z[^!{}]+z#pushz!\}z#popz[!{}]z[a-zA-Z][\w.]*z [\W0-9_]+rN )rO r� rE rC rH rJ rN N) rP rQ rR rS rT rU rV rW r\ r r r
re r rg r
r^ r_ Z Directiverb r r` rf r rh rk rl r rc r rp rq rq rq rr r % sR
c @ s~ e Zd ZdZdZddgZdgZdgZdZdZ d e
fd
e j fd e j
d fd
ejdfdejdfdejfdd�e� ejfdejfdefdejfdejfdejfdejfdefdejfd ejfd ejfd ejfd ejfd e j d!fd"e d#fd$ejfd%ej fd&e fgd e
fd"e d#fd'e d(fd)efd*e ej!e
ee
e�d(fd+e ej!e
ee
e �d,fd-e ej!e
e �d,fd.ej!d(fgd e
fd-e ej!e
e �d,fd/ej!d(fgd e
fd0ejfd1ejfd2e fdefd3e d4fd'e d5fgd6e j
fd e j
d7fd8e j
d(fd9e j
fgd:e j d(fd;e j"d<fd e j d(fgd=e fd;e j"d<fd"e d(fgd>e j"d(fd?e j"d(fd�e �e j"d(fd@e j"d(fdAe j"d(fd e j"d(fdBe j"d(fgdC�Z#e$dD�Z%dEdF� Z&dGS )Hr zs
FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report.
.. versionadded:: 2.0
ZCryptolZcryptolZcryz*.cryztext/x-cryptol)ZArithZBitZCmp�FalseZInf�Truer! Zexport�externZfinr# rD �infZlg2�max�minrE r' Zpragma�propertyr) r* r+ �width)r- r. z[SE]TXr/ r0 r1 r2 r3 r4 r5 r6 r7 r8 zS[OI]r9 zDC[1-4]r: r; r< r= r> r? r@ z[FGRU]SrA rB z\s+z//.*$z/\*rC z
\bimport\brD z
\bmodule\brE z \berror\bz\b(%s)(?!\')\brF z^[_a-z][\w\']*z'?[_a-z][\w']*z('')?[A-Z][\w\']*z \\(?![:!#$%&*+.\\/<=>?@^|~-]+)z+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+)z:[:!#$%&*+.\\/<=>?@^|~-]*z[:!#$%&*+.\\/<=>?@^|~-]+z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z 0[oO][0-7]+z0[xX][\da-fA-F]+z\d+rG rH rI rJ z\[\]z\(\)z [][(),;`{}]z\)z#popz qualified\bz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rK z([A-Z][\w.]*)(\s+)(\()z[\w.]+z [A-Z][\w.]*z[A-Z]\w*z(_[\w\']+|[a-z][\w\']*)rM z\()rK rK z#pop:2z[^/*]+z#pushz\*/z[*/]z[^\\']'z\\rN z[^\\"]+z[abfnrtv"\'&\\]z \^[][A-Z@^_]zo[0-7]+z x[\da-fA-F]+z\s+\\)rO rD rE rK rC rH rJ rN )rb �split�reverseZ transposer� �length�tailz<<z>>z<<<z>>>�constZreg�par�seq�ASSERTZ undefined�error�tracec c sV dg}xJt �| ||�D ]8\}}}|tkrB|| jkrB|tj|fV q|||fV qW d S )NrO )r �get_tokens_unprocessedr
�EXTRA_KEYWORDSrm )�self�text�stack�index�token�valuerq rq rr r� � s z#CryptolLexer.get_tokens_unprocessedN)'rP rQ rR rS rT rU rV rW r\ r] r r
r^ r_ r r` r
ra rb re rf r rg r rh rj rk rl r rc rm r r rn ro rp �setr� r� rq rq rq rr r j s�
c @ s* e Zd ZdZe�d�Zdd� Zdd� ZdS )�
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 || _ tj| f|� d S )N)� baselexerr �__init__)r� r� �optionsrq rq rr r� s zLiterateLexer.__init__c
c s� | j �d�}|d kr0|�� dd� dkr,dp.d}d}g }|dkr�xvt�|�D ]h}|�� }| j�|�}|r�|�t |�dt
j |�d�fgf� ||�d�7 }qL|�t |�dt |fgf� qLW n�dd l
m} |f | j �} d}
d} x�t�|�D ]�}|�� }|
�r |�� �d
��rd}
| |7 } n||7 }q�|�� �d ��r^d}
| |7 } |�t |�t| �| ��f� d} q�| |7 } q�W |�t |�t| �| ��f� x"t|| j�|��D ] } | V �q�W d S ) N�litstyler � z%\�latexZbird� � )�TexLexerz
\end{code}z \begin{code})r� �get�lstrip�line_re�finditer�group�bird_re�match�append�lenr
�Specialr Zpygments.lexers.markupr� �
startswith�listr� r r� )
r� r� Zstyle�codeZ
insertionsr� �line�mr� ZlxlexerZ codelinesr� �itemrq rq rr r� sH
z$LiterateLexer.get_tokens_unprocessedN) rP rQ rR rS rX �compiler� r� r� rq rq rq rr r� � s
r� c @ s2 e Zd ZdZdZdddgZdgZdgZdd � Zd
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
zLiterate Haskell�lhszliterate-haskellZlhaskellz*.lhsztext/x-literate-haskellc K s t f |�}tj| |f|� d S )N)r r� r� )r� r� �hslexerrq rq rr r� F s
z LiterateHaskellLexer.__init__N) rP rQ rR rS rT rU rV rW r� rq rq rq rr r 4 s
c @ s2 e Zd ZdZdZdddgZdgZdgZdd � Zd
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
zLiterate IdrisZlidrzliterate-idrisZlidrisz*.lidrztext/x-literate-idrisc K s t f |�}tj| |f|� d S )N)r r� r� )r� r� r� rq rq rr r� ] s
zLiterateIdrisLexer.__init__N) rP rQ rR rS rT rU rV rW r� rq rq rq rr r K s
c @ s0 e Zd ZdZdZddgZdgZdgZdd� Zd 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 AgdaZlagdaz
literate-agdaz*.lagdaztext/x-literate-agdac K s& t f |�}tj| |fddi|�� d S )Nr� r� )r r� r� )r� r� Z agdalexerrq rq rr r� t s
zLiterateAgdaLexer.__init__N) rP rQ rR rS rT rU rV rW r� rq rq rq rr r b s c @ s2 e Zd ZdZdZdddgZdgZdgZdd � Zd
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
zLiterate CryptolZlcryzliterate-cryptolZlcryptolz*.lcryztext/x-literate-cryptolc K s t f |�}tj| |f|� d S )N)r r� r� )r� r� Zcrylexerrq rq rr r� � s
z LiterateCryptolLexer.__init__N) rP rQ rR rS rT rU rV rW r� rq rq rq rr r y s
c " @ s� e Zd ZdZdZdgZddgZdgZddd d
d d d
ddddddddddddddd dd d d d d!d"d#d$d%d&d'g"Zd
d d d
dd%gZ d(d)d*d+gZ
d,d-d.d/d0d1d2d3d4d5d6d7d8g
Z d9Z d:e d; Z
d<ZejZejZejZed=�d>e
ed
fd?eeee�d@fdAeeee�dBfdCdD�e � dE eeee�d
fdFeeeeej �fdGeeeej eeeeej �fdHe dI eeeej �fdJe dI eeeeej �fdCdD�e
� e ej fdCdD�e� e efdCdD�e � e ej fdKe
efdLeej e�fdMeej e�fdNe dI eej e�fdOej fdPe!j"dQfe dR e#fdSe#fdTe$fdUe%j&fdVe%j'fdWe%j(fdXe!j)dYfdZe!j"d[fgd\efed
�gd]e$d^fed
�gd_ed`feda�gdbed^fd_ed`fdcefddeeee�feda�ged=�dCdD�e
� e efdedD�e� e df ed^fdge efdhefdOej fdLeej e�fdieej e�fdjefe*d^�g
dke+j,fdlefdme+j-dnfdoe+j.fgdpe+j-fdme+j-dqfdre+j-d^fdse+j-fgdte!j"fdue!j/fdZe!j"d^fgdve!j"fedw�dxe!j"d^fgdye!j)fedw�dze!j)d^fgd{e!j/fd|e!j/fd}e!j/fd~e!j/fgd� Z0d�S )�r zc
Lexer for the `Koka <http://koka.codeplex.com>`_
language.
.. versionadded:: 1.6
ZKokaZkokaz*.kkz*.kkiz text/x-kokar� r� r� r* ZcotypeZrectype�alias�structZconZfun�function�val�varZexternalr# r) r! �elif�returnr� ry rz rE rD �asr �inlineZrec�try�yield�enumZ interfacer% r� �existsZsomer �for�while�repeatZforeachzforeach-indexedr� Zcatch�finally�csZjs�file�ref�assignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!�)z (?![\w/])�
whitespacez::?z(alias)(\s+)([a-z]\w*)?z
alias-typez(struct)(\s+)([a-z]\w*)?z struct-typez(%s)rF z(\s+)([a-z]\w*)?z4(module)(\s+)(interface\s+)?((?:[a-z]\w*/)*[a-z]\w*)zb(import)(\s+)((?:[a-z]\w*/)*[a-z]\w*)(?:(\s*)(=)(\s*)((?:qualified\s*)?)((?:[a-z]\w*/)*[a-z]\w*))?zE(^(?:(?:public|private)\s*)?(?:function|fun|val))(\s+)([a-z]\w*|\((?:z|/)\))zE(^(?:(?:public|private)\s*)?external)(\s+)(inline\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]+)?z0[xX][0-9a-fA-F]+z[0-9]+rG �charrI rJ �=z(?=\((?!,*\)))z#popz[(\[<]z type-nestedz type-contentz[)\]>]rM 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*#.*$z\s+z/\*rC z//.*$z[^/*]+z#pushz\*/z[*/]z[^"]+z""z [^\\"\n]+zescape-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}) rO z
alias-typez struct-typer* z type-nestedz type-contentr� rC r� rJ r� zescape-sequenceN)1rP rQ rR rS rT rU rV rW �keywordsZtypeStartKeywordsZ typekeywords�builtin�symbolsZ sboundary�boundaryr
� AttributeZ tokenTypeZClassZ tokenTypeDefr ZEmphZtokenConstructorr r r r rb rn re rf ZPseudo�Variabler �Doubler r r rh rk rl rc r r
ZPreprocr_ r^ ro rp rq rq rq rr r � s�
)%rS rX Zpygments.lexerr r r r r r r Zpygments.tokenr r
r r r
r r r r �pygmentsr rd �__all__r� r� r r r r r r� r r r r r rq rq rq rr �<module>
s* $,
nE
A