| 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 ddlZddlmZmZmZmZmZ ddlm Z m
Z
m Z m Z m
Z
mZmZmZmZ g d�ZG dd� de�ZG dd � d e�ZG d
d � d e�ZG d d
� d
e�ZG dd� de�ZdS )z�
pygments.lexers.ml
~~~~~~~~~~~~~~~~~~
Lexers for ML family languages.
:copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�
RegexLexer�include�bygroups�default�words) �Text�Comment�Operator�Keyword�Name�String�Number� Punctuation�Error)�SMLLexer�
OcamlLexer�OpaLexer� ReasonLexer�
FStarLexerc @ s. e Zd ZdZdZdgZg d�ZddgZh d�Zh d�Z h d �Z
d
Z d Z d d
� Z
dd� Zdd� Zdd� Zdefdejdfgdedfdedfdejd fd ejdfd ejdfgd d �d!d"� e
D �� efd#ejd$fd%ejd&fd'ej fd(ej fd)ej fd*ej fd+ej fd,ej fd-ej fd.e j fd/e e j fd0e e j fd1ejd2fd3ejd4fd5ejd6fd7ejd8fd9e j!fd:e ed;fd e efd e efgd:e efd e edfd e edfde"fd<e"fge#d�ge$d=�d>ejd?fd@ejdAfe$dB�e$dC�d<e"fge$d=�dDefdejdfdEejdFfdGejdHfdIedFfdJejdKfe$dB�e$dC�d<e"fg
e
ej�e
ej�dLd �e� edfge$d=�e$dM�d e e j%fe#d�ge$d=�d9e j!fdNedOfd e e j&dfd e e j&dfe#d�ge$d=�d9e j!fdNedOfdPe e f e'e j(ee�dfdPe e f e'e j(ee�dfd e e j(dfd e e j(dfe#d�ge$d=�e$dM�d9e j!fdNedOfdQe edRfd e ej)fd e ej)fd<e"dfge$d=�dSejdTfe$dM�e$dC�d<e"dfge$d=�e$dM�d9e j!fdNedOfdUe'eeej�dfdQe edVfd e ej)fd e ej)fd<e"dfg e$d=�dSejdWfdXejdTfdYejfdZe e'eee j*�fd[e e'eee j*�fe$dM�e$dC�d<e"fg e$d=�d\e e'ejee j*�fd]e e'ejee j*�fdYejfd^e e f e j*fe#d�ge$d=�d e e j*dfd e e j*dfd<e"dfgdDefdejdfd9e j!fe e fd_efd`edfe e fgdaejfdejdbfdcejdfddejfgde�Z+dfS )gr zB
For the Standard ML language.
.. versionadded:: 1.5
z Standard MLZsml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml>) �with�ifZandalsoZ structureZsharing�in�as� exception�letZeqtype�where�local�do�orelseZinfixZabstype�caseZhandle�fun�sigZnonfixZinfixrZdatatypeZ signature�open�val�end�else�andZwithtype�type�while�raise�fnr �then�functor�struct�op�of�rec> �#�=�\|�=>�->�:>�:>
z...�)�_�;�{�}�]�[�(�,z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c C s: d| fdt jfdt jfdt jfdt jfdt jfd| dfgS ) Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]�
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\�"�#pop)r �EscapeZInterpol)Zwhatkind� rE �6/usr/lib/python3.9/site-packages/pygments/lexers/ml.py�stringy< s �zSMLLexer.stringyc c sP |� d�| jv rt}ntj}|�d�||� d�fV |�d�t|� d�fV d S )N� � )�group�alphanumid_reservedr r � Namespace�startr ��self�match�tokenrE rE rF �long_id_callbackK s
zSMLLexer.long_id_callbackc c sL |� d�| jv rt}n|� d�| jv r,t}nt}|�d�||� d�fV d S �NrH )rJ rK r �symbolicid_reservedr rM rN rE rE rF �end_id_callbackS s zSMLLexer.end_id_callbackc c sF |� d�}|| jv r tj}n|| jv r,t}nt}|�d�||fV d S rS )rJ rK r
�ReservedrT r r rM )rO rP �strrQ rE rE rF � id_callback\ s
zSMLLexer.id_callback�\s+�\(\*�commentz\(|\[|\{�mainz\)|\]|\}rC z\b(let|if|local)\b(?!\'))r\ r\ z \b(struct|sig|while)\b(?!\')z \b(do|else|end|in|then)\b(?!\')�(%s)�|c c s | ]}t �|�V qd S )N)�re�escape)�.0�zrE rE rF � <genexpr>| � zSMLLexer.<genexpr>z#"�charrB �stringz~?0x[0-9a-fA-F]+z0wx[0-9a-fA-F]+z0w\d+z~?\d+\.\d+[eE]~?\d+z
~?\d+\.\d+z~?\d+[eE]~?\d+z~?\d+z#\s*[1-9][0-9]*z#\s*(%s)z#\s+(%s)z \b(datatype|abstype)\b(?!\')�dnamez\b(exception)\b(?!\')�enamez4\b(functor|include|open|signature|structure)\b(?!\')�snamez\b(type|eqtype)\b(?!\')�tnamez \'[\w\']*z(%s)(\.)�dottedz\S+�
whitespacez\b(val|and)\b(?!\')�vnamez\b(fun)\b(?!\'))rC �main-fun�fname�
delimiters�corez\sz\b(fun|and)\b(?!\')ro z\b(val)\b(?!\'))rC r\ rm r3 z\b(case|handle)\b(?!\'))rC r\ z(?=\b(%s)\b(?!\'))�breakout�\(�tyvarseqz(%s)(\s*)(=(?!%s))z=(?!%s))rC �typbindz\b(and)\b(?!\'))rC rj z(=)(\s*)(datatype))rC �datbind�datcon)rC rg z\b(withtype)\b(?!\')z\b(of)\b(?!\')z
(\|)(\s*)(%s)z
(\|)(\s+)(%s)z(and\b)(\s+)(%s)z(and\b)(\s*)(%s)z (%s)|(%s)r@ �\)z[^(*)]�#push�\*\)�[(*)])rl rp rq rk �rootr\ rn re rf rr ri ro rm rj ru rg rv rh rw rt r[ N),�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypesrK rT Znonid_reservedZ
alphanumid_reZ
symbolicid_rerG rR rU rX r r � Multiliner r
rV �joinr �Char�Doubler
�Hex�Integer�Floatr ZLabelZ Decoratorr r r rL ZFunctionr �Variable�Type�Class�tokensrE rE rE rF r sp
�
��
�
�"
� �
��
���� �
�
�
�� �
� �� �
� ������
�
�� �r c @ s� e Zd ZdZdZdgZg d�ZdgZdZdZ dZ
d Z d
Z d Z
d Zd
ejfdejfdejfgdefdejjfdejdfdejfdedfdd�e� efdd�e ddd� � efd e
e e
f efdd�e � ejfdd�e� ej fd efd e j fd e j fd e j fd!e j!fd"e j"fd#ej#fd$ej#fd%efd&ej$d'fd(ej%fgd)efd*ed+fd,ed-fd.efgd/ej$fe&d0�d1ej$fd&ej$d-fgdefd2e'fd3ejfd4ejd-fd5ed-fe(d-�gd6�Z)dS )7r z<
For the OCaml language.
.. versionadded:: 0.7
ZOCamlZocaml)z*.mlz*.mliz*.mllz*.mlyz text/x-ocaml)0r �assert�begin�class�
constraintr �done�downtor% r$ r �external�false�forr �functionr, r r r �inherit� initializer�lazyr rP �method�module�mutable�new�objectr/ r" �privater) r0 r! r- r+ �to�true�tryr' �valuer# �virtual�whenr( r ))�!=r1 �&�&&rs rx �\*�\+r@ �-�-\.r5 �\.�\.\.r7 �::�:=r6 r: �;;�<�<-r2 �>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|r= r9 �`�\{�\{<r3 �\|]�\}�~�[!$%&*+\./:<=>?@^|~-])r& �asr�land�lor�lsl�lxor�mod�or�[!?~]�[=<>@^|&+\*/$%-]�Zunit�int�float�boolrf re �listZarray�
\\[\\"\'ntbr]rA �\\x[0-9a-fA-F]{2}rY �false|true|\(\)|\[\]�\b([A-Z][\w\']*)(?=\s*\.)rk �\b([A-Z][\w\']*)� \(\*(?![)])r[ �\b(%s)\br^ r] N����
(%s|%s)?%s�
[^\W\d][\w']*�(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)�0[xX][\da-fA-F][\da-fA-F_]*�0[oO][0-7][0-7_]*�0[bB][01][01_]*�\d[\d_]*�7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'�'.'�'rB rf �[~?][a-z][\w\']*:�[^(*)]+rZ ry rz rC r{ �[^\\"]+�escape-sequence�\\\nr� �[A-Z][\w\']*(?=\s*\.)� [A-Z][\w\']*�
[a-z_][\w\']*�r� r| r[ rf rk )*r} r~ r r� r� r� r� r� �keywords�keyopts� operators�word_operators� prefix_syms�
infix_syms�
primitivesr rD r r �Builtin�PseudorL r� r r� r
r �Wordr� r
r� r� �Oct�Binr� r� r� r� r r r r� rE rE rE rF r c st �
�
� �
�
��r c @ s� e Zd ZdZdZdgZdgZdgZdZdZ dZ
d Z d
e j
fd e j
fd e j
fgd
edfdefged�defged�eeddd�efde d ejjfdejfdejfdejfdejfdejfdejfd ejfd ejfd e j d fd e j fd!e d"fd#e d$fd%e j d&fd'ej fd(e
d) ej fd*ej!fd+e
d) efd,e
e fd,e e fd-e d.fd/e ej"fd0e e j fd1e j fe efged�d2ej"fe#d3�ged�d4ej"d5fd6ej"d7fe d4 ej"d5fe ej"d$fd/e ej"fe#d$�ged�e#d8�ged�d9ej"d:fe#d$�ged�d2ej"d;fd<ej"d=fe#d$�ged�d>ej"d?fd2ej"d;fe#d$�ged�d@ej"fdAej"fd4ej"d"fdBej"d$fged�dCej"fdAej"fd!ej"d"fd#ej"d$fgdDefd
ed"fdEed$fdAefgdFe j fd e j d$fd!e dGfedH�gdIe j fdJe j d$fd!e dGfedH�gdKe j dLfdMe j dNfgdOe j d$fgdefdPe j dQfdRe j d$fdMe j dNfgd/e j dSfd e j dTfd0e e j d$fd1e j dUfdVe j d$fd!e dUfgdWedXfdYe j dZfd[e j d&fd!e dGfd\e j fgd]ed$fd^efgd_�Z$d`S )ar zU
Lexer for the Opa language (http://opalang.org).
.. versionadded:: 1.5
ZOpaZopaz*.opaz
text/x-opa) r& r r� r ZclientZcssZdatabaseZdbr r% r$ r� �forallr� r �importrP r� r� �package�parserr0 Zserverr+ r' r# r Z
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]z
\\[\\"\'ntr}]rA r� z/\*�nested-commentz//.*?$�commentsrY �comments-and-spacesz\b)�prefix�suffix�@z-?.[\d]+([eE][+\-]?\d+)z-?\d+.\d*([eE][+\-]?\d+)z-?\d+[eE][+\-]?\d+z0[xX][\da-fA-F]+z 0[oO][0-7]+z
0[bB][01]+z\d+z#[\da-fA-F]{3,6}rB rf z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r� ry r� rC z<(?=[a-zA-Z>])�
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!r8 z\b([A-Z]\w*)(?=\.)z=(?!z(%s)+r7 r' r� r1 z#(?=\{)r5 )rC �
type-lhs-1�type-with-slashrs )rC �
type-tuplez~?\{)rC � type-record)rC � slash-type-1�type-1�/)rC r )rC r' z(?=,))rC �
type-arrowz
,(?=[^:]*?->)r z[^()/*]+z[/*]rx z[^{}/*]+�[^/*]+z\*/z[^\\"{]+r| r� z [^\\\'{]+z\'z[\w\-:]+)rC � html-attrr� )rC � html-contentz [\w\-:]*>z [\w\-:]+=�html-attr-valuez/>)rC �
single-string)rC rf )rC r| z [^"\'{`=<>]+z<!--� html-commentz</)rC � html-end-tagr� z[^<{]+z-->z[^\-]+|-)r� r r r| r' r r r r r r r
r rf r r r r r r r N)%r} r~ r r� r� r� r� r� r� Zident_reZop_reZpunc_rer rD r r r r r
r r� r� r
r� r� r� r� r� r� r� r �Singler� rL r� r r� rE rE rE rF r � s ���
�
�i�
��
�
�
�
�
� �
�
�
�
�
�
�
� �� � �r c @ s� e Zd ZdZdZddgZddgZdgZdZd Z d
Z
d Z d Z d
Z
dZdejfdejfdejfgdefdejjfdejdfdejfdejfdejdfdd�e� efd d�e d d d � � e j fd e
e e
f e fdd�e � e j fdd�e� ej fd efd!e j fd"e j!fd#e j"fd$e j#fd%e j$fd&ej%fd'ej%fd(efd)ej&d*fd+ej'fgd,ejfd-ejd.fd/ejd0fd1ejfgd2ej&fe(d3�d4ej&fd)ej&d0fgdefd5e)fd6ejfd7ejd0fd8ed0fe*d0�gd9�Z+d S ):r z]
For the ReasonML language (https://reasonml.github.io/).
.. versionadded:: 2.6
ZReasonMLZreasonml�reasonz*.rez*.reiztext/x-reasonml)0r r� r� r� r� r r� r� r% r$ r r� r� r� r Zesfunr� r, r r r r� r� r� r Zswitchr� Zpubr� r� Znonrecr� r/ r" Zprir0 r! r- r+ r� r� r� r' r# r� r� r( r )+r� r1 r� r� rs rx r� r� r@ r� r� r4 r� r� z\.\.\.r7 r� r� r6 r: r� r� r� r2 r� r� r� r� r� r� r� r� r� r= r9 r� r� r� r3 z\|\|r� r� r� r� ) r& r� r� r� r� Zlsrr� r� r� r� r� r� r� rA r� rY r� r� rk r� z//.*?\nz \/\*(?!/)r[ r� r^ r] Nr� r� r� r� r� r� r� r� r� r� r� rB rf r� r z\/\*ry z\*\/rC r� r� r� r� r� r� r� r� r� ),r} r~ r r� r� r� r� r� r� r� r� r� r� r� r� r rD r r r� r� rL r� r r r� r� r
r r� r� r
r� r� r� r� r� r� r� r� r r r r� rE rE rE rF r sv �
�
�
�
�
��r c @ s� e Zd ZdZdZdgZddgZdgZdZdZ d Z
d
Z d Z d Z
d
ZdZdejfdejfdejfgdefdejjfdejdfdejfdedfdefdd�e� efdd�e
� ejfdd�e � ej fd d�e d d d � � e fd ee
e f e fdd�e� ej fd efd!e j fd"e j!fd#e j"fd$e j#fd%e j$fd&ej%fd'ej%fd(efd)e j&fd*efd+ej'd,fd-ej(fgd.efd/ed0fd1ed2fd3efgd4ej'fe)d5�d6ej'fd+ej'd2fgdefd7e*fd8ejfd9ejd2fd:ed2fe+d2�gd;�Z,d S )<r zV
For the F* language (https://www.fstar-lang.org/).
.. versionadded:: 2.7
ZFStarZfstarz*.fstz*.fstiz text/x-fstar)5ZabstractZ
attributesZnoeqZunopteqZandbeginZbyr Zeffectr% r$ Zensuresr �existsr� r� r r� r r r ZinlineZinline_for_extractionZ irreducibleZlogicrP r� r� r� Z
new_effectZ noextractr/ r" Zopaquer� Zrange_ofZ reifiableZreifyZ reflectableZrequiresZ set_range_ofZ
sub_effectZsynthr+ �totalr� r� r' ZunfoldZ
unfoldabler# r� r �not)r r0 )ZassumeZadmitr� Zcalc)/r� r� z/\\z\\/z<:z<@z\(\|z\|\)r1 zu#r� rs rx z\(\)r@ z~>r5 r� z<--z<==>z==>r� r� z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternr7 r� r� r: r� r2 z%\[z!\{r� z\[@r� z\|>z\]z\|\]r� r3 r� z\$r� r� r� r� r� rA r� rY z false|true|False|True|\(\)|\[\]r� rk r� r� r[ z^\/\/.+$r� r^ r] Nr� r� r� r� r� r� r� r� r� r� r� z\`([\w\'.]+)\`z\`rB rf r� r� rZ ry rz rC r{ r� r� r� r� r� r� r� r� )-r} r~ r r� r� r� r� r� r� Z
decl_keywordsZassume_keywordsr� r� r� r� r� r rD r r r� r� rL r� r r� r
� ExceptionZ Declarationr r� r
r� r� r� r� r� r� r� r� r� r r r r� rE rE rE rF r ^ s~ �
�
�!�
�
��r )r� r_ Zpygments.lexerr r r r r Zpygments.tokenr r r r
r r r
r r �__all__r r r r r rE rE rE rF �<module> s
, Q\ E\