File manager - Edit - /opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/ml.cpython-310.pyc
Back
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>) �if�rec�thenZ signatureZdatatype�op�whileZsharingZabstype� exceptionr �and�letZ structure�case�fun�raise�open�typeZinfixrZnonfix�in�local�asZandalso�with�sig�where�handle�end�orelse�else�val�functorZeqtype�fnZwithtype�of�struct�doZinfix> �=�=>�:>�\|�:�->�#> �[�;�{�_�,�(�]�}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*(rB 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 r6 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)|(r> �\)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 r% �assert�begin�class� constraintr2 �done�downtor, r* r �external�false�forr �functionr. r r# r �inherit� initializer�lazyr rR �method�module�mutable�new�objectr0 r! �privater r r' r1 r �to�true�tryr" r- �virtual�whenr r& ))�!=r9 �&�&&rr rx �\*�\+r> �-�-\.r8 �\.�\.\.r7 �::�:=r5 r; �;;�<�<-r3 �>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|r@ r= �`�\{�\{<r6 �\|]�\}�~�[!$%&*+\./:<=>?@^|~-])�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 r% r� r �client�cssZdatabaseZdbr2 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<-(?!rB z\b([A-Z]\w*)(?=\.)rt r? z)+r7 r" r� r9 z#(?=\{)r8 )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)0r% r� r� r� r� r2 r� r� r, r* r r� r� r� r Zesfunr� r. r r# r r� r� r� r Zswitchr� Zpubr� r� Znonrecr� r0 r! Zprir r' r1 r r� r� r� r" r- r� r� r r& )+r� r9 r� r� rr rx r� r� r> r� r� r4 r� r� z\.\.\.r7 r� r� r5 r; r� r� r� r3 r� r� r� r� r� r� r� r� r� r@ r= r� r� r� r6 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 noextractr0 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\|\)r9 zu#r� rr rx z\(\)r> z~>r8 r� z<--z<==>z==>r� r� z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z \{:patternr7 r� r� r; r� r3 z%\[z!\{r� z\[@r� z\|>z\]z\|\]r� r6 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\
| ver. 1.4 |
Github
|
.
| PHP 8.2.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings