Файловый менеджер - Редактировать - /opt/imh-python/lib/python3.9/site-packages/pygments/lexers/__pycache__/ml.cpython-39.pyc
Ðазад
a a�h>� � @ 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-2025 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� Zdefdejdfgdedfded fd ejd fd ejdfd ejd fgd!�d"�d#d$� e D ���efd%ej d&fd'ej d(fd)e j fd*e j fd+e j fd,e j!fd-e j!fd.e j!fd/e j fd0e"j#fd1e � d2�e"j#fd3e� d2�e"j#fd4ejd5fd6ejd7fd8ejd9fd:ejd;fd<e"j$fd=e � d>�ed?fd=e � d2�efd=e� d2�efgd=e � d>�efd=e � d2�ed fd=e� d2�ed fde%fd@e%fge&d�ge'dA�dBejdCfdDejdEfe'dF�e'dG�d@e%fge'dA�dHefdejdfdIejdJfdKejdLfdMedJfdNejdOfe'dF�e'dG�d@e%fg eej �eej �dP�d"�e ��ed fge'dA�e'dQ�d=e � d2�e"j(fe&d �ge'dA�d<e"j$fdRedSfd=e � d2�e"j)d fd=e� d2�e"j)d fe&d �ge'dA�d<e"j$fdRedSfd=e � dTe� dU�e*e"j+ee�d fd=e� dTe� dU�e*e"j+ee�d fd=e � d2�e"j+d fd=e� d2�e"j+d fe&d �ge'dA�e'dQ�d<e"j$fdRedSfdVe� d2�edWfd=e � d2�ej,fd=e� d2�ej,fd@e%d fge'dA�dXejdYfe'dQ�e'dG�d@e%d fge'dA�e'dQ�d<e"j$fdRedSfdZe*eeej�d fdVe� d2�ed[fd=e � d2�ej,fd=e� d2�ej,fd@e%d fg e'dA�dXejd\fd]ejdYfd^ejfd_e � d2�e*eee"j-�fd`e� d2�e*eee"j-�fe'dQ�e'dG�d@e%fg e'dA�dae � d2�e*ejee"j-�fdbe� d2�e*ejee"j-�fd^ejfd=e � dce� d2�e"j-fe&d �ge'dA�d=e � d2�e"j-d fd=e� d2�e"j-d fd@e%d fgdHefdejdfd<e"j$fe e"fddefdeed fee"fgdfejfdejdgfdhejd fdiejfgdj�Z.dkS )lr z' For the Standard ML language. z Standard ML�sml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardmlz)https://en.wikipedia.org/wiki/Standard_ML�1.5>) �of�letZandalso�thenZinfixr�as�datatype�and�doZeqtype�while�fn�whereZnonfixZabstypeZsharing�op�end�fun�struct�if�orelse�val� signaturer �raise�rec�case�sig� exception�functor�open�type�handle�withZwithtype�else�inZ structureZinfix�local> �#�:�=>�=�->�:>�\|> �_�]�(�}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 �Escape�Interpol)Zwhatkind� rK ��/root/rpmbuild/BUILDROOT/imh-python39-modules-3.9.7-92.el8.x86_64/opt/imh-python/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�tokenrK rK rL �long_id_callbackK s zSMLLexer.long_id_callbackc c sL |� d�| jv rt}n|� d�| jv r,t}nt}|�d�||� d�fV d S �NrN )rP rQ r �symbolicid_reservedr rS rT rK rK rL �end_id_callbackS s zSMLLexer.end_id_callbackc c sF |� d�}|| jv r tj}n|| jv r,t}nt}|�d�||fV d S rY )rP rQ r �ReservedrZ r r rS )rU rV �strrW rK rK rL � id_callback\ s zSMLLexer.id_callback�\s+�\(\*�commentz\(|\[|\{�mainz\)|\]|\}rH z\b(let|if|local)\b(?!\'))rb rb z \b(struct|sig|while)\b(?!\')z \b(do|else|end|in|then)\b(?!\')�({})�|c c s | ]}t �|�V qd S )N)�re�escape)�.0�zrK rK rL � <genexpr>| � zSMLLexer.<genexpr>z#"�charrG �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*(rD z#\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\']*r? z)(\.)�dottedz\S+� whitespacez\b(val|and)\b(?!\')�vnamez\b(fun)\b(?!\'))rH �main-fun�fname� delimiters�corez\sz\b(fun|and)\b(?!\')ru z\b(val)\b(?!\'))rH rb rs r< z\b(case|handle)\b(?!\'))rH rb z(?=\b({})\b(?!\'))�breakout�\(�tyvarseqz )(\s*)(=(?!z))�=(?!)rH �typbindz\b(and)\b(?!\'))rH rp z(=)(\s*)(datatype))rH �datbind�datcon)rH rm z\b(withtype)\b(?!\')z\b(of)\b(?!\')z (\|)(\s*)(z (\|)(\s+)(z (and\b)(\s+)(z (and\b)(\s*)(z)|(rC �\)z[^(*)]�#push�\*\)�[(*)])rr rv rw rq �rootrb rt rk rl rx ro ru rs rp r| rm r} rn r~ rz ra N)/�__name__� __module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�url� version_addedrQ rZ Znonid_reservedZ alphanumid_reZ symbolicid_rerM rX r[ r^ r r � Multiliner r r\ �format�joinr �Char�Doubler �Hex�Integer�Floatr �Label� Decoratorr r r rR �Functionr �Variable�Type�Class�tokensrK rK rK rL r st � �� � �"� � �� ����� ����� � � �� � �� � ��� � �� �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. �OCamlzhttps://ocaml.org/�ocaml)z*.mlz*.mliz*.mllz*.mlyz text/x-ocamlz0.7)0r r �assert�begin�class� constraintr �done�downtor3 r" r- �external�false�forr# �functionr. r% r4 r �inherit� initializer�lazyr rV �method�module�mutable�new�objectr r/ �privater) r* r, r$ r �to�true�tryr0 r' �virtual�whenr r2 ))�!=r6 �&�&&ry r �\*�\+rC �-�-\.r: �\.�\.\.r7 �::�:=r; rB �;;�<�<-r9 �>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|r> r= �`�\{�\{<r< �\|]�\}�~�[!$%&*+\./:<=>?@^|~-])�asr�land�lor�lsl�lxor�mod�or�[!?~]�[=<>@^|&+\*/$%-]��unit�int�float�boolrl rk �list�array� \\[\\"\'ntbr]rF �\\x[0-9a-fA-F]{2}r_ �false|true|\(\)|\[\]�\b([A-Z][\w\']*)(?=\s*\.)rq �\b([A-Z][\w\']*)� \(\*(?![)])ra �\b({})\brd rc 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}))'�'.'�'rG rl �[~?][a-z][\w\']*:�[^(*)]+r` r� r� rH r� �[^\\"]+�escape-sequence�\\\nr� �[A-Z][\w\']*(?=\s*\.)� [A-Z][\w\']*� [a-z_][\w\']*�r� r� ra rl rq )-r� r� r� r� r� r� r� r� r� r� �keywords�keyopts� operators�word_operators� prefix_syms� infix_syms� primitivesr rI r r �Builtin�PseudorR r� r r� r� r r �Wordr� r r� r� �Oct�Binr� r� r� r� r r r r� rK rK rK rL r c sx � � � � � ��r c @ s� e Zd ZdZdZdgZdgZdgZdZdZ dZ d Z d Z d Z d ejfd ejfdejfgdedfdefged�defged�ee ddd�efde d ejjfdejfdejfdejfdejfd 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+ efd.e � d/�e fd.e � d/�e fd0e d1fd2e ej$fd3e ej!fd4ej!fe efged�d5ej$fe%d6�ged�d7ej$d8fd9ej$d:fe d7 ej$d8fe ej$d&fd2e ej$fe%d&�ged�e%d;�ged�d<ej$d=fe%d&�ged�d5ej$d>fd?ej$d@fe%d&�ged�dAej$dBfd5ej$d>fe%d&�ged�dCej$fdDej$fd7ej$d$fdEej$d&fged�dFej$fdDej$fd#ej$d$fd%ej$d&fgdGefded$fdHed&fdDefgdIej fd ej d&fd#e dJfedK�gdLej fdMej d&fd#e dJfedK�gdNej!dOfdPej!dQfgdRej!d&fgdefdSej!dTfdUej!d&fdPej!dQfgd2ej!dVfd ej!dWfd3e ej!d&fd4ej!dXfdYej!d&fd#e dXfgdZed[fd\ej!d]fd^ej!d(fd#e dJfd_ej!fgd`ed&fdaefgdb�Z&dcS )dr z% Lexer for the Opa language. �Opa�opaz*.opaz text/x-opazhttp://opalang.orgr ) r r r� r+ �client�cssZdatabase�dbr r3 r" r� �forallr� r% �importrV r� r� �package�parserr* �serverr r0 r' r2 Z xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]z \\[\\"\'ntr}]rF r� z/\*�nested-commentz//.*?$�commentsr_ �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}rG rl z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r� r� r� rH z<(?=[a-zA-Z>])� html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rD z\b([A-Z]\w*)(?=\.)r{ r? z)+r7 r0 r� r6 z#(?=\{)r: )rH � type-lhs-1�type-with-slashry )rH � type-tuplez~?\{)rH � type-record)rH � slash-type-1�type-1�/)rH r" )rH r0 z(?=,))rH � type-arrowz ,(?=[^:]*?->)r z[^()/*]+z[/*]r z[^{}/*]+�[^/*]+z\*/z[^\\"{]+r� r� z [^\\\'{]+z\'z[\w\-:]+)rH � html-attrr� )rH � html-contentz [\w\-:]*>z [\w\-:]+=�html-attr-valuez/>)rH � single-string)rH rl )rH r� z [^"\'{`=<>]+z<!--� html-commentz</)rH � html-end-tagr� z[^<{]+z-->z[^\-]+|-)r� r r r� r0 r" r r! r r$ r r r rl r) r r+ r& r( r' r* N)'r� r� r� r� r� r� r� r� r� r� r Zident_reZop_reZpunc_rer rI r r r r r r r r r r� r� r r r� r� r� r �Singler� rR r� r r� rK rK rK rL r � s ��� � �i� �� � � � � � � � � � � � � � �� � �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. �ReasonMLzhttps://reasonml.github.io/�reasonml�reasonz*.rez*.reiztext/x-reasonmlz2.6)0r r� r� r� r� r r� r� r3 r" r- r� r� r� r# Zesfunr� r. r% r4 r r� r� r� r �switchr� Zpubr� r� Znonrecr� r r/ �prir* r, r$ r r� r� r� r0 r' r� r� r r2 )+r� r6 r� r� ry r r� r� rC r� r� r8 r� r� z\.\.\.r7 r� r� r; rB r� r� r� r9 r� r� r� r� r� r� r� r� r� r> r= r� r� r� r< z\|\|r� r� r� r� ) r r� r� r� r� Zlsrr� r� r� r� r� r� r� rF r� r_ r� r� rq r� z//.*?\nz \/\*(?!/)ra r� rd rc Nr� r? r� r� r� r� r� r� r� r� r� r� rG rl r� r% z\/\*r� z\*\/rH 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 rI r r r r rR r� r r, r� r� r� r r r r� r r� r� r r r� r� r� r� r r r r� rK rK rK rL r sz � � � � � ��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. �FStarzhttps://www.fstar-lang.org/�fstarz*.fstz*.fstiz text/x-fstarz2.7)5�abstract� attributesZnoeqZunopteqZandbeginZbyr Zeffectr3 r" Zensuresr- �existsr� r r# r� r% r4 r �inlineZinline_for_extractionZ irreducibleZlogicrV r� r� r� Z new_effectZ noextractr r/ �opaquer� Zrange_ofZ reifiableZreifyZ reflectable�requiresZ set_range_ofZ sub_effectZsynthr �totalr� r� r0 ZunfoldZ unfoldabler' r� r2 �not)r r* )ZassumeZadmitr� �calc)/r� r� z/\\z\\/z<:z<@z\(\|z\|\)r6 zu#r� ry r z\(\)rC z~>r: r� z<--z<==>z==>r� r� z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z \{:patternr7 r� r� rB r� r9 z%\[z!\{r� z\[@r� z\|>z\]z\|\]r� r< r� z\$r� r� r� r� r� rF r� r_ z false|true|False|True|\(\)|\[\]r� rq r� r� ra z\/\/.+$r� rd rc Nr� r? r� r� r� r� r� r� r� r� r� r� z\`([\w\'.]+)\`z\`rG rl r� r� r` r� r� rH 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 rI r r r r rR r� r r� r� r � Exception� Declarationr r� r r� r� r r r� r� r r� r� r r r r� rK rK rK rL r ^ s� � � �!� � ��r )r� re Zpygments.lexerr r r r r Zpygments.tokenr r r r r r r r r �__all__r r r r r rK rK rK rL �<module> s , Q\ E\
| ver. 1.1 | |
.
| PHP 8.3.30 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка