| 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 dl Z d dlmZmZmZmZmZmZmZ d dl m
Z
m Z m Z m
Z
mZmZmZmZmZ d dlmZ g d�Ze �d�ZG dd� de�ZG d d
� d
e�ZG d d � d e�ZG d
d� 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 dd � d e�Z#dS ) � 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 ! @ sJ e Zd ZdZddgZdgZdgZejej B Z
dZ dZ de
fd ejfd
ejd fd ejd
fdejdfdejfdd�e � ejfdejfdej d ejfdej d efdej d ej fdej d ej fdej 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 de
fd+ed,fd0e&d1fd2efd3ej d4 ej d5 e'ej(e
ee
e�d1fd3ej d6 e'ej(e
ee
e&�d7fd3ej d8 e'ej(e
e&�d7fd9ej(d1fgde
fd3ej d8 e'ej(e
e&�d7fd:ej d; ej(d1fgde
fd: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 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__�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 @ sR e Zd ZdZdgZg Zg Zddeee j
�fdeee j
�fdeee j
�fe giZ dS )r ZHspecZhspecr^ z(it\s*)("[^"]*")z(describe\s*)("[^"]*")z(context\s*)("[^"]*")N)
r_ r` ra rb rc rd re r r r ZDocr r} r~ r~ r~ r r � s ��r c @ s& e Zd ZdZddgZdgZdgZdZdZdZ d d
�
e � e e e
j�fd e e ej�fd e e ej�fd
e e ej�dfde e eje eje �fdd
�
e� e
jfde e
je �dfde
jfde fdejfdejfdejfdejfdejfdejfdej d fd ed fd e fd e fgd!e fd"e ej e e �d#fd$ej d%fgd!e fd&e
jfd'ejfd(ejfd)ejdfd*e fd+efd,e d-fd.e d/fg d0ejfd)ejd1fd2ejd%fd3ejfgd4ej fd5ej d6fdej d%fgd7efd5ej d6fd ed%fgd8ej d%fd9ej d%fd
�
e�ej d%fd:ej d%fd;ej d%fdej d%fd<ej d%fgd=�Z d>S )?r 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 ZloggingZdynamicrb 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 rj rk Z
directivesrp r r r rn r
rl rm r
rs r ru rt r rv rx ry r rq r{ r r| r} r~ r~ r~ r r � s�
��
� �
�
�
�
�
�
��r c @ s: e Zd ZdZdgZdgZdgZg d�Zdee e
j e e j
e �fdejfdejd fd
ejd fd d
�e� ejfdeeje �dfdejfde fde j
fdejfdejfdejfdejfdejdfdedfde fd e fgd ejfd
ejd fd ejd fd!ejfgdejd fd"e
d fd#e fge j d e j d e j d e j d$ d%�Z d&S )'r 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 rj r r r
rs r ru r
rl rm Z Directiverp r rn rt r rv rx ry r rq r r} r~ r~ r~ r r & sN �
�
�
��r c @ sz e Zd ZdZddgZdgZdgZdZdZde fd e
j fd
e
j d fd e
jd
fde
jdfdejfdd�e� e
jfdejfdefde
jfdejfdejfde
jfdefdejfdejfd ejfd ejfd ejfd ej d fd!ed"fd#e
jfd$ej fd%e fgde fd!ed"fd&e d'fd(e
fd)e ej e e
e e�d'fd*e ej e e
e e �d+fd,e ej e e �d+fd-ej d'fgde fd,e ej e e �d+fd.ej d'fgde fd/e
jfd0ejfd1e fdefd2e d3fd&e d4fgd5e
j fd
e
j d6fd7e
j d'fd8e
j fgd9ej d'fd:ej!d;fd ej d'fgd<efd:ej!d;fd!ed'fgd=ej!d'fd>ej!d'fd�e�ej!d'fd?ej!d'fd@ej!d'fd ej!d'fdAej!d'fgdB�Z"h dC�Z#dDdE� Z$dFS )Gr 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] > �reversez<<z<<<Zregz>>>Z transpose�tail�ASSERTZtrace�length�split�seqrp Zparr� z>>�const�errorZ undefinedc c sR dg}t �| ||�D ]8\}}}|tu r@|| jv r@|tj|fV q|||fV qd S )Nr^ )r �get_tokens_unprocessedr
�EXTRA_KEYWORDSrz )�self�text�stack�index�token�valuer~ r~ r r� � s � z#CryptolLexer.get_tokens_unprocessedN)%r_ r` ra rb rc rd re rj rk r r
rl rm r rn r
ro rp rs rt r ru r rv rw rx ry r rq rz r r r{ r| r} r� r� r~ r~ r~ r r k s�
�$���
��
��
�
�
�
��fr c @ s& e Zd Ze�d�Zdd� Zdd� ZdS )�
LiterateLexerz(>[ \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 rf �compiler� r� r� r~ r~ r~ r r� � s
r� c @ s, e Zd ZdZg d�ZdgZdgZdd� ZdS )r 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 r� r~ r~ r~ r r 4 s
r c @ s, e Zd ZdZg d�ZdgZdgZdd� ZdS )r 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 @ s, e Zd ZdZddgZdgZdgZdd� ZdS ) r 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 @ s, e Zd ZdZg d�ZdgZdgZdd� ZdS )r 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 ZdZdgZddgZdgZg d�Zg d�Zg d�Z g d �Z
d
Z d e d Z d
Z
ejZejZejZed�de edfdeeee�dfdeeee�dfdd�e� d eeee�dfdeeeeej�fdeeeejeeeeej�fde d eeeej �fd e d eeeeej �fdd�e � e
ej fdd�e� e
efdd�e
� e
ej fd e efd eeje�fd eeje�fd e d eeje�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�gd/e#d0fed�gd1ed2fed3�gd4ed0fd1ed2fd5efd6eeee�fed3�ged�dd�e � e
efd7d�e� e
d8 ed0fd9e
efd:efd!ej fd eeje�fd;eeje�fd<efe)d0�g
d=e*j+fd>efd?e*j,d@fdAe*j-fgdBe*j,fd?e*j,dCfdDe*j,d0fdEe*j,fgdFe j!fdGe j.fd,e j!d0fgdHe j!fedI�dJe j!d0fgdKe j(fedI�dLe j(d0fgdMe j.fdNe j.fdOe j.fdPe j.fgdQ� Z/dRS )Sr 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)0r_ r` ra rb rc rd re �keywordsZtypeStartKeywordsZ typekeywordsZbuiltinZsymbolsZ sboundary�boundaryr
Z AttributeZ tokenTypeZClassZ tokenTypeDefr ZEmphZtokenConstructorr r r r rp r{ rs rt ZPseudoZVariabler �Doubler r r rv rx ry rq r r
ZPreprocrm rl r| r} r~ r~ r~ r r � s � � �
������ ����
�
�
�?���
�� �
�
��
�
�
�
�
��� �r )$rf Zpygments.lexerr r r r r r r Zpygments.tokenr r
r r r
r r r r Zpygmentsr rr �__all__r� r� r r r r r r� r r r r r r~ r~ r~ r �<module> s$ $,
oE
@