| Server IP : 127.0.0.1 / Your IP : 216.73.216.109 Web Server : Apache/2.4.54 (Win64) OpenSSL/1.1.1q PHP/8.1.10 System : Windows NT DESKTOP-E5T4RUN 10.0 build 19045 (Windows 10) AMD64 User : SERVERWEB ( 0) PHP Version : 8.1.10 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/cygwin64/lib/python3.9/site-packages/pygments/lexers/__pycache__/ |
Upload File : |
a
SҼa�} � @ s. d Z ddlZddlmZmZmZmZmZmZm Z ddl
m Z m Z m
Z
mZmZmZmZmZmZ ddlmZ g d�Ze�d�ZG dd � d e�ZG d
d � d e�ZG d d
� d
e�Z G dd� de�Z G dd� de�Z G dd� de�Z G dd� de �Z G dd� de �Z!G dd� de �Z"G dd� de �Z#G d d � d e�Z$dS ) z�
pygments.lexers.haskell
~~~~~~~~~~~~~~~~~~~~~~~
Lexers for Haskell and related languages.
:copyright: Copyright 2006-2021 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 ! @ sN 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 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&fd0e'fg d efd,ed-fd1e'd2fd3efd4ej d5 ej d6 e(ej)eeee�d2fd4ej d7 e(ej)eeee'�d8fd4ej d9 e(ej)ee'�d8fd:ej)d2fgd efd4ej d9 e(ej)ee'�d8fd;ej d< ej)d2fgd efd;ej d= ej fd>ej d? ejfd
ejfd ejd fd@e'fd!e fdAe'dBfd1e'dCfg dDejfd ejdEfdFejd2fdGejfgdHejd2fdIej*dJfd*ejd2fgdKefdIej*dJfd,ed2fgdLej*d2fdMej dN ej*d2fd�e
�ej*d2fdOej*d2fdPej*d2fdQej*d2fdRej*d2fgdS�Z+dTS )Ur 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�elseZfamily�if�in�
infix[lr]?�instance�let�newtype�of�then�type�where�_��NULZSOHz[SE]TXZEOTZENQZACKZBELZBSZHTZLF�VTZFFZCRzS[OI]ZDLEzDC[1-4]ZNAKZSYNZETBZCANZEMZSUBZESCz[FGRU]SZSPZDEL�\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)*)?z0[bB]_*[01](_*[01])*z0[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\']*)�,�\(�rI rI �#pop:2�[^-{}]+�#push�-\}�[-{}]�[^\\']'�\\�escape�[^\\"]+�[abfnrtv"\'&\\]z\^[][z@^_]�o[0-7]+� x[\da-fA-F]+�\d+�\s+\\��rootr5 r7 rI r3 r@ rB rV 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 �FloatZBin�Oct�Hex�Integer�Builtinr r � Namespace�Escape�tokens� r r �;/usr/lib/python3.9/site-packages/pygments/lexers/haskell.pyr s�
�
�-� � �
� ��
�
�
�
�
��r 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
ZHspecZhspecr^ z(it\s*)("[^"]*")z(describe\s*)("[^"]*")z(context\s*)("[^"]*")N)r_ r` ra rb rc rd re rf r r r ZDocr r~ r r r r� r � s ��r 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)3r r r r �usingr r! r" r# r$ r% �rewrite�auto� namespace�codata�mutual�private�public�abstract�total�partial� interface�implementation�exportZcovering� constructorr& Zproofr( r) Zstaticr+ r, �with�patternZterm�syntax�prefix� postulate�
parameters�recordZdslZ
impossibleZimplicitZtacticsZintrosZintroZcomputeZrefine�exactZtrivialr- )
�lib�link�flagr �hideZfreeze�accessr ZloggingZdynamicrc Zerror_handlers�languagez^(\s*)(%%(%s))r: z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z
(\s*)(\{-)r3 � ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)r9 �(import|module)(\s+)r7 �('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)�\d+[eE][+-]?\d+�\d+\.\d+([eE][+-]?\d+)?�0[xX][\da-fA-F]+r[ r? r@ rA rB �
[^\s(){}]+�\s+?r0 �([A-Z][\w.]*)(\s+)(\()rI � [A-Z][\w.]*rG �[A-Z]\w*�(_[\w\']+|[a-z][\w\']*)z--.*$r2 rL r> rM rN rF rO rP rQ rR rS z[^\\']rU rV rW rX � \^[][A-Z@^_]rY rZ r\ )r^ r7 rI r3 r@ rB rV N)"r_ r` ra rb rc rd re rf rk rl Z
directivesrq r r r ro r
rm rn r
rt r rv ru r rw ry rz r rr r| r r} r~ r r r r� r � s�
��
� �
�
�
�
�
�
��r c @ s> e Zd ZdZdZdgZdgZdgZg d�Zde e
e j e
e
je
�fdejfd ejd
fd ejd fd
d�e� ejfde eje
�dfdejfde
fde
jfdejfdejfdejfdejfdej dfdedfd e
fd e
fgd ejfd ejd fd ejd!fd"ejfgd ejd
fd#e d!fd$e
fge j d
e j d e j d e j d% d&�Z d'S )(r 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-agda)"r� r� Z coinductiver� r Zfield�forallZhidingr# Z inductive�infix�infixl�infixrr% r& r� �openr� r� Z primitiver� �quoteZ quoteGoalZ quoteTermr� Zrenamingr� r� Ztactic�unquoteZ unquoteDeclr� r+ r� r� r1 r2 r3 z\{!�holer9 r: r� r7 z \b(Set|Prop)[\u2080-\u2089]*\bz
(\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)r� r� r� r[ r? r@ rA rB r� r� z[^!{}]+rQ z!\}rG z[!{}]z[a-zA-Z][\w.]*z [\W0-9_]+rV )r^ r� r7 r3 r@ rB rV N) r_ r` ra rb rc rd re rf rk r r r
rt r rv r
rm rn Z Directiverq r ro ru r rw ry rz r rr r r~ r r r r� r & sP �
�
�
��r 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#h 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! r� ZexternZfinr" r5 �infZlg2�max�minr7 r' Zpragma�propertyr) r* r+ �widthr- r0 �//.*$�/\*r3 r4 r5 r6 r7 r8 r9 r: z^[_a-z][\w\']*z'?[_a-z][\w']*r� r; r< r= r> r� r� z 0[oO][0-7]+r� r[ r? r@ rA rB rC rD rE rF rG rH z(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rI r� rJ r� r� r� rL rM rN rO �[^/*]+rQ �\*/�[*/]rT rU rV rW rX r� rY rZ r\ r] > z>>z>>>�tailZpar�reverse�ASSERTz<<<r� rq �errorZtrace�seqZregz<<Z transposeZ undefined�length�const�splitc c sR dg}t �| ||�D ]8\}}}|tu r@|| jv r@|tj|fV q|||fV qd S )Nr^ )r �get_tokens_unprocessedr
�EXTRA_KEYWORDSr{ )�self�text�stack�index�token�valuer r r� r� � s � z#CryptolLexer.get_tokens_unprocessedN)&r_ r` ra rb rc rd re rf rk rl r r
rm rn r ro r
rp rq rt ru r rv r rw rx ry rz r rr r{ r r r| r} r~ r� r� r r r r� r k s�
�$���
��
��
�
�
�
��fr 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| fi |�� d S �N)� baselexerr �__init__)r� r� �optionsr r r� r� s zLiterateLexer.__init__c c s� | j �d�}|d u r0|�� dd� dv r,dp.d}d}g }|dkr�t�|�D ]h}|�� }| j�|�}|r�|�t |�dt
j |�d�fgf� ||�d�7 }qJ|�t |�dt |fgf� qJn�dd l
m} |f i | j ��} d}
d} t�|�D ]�}|�� }|
�r |�� �d
��rd}
| |7 } n||7 }q�|�� �d ��r\d}
| |7 } |�t |�t| �| ��f� d} q�| |7 } q�|�t |�t| �| ��f� t|| j�|��E d H 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� r r r� r� sL
�
�
�z$LiterateLexer.get_tokens_unprocessedN) r_ r` ra rb rg �compiler� r� r� r r r r� r� � s
r� c @ s0 e Zd ZdZdZg d�ZdgZdgZdd� ZdS ) 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)zliterate-haskellZlhaskellZlhsz*.lhsztext/x-literate-haskellc K s& t f i |��}tj| |fi |�� d S r� )r r� r� �r� r� Zhslexerr r r� r� F s z LiterateHaskellLexer.__init__N� r_ r` ra rb rc rd re rf r� r r r r� r 4 s r c @ s0 e Zd ZdZdZg d�ZdgZdgZdd� ZdS ) 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 Idris)zliterate-idrisZlidrisZlidrz*.lidrztext/x-literate-idrisc K s& t f i |��}tj| |fi |�� d S r� )r r� r� r� r r r� r� ] s zLiterateIdrisLexer.__init__Nr� r r r r� r K s r 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 Agdaz
literate-agdaZlagdaz*.lagdaztext/x-literate-agdac K s* t f i |��}tj| |fddi|�� d S )Nr� r� )r r� r� )r� r� Z agdalexerr r r� r� t s zLiterateAgdaLexer.__init__Nr� r r r r� r b s r c @ s0 e Zd ZdZdZg d�ZdgZdgZdd� ZdS ) 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 Cryptol)zliterate-cryptolZlcryptolZlcryz*.lcryztext/x-literate-cryptolc K s& t f i |��}tj| |fi |�� d S r� )r r� r� )r� r� Zcrylexerr r r� r� � s z LiterateCryptolLexer.__init__Nr� r r r r� r y s r c @ s� e Zd ZdZdZdgZddgZdgZg d�Zg d�Z g d �Z
g d
�Z d Z d e d
Z
dZejZejZejZed�de
edfdeeee�dfdeeee�dfdd�e � d eeee�dfdeeeeej �fdeeeej eeeeej �fde d eeeej �fd e d eeeeej �fdd�e
� e ej fdd�e� e efdd�e � e ej fd e
efd eej e�fd eej e�fd!e d eej e�fd"ej fd#e!j"d$fe d% e#fd&e#fd'e$fd(e%j&fd)e%j'fd*e%j(fd+e!j)d,fd-e!j"d.fgd/efed�gd0e$d1fed�gd2ed3fed4�gd5ed1fd2ed3fd6efd7eeee�fed4�ged�dd�e
� e efd8d�e� e d9 ed1fd:e efd;efd"ej fd eej e�fd<eej e�fd=efe*d1�g
d>e+j,fd?efd@e+j-dAfdBe+j.fgdCe+j-fd@e+j-dDfdEe+j-d1fdFe+j-fgdGe!j"fdHe!j/fd-e!j"d1fgdIe!j"fedJ�dKe!j"d1fgdLe!j)fedJ�dMe!j)d1fgdNe!j/fdOe!j/fdPe!j/fdQe!j/fgdR� Z0dSS )Tr zc
Lexer for the `Koka <http://koka.codeplex.com>`_
language.
.. versionadded:: 1.6
ZKokaZkokaz*.kkz*.kkiz text/x-koka)"r� r� r� r* �cotype�rectype�alias�structZconZfun�function�val�varZexternalr" r) r! �elif�returnr� r� r� r� r7 r5 �asr ZinlineZrec�try�yield�enumr� r% )r* r� r� r� r� r� )r� �existsZsomer� )
�for�while�repeatZforeachzforeach-indexedr� Zcatch�finally�csZjs�file�ref�assignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!�)z (?![\w/])�
whitespacez::?r* z(alias)(\s+)([a-z]\w*)?�
alias-typez(struct)(\s+)([a-z]\w*)?� struct-typez(%s)r: 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]+r? �charrA rB �=z(?=\((?!,*\)))rG z[(\[<]� type-nested� type-contentz[)\]>]rL 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*#.*$r0 r� r3 r� r� rQ 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 r* r
r r r3 r rB r r N)1r_ r` ra rb rc rd re rf �keywordsZtypeStartKeywordsZ typekeywordsZbuiltinZsymbolsZ sboundary�boundaryr
Z AttributeZ tokenTypeZClassZ tokenTypeDefr ZEmphZtokenConstructorr r r r rq r| rt ru ZPseudoZVariabler �Doubler r r rw ry rz rr r r
ZPreprocrn rm r} r~ r r r r� r � s � � �
������ ����
�
�
�?���
�� �
�
��
�
�
�
�
��� �r )%rb rg Zpygments.lexerr r r r r r r Zpygments.tokenr r
r r r
r r r r Zpygmentsr rs �__all__r� r� r r r r r r� r r r r r r r r r� �<module> s&
$,
oE
@