File: //opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/ml.cpython-310.pyc
o
;jA� � @ 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-present 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�ZddgZdZdZ h d �Z
h d
�Z h d �Z d Z
d
Zdd� Zdd� Zdd� Zdd� Zi ddefdejdfg�dded fd ed fd ejd fd!ejd fd"ejd fg�d#d$�d%�d&d'� e D ���efd(ej d)fd*ej d+fd,e j fd-e j fd.e j fd/e j!fd0e j!fd1e j!fd2e j fd3e"j#fd4e
� d5�e"j#fd6e� d5�e"j#fd7ejd8fd9ejd:fd;ejd<fd=ejd>fd?e"j$fd@e
� dA�edBfd@e
� d5�efd@e� d5�efg�dBd@e
� dA�efd@e
� d5�ed fd@e� d5�ed fde%fdCe%fg�dDe&d �g�d e'd�dEejdFfdGejdHfe'd�e'd#�dCe%fg�dIe'd�dJefdejdfdKejdLfdMejdNfdOedLfdPejdQfe'd�e'd#�dCe%fg
�d)eej ��d+eej ��dRdS�d%�e
��ed fg�d<e'd�e'dR�d@e
� d5�e"j(fe&d �g�dLe'd�d?e"j$fdTedUfd@e
� d5�e"j)d fd@e� d5�e"j)d fe&d �g�dFe'd�d?e"j$fdTedUfd@e
� dVe� dW�e*e"j+ee�d fd@e� dVe� dW�e*e"j+ee�d fd@e
� d5�e"j+d fd@e� d5�e"j+d fe&d �g�d>e'd�e'dR�d?e"j$fdTedUfdXe� d5�edYfd@e
� d5�ej,fd@e� d5�ej,fdCe%d fg�dZe'd�d[ejd\fe'dR�e'd#�dCe%d fg�d8e'd�e'dR�d?e"j$fdTedUfd]e*eeej�d fdXe� d5�ed^fd@e
� d5�ej,fd@e� d5�ej,fdCe%d fg �d_e'd�d[ejd`fdaejd\fdbejfdce
� d5�e*eee"j-�fdde� d5�e*eee"j-�fe'dR�e'd#�dCe%fg �e'd�dee
� d5�e*ejee"j-�fdfe� d5�e*ejee"j-�fdbejfd@e
� dge� d5�e"j-fe&d �ge'd�d@e
� d5�e"j-d fd@e� d5�e"j-d fdCe%d fgdJefdejdfd?e"j$fe
e"fdhefdied fee"fgdjejfdejdkfdlejd fdmejfgdn��Z.doS )pr z'
For the Standard ML language.
z Standard MLZsml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardmlz)https://en.wikipedia.org/wiki/Standard_ML�1.5>) �ifZ signature�inZeqtype�sig�functor�and�local�rec�ofZinfixr�where�else�orelseZsharing�dor � exception�opZdatatype�while�then�type�with�fn�let�struct�open�val�endZwithtype�funZnonfixZabstype�handle�caseZ structureZinfix�raise�asZandalso> �:�:>�=>�->�=�#�\|>
�_�(�)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� rG �F/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/ml.py�stringy< s �zSMLLexer.stringyc c sR � |� d�| jv r t}ntj}|�d�||� d�fV |�d�t|� d�fV d S )N� � )�group�alphanumid_reservedr r � Namespace�startr ��self�match�tokenrG rG rH �long_id_callbackK s � zSMLLexer.long_id_callbackc c sN � |� d�| jv r t}n
|� d�| jv rt}nt}|�d�||� d�fV d S �NrJ )rL rM r �symbolicid_reservedr rO rP rG rG rH �end_id_callbackS s � zSMLLexer.end_id_callbackc c sH � |� d�}|| jv rtj}n
|| jv rt}nt}|�d�||fV d S rU )rL rM r
�ReservedrV r r rO )rQ rR �strrS rG rG rH � id_callback\ s �
zSMLLexer.id_callback�
whitespace�\s+�\(\*�commentZ
delimitersz\(|\[|\{�mainz\)|\]|\}rE z\b(let|if|local)\b(?!\'))r_ r_ z \b(struct|sig|while)\b(?!\')z \b(do|else|end|in|then)\b(?!\')�core�({})�|c c s � | ]}t �|�V qd S )N)�re�escape)�.0�zrG rG rH � <genexpr>| s � zSMLLexer.<genexpr>z#"�charrD �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*(r< z#\s+(z \b(datatype|abstype)\b(?!\')�dnamez\b(exception)\b(?!\')�enamez4\b(functor|include|open|signature|structure)\b(?!\')Zsnamez\b(type|eqtype)\b(?!\')�tnamez \'[\w\']*r; z)(\.)�dottedz\S+�rootz\b(val|and)\b(?!\')�vnamez\b(fun)\b(?!\'))rE �main-fun�fnamerp z\sz\b(fun|and)\b(?!\')rq z\b(val)\b(?!\'))rE r_ ro r9 z\b(case|handle)\b(?!\'))rE r_ Zbreakoutz(?=\b({})\b(?!\'))�\(�tyvarseqz )(\s*)(=(?!z))�=(?!)rE �typbindru z\b(and)\b(?!\'))rE rl z(=)(\s*)(datatype))rE �datbind�datconrv )rE rj z\b(withtype)\b(?!\')z\b(of)\b(?!\')z
(\|)(\s*)(z
(\|)(\s+)(z
(and\b)(\s+)(z
(and\b)(\s*)(z)|(rB �\)z[^(*)]�#push�\*\)�[(*)])rk rw rs r^ N)/�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�url�
version_addedrM rV Znonid_reservedZ
alphanumid_reZ
symbolicid_rerI rT rW rZ r r � Multiliner r
rX �format�joinr �Char�Doubler
�Hex�Integer�Floatr ZLabelZ Decoratorr r r rN ZFunctionr �Variable�Type�Class�tokensrG rG rG rH r s�
��
���
�
��5��?��E
���S
����
i�
j�l��q��z�� ��� �� � �� '
� �� 2� �� �� C
�
�� �� V
�
���
�
� � �r c @ s� e Zd ZdZdZdZdgZg d�ZdgZdZ dZ
d Z d
Z d Z
d Zd
ZdZdejfdejfdejfgdefdejjfdejdfdejfdedfd�d�e
��e fd�d�e d d d � ��e fd e� de� d e � �e fd�d�e
��e j fd�d�e��e j fd efd!e j!fd"e j"fd#e j#fd$e j$fd%e j%fd&ej&fd'ej&fd(e fd)ej'd*fd+ej(fgd,efd-ed.fd/ed0fd1efgd2ej'fe)d3�d4ej'fd)ej'd0fgdefd5e*fd6ejfd7ejd0fd8ed0fe+d0�gd9�Z,d S ):r z!
For the OCaml language.
ZOCamlzhttps://ocaml.org/Zocaml)z*.mlz*.mliz*.mllz*.mlyz text/x-ocamlz0.7)0r r2 �assert�begin�class�
constraintr! �done�downtor r- r" �external�false�forr. �functionr r r r �inherit� initializer�lazyr) rR �method�module�mutable�new�objectr r+ �privater1 r r r* r% �to�true�tryr& r, �virtual�whenr$ r' ))�!=r8 �&�&&rr rx �\*�\+rB �-�-\.r6 �\.�\.\.r3 �::�:=r4 r@ �;;�<�<-r7 �>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|r= r: �`�\{�\{<r9 �\|]�\}�~�[!$%&*+\./:<=>?@^|~-])�asr�land�lor�lsl�lxor�mod�or�[!?~]�[=<>@^|&+\*/$%-]�Zunit�int�float�boolri rh �list�array�
\\[\\"\'ntbr]rC �\\x[0-9a-fA-F]{2}r\ �false|true|\(\)|\[\]�\b([A-Z][\w\']*)(?=\s*\.)rm �\b([A-Z][\w\']*)� \(\*(?![)])r^ �\b({})\brb ra N���r; �)?�
[^\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}))'�'.'�'rD ri �[~?][a-z][\w\']*:�[^(*)]+r] ry rz rE r{ �[^\\"]+�escape-sequence�\\\nr� �[A-Z][\w\']*(?=\s*\.)� [A-Z][\w\']*�
[a-z_][\w\']*�r� rn r^ ri rm )-r| r} r~ r r� r� r� r� r� r� �keywords�keyopts� operators�word_operators� prefix_syms�
infix_syms�
primitivesr rF r r �Builtin�PseudorN r� r r� r� r
r �Wordr� r
r� r� �Oct�Binr� r� r� r� r r r r� rG rG rG rH r c sz �
�
� �
�
�
�r c @ s e Zd ZdZdZdgZdgZdgZdZdZ dZ
d Z d
Z d Z
i d d
ejfdejfdejfg�ddedfdefg�ded�defg�ded�ee
ddd�efde d ejjfdejfdejfd ejfd ejfd ejfd ej fd ej fd!ej fd"ej d#fd$ej fd%e d&fd'e d(fd)ej!d*fd+ej"fd,e d- ej"fd.ej#fd/e d- efd0e � d1�e fd0e
� d1�e fd2e d3fd4e ej$fd5e ej!fd6ej!fe efg�d3ed�d7ej$fe%d8�g�d9ed�d:ej$d;fd<ej$d=fe d: ej$d;fe ej$d(fd4e ej$fe%d(�g�d>ed�e%d?�g�d@ed�dAej$dBfe%d(�g�dCed�d7ej$dDfdEej$dFfe%d(�g�dGed�dHej$d>fd7ej$dDfe%d(�g�dIed�dJej$fdKej$fd:ej$d&fdLej$d(fg�dMed�dNej$fdKej$fd%ej$d&fd'ej$d(fg�ddOefded&fdPed(fdKefg�d#dQej fd"ej d(fd%e dfed �g�dRdSej fdTej d(fd%e dfed �g�d*dUej!dVfdWej!dXfg�dYdZej!d(fg�defd[ej!d\fd]ej!d(fdWej!dXfgd4ej!d^fd"ej!d_fd5e ej!d(fd6ej!d`fdaej!d(fd%e d`fgdbedcfddej!defdfej!d*fd%e dfdgej!fgdhed(fdiefgdj��Z&dkS )lr z%
Lexer for the Opa language.
ZOpaZopaz*.opaz
text/x-opazhttp://opalang.orgr ) r r2 r� r0 �client�cssZdatabaseZdbr! r r- r� �forallr� r �importrR r� r� �package�parserr Zserverr% r& r, r' Z
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]r� z
\\[\\"\'ntr}]rC r� Zcommentsz/\*znested-commentz//.*?$zcomments-and-spacesr\ rn z\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}rD ri z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r� ry r� rE z<(?=[a-zA-Z>])z
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!r< z\b([A-Z]\w*)(?=\.)rt r; z)+r3 r& r� r8 z#(?=\{)r6 )rE �
type-lhs-1�type-with-slash�type-1rr )rE �
type-tuplez~?\{)rE � type-recordr )rE � slash-type-1r r �/)rE r r )rE r& z(?=,))rE �
type-arrowr z
,(?=[^:]*?->)r
z[^()/*]+z[/*]rx r z[^{}/*]+�[^/*]+z\*/z[^\\"{]+�
single-stringz [^\\\'{]+z\'z[\w\-:]+)rE � html-attrr� )rE � html-content� html-end-tagz [\w\-:]*>z [\w\-:]+=�html-attr-valuez/>)rE r )rE ri )rE rn z [^"\'{`=<>]+z<!--� html-commentz</)rE r r� z[^<{]+z-->z[^\-]+|-)r r r r N)'r| r} r~ r r� r� r� r� r� r� r� Zident_reZop_reZpunc_rer rF r r r r r
r r� r� r
r� r� r� r� r� r� r� r �Singler� rN r� r r� rG rG rG rH r � s� �� ��
��
�
��z��
� �� � ��
� �� %
� �� +
� �� ;
� �� B
� �� ]� �� f
� �� l
� �� y
� ��
� � ��
�
�
� � � � �r c @ s� e Zd ZdZdZdZddgZddgZdgZd Z d
Z
d Z d Z d
Z
dZdZdZdejfdejfdejfgdefdejjfdejdfdejfdejfdejdfd � d � e
��e fd � d � e d d d � ��e j fd!e� d e� d"e � �e fd � d � e
��e j fd � d � e��e j!fd#efd$e"j#fd%e"j$fd&e"j%fd'e"j&fd(e"j'fd)ej(fd*ej(fd+e fd,ej)d-fd.ej*fgd/ejfd0ejd1fd2ejd3fd4ejfgd5ej)fe+d6�d7ej)fd,ej)d3fgdefd8e,fd9ejfd:ejd3fd;ed3fe-d3�gd<�Z.d S )=r z$
For the ReasonML language.
ZReasonMLzhttps://reasonml.github.io/Zreasonml�reasonz*.rez*.reiztext/x-reasonmlz2.6)0r2 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+ Zprir r r* r% r� r� r� r& r, r� r� r$ r' )+r� r8 r� r� rr rx r� r� rB r� r� r5 r� r� z\.\.\.r3 r� r� r4 r@ r� r� r� r7 r� r� r� r� r� r� r� r� r� r= r: r� r� r� r9 z\|\|r� r� r� r� ) r r� r� r� r� Zlsrr� r� r� r� r� r� r� rC r� r\ r� r� rm r� z//.*?\nz \/\*(?!/)r^ r� rb ra Nr� r; r� r� r� r� r� r� r� r� r� r� rD ri r� r z\/\*ry z\*\/rE 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� r� r rF r r r� r� rN r� r r r� r� r� r
r r� r� r
r� r� r� r� r� r� r� r� r r r r� rG rG rG rH r s| �
�
�
�
�
�
�r c @ s� e Zd ZdZdZdZdgZddgZdgZdZ d Z
d
Z d Z d Z
d
ZdZdZdZdejfdejfdejfgdefdejjfdejdfdejfdedfdefd �d � e
��e fd �d � e ��ej fd �d � e ��e j fd �d � e
d d d � ��e fd!e� d e� d"e� �e fd �d � e��e j!fd#efd$e"j#fd%e"j$fd&e"j%fd'e"j&fd(e"j'fd)ej(fd*ej(fd+e fd,e j)fd-e fd.ej*d/fd0ej+fgd1efd2ed3fd4ed5fd6efgd7ej*fe,d8�d9ej*fd.ej*d5fgdefd:e-fd;ejfd<ejd5fd=ed5fe.d5�gd>�Z/d S )?r z
For the F* language.
ZFStarzhttps://www.fstar-lang.org/Zfstarz*.fstz*.fstiz text/x-fstarz2.7)5ZabstractZ
attributesZnoeqZunopteqZandbeginZbyr Zeffectr r- Zensuresr" �existsr� r r. r� r r r �inlineZinline_for_extractionZ irreducibleZlogicrR 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) r )ZassumeZadmitr� Zcalc)/r� r� z/\\z\\/z<:z<@z\(\|z\|\)r8 zu#r� rr rx z\(\)rB z~>r6 r� z<--z<==>z==>r� r� z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternr3 r� r� r@ r� r7 z%\[z!\{r� z\[@r� z\|>z\]z\|\]r� r9 r� z\$r� r� r� r� r� rC r� r\ z false|true|False|True|\(\)|\[\]r� rm r� r� r^ z\/\/.+$r� rb ra Nr� r; r� r� r� r� r� r� r� r� r� r� z\`([\w\'.]+)\`z\`rD ri r� r� r] ry rz rE r{ r� r� r� r� r� r� r� r� )0r| r} r~ r r� r� r� r� r� r� r� Z
decl_keywordsZassume_keywordsr� r� r� r� r� r rF r r r� r� rN r� r r� r� r
� ExceptionZ Declarationr r� r
r� r� r� r� r� r� r� r� r� r r r r� rG rG rG rH r ^ s� �
�
�!�
�
�
�r )r rc Zpygments.lexerr r r r r Zpygments.tokenr r r r
r r r
r r �__all__r r r r r rG rG rG rH �<module> s
, Q\ E\