Файловый менеджер - Редактировать - /opt/imh-python/lib/python3.9/site-packages/pygments/lexers/__pycache__/haskell.cpython-39.pyc
Ðазад
a a�h� � @ s, d Z ddlZddlmZmZmZmZmZmZm Z m Z ddl m Z m Z mZmZmZmZmZmZmZmZ ddlmZ g d�ZG dd� de�ZG d d � d e�ZG d d � d e�Z G 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 ) z� pygments.lexers.haskell ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Haskell and related languages. :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � N)�Lexer� RegexLexer�bygroups� do_insertions�default�include�inherit�line_re) �Text�Comment�Operator�Keyword�Name�String�Number� Punctuation�Generic� Whitespace)� unistring) � HaskellLexer� HspecLexer� IdrisLexer� AgdaLexer� CryptolLexer�LiterateHaskellLexer�LiterateIdrisLexer�LiterateAgdaLexer�LiterateCryptolLexer� KokaLexerc ! @ sR e Zd ZdZdZdZddgZdgZdgZdZ d Z d Z d e fd e jfd e jdfdejdfdejdfdejfd�d�e ��ejfdejfdej d ejfdej d efdej d ej fd ej d ej fd ej fd ej 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/fd0ej fd1ej%fd2e&fg d e fd.ed/fd3e&d4fd5efd6ej d7 ej d8 e'ej(e ee e�d4fd6ej d9 e'ej(e ee e&�d:fd6ej d; e'ej(e e&�d:fd<ej(d4fgd e fd6ej d; e'ej(e e&�d:fd=ej d> ej(d4fgd e fd=ej d? ej fd@ej dA ejfd e jfd e jdfdBe&fd#e fdCe&dDfd3e&dEfg dFe jfd e jdGfdHe jd4fdIe jfgdJejd4fdKej)dLfd,ejd4fgdMefdKej)dLfd.ed4fgdNej)d4fdOej dP ej)d4fd�e �ej)d4fdQej)d4fdRej)d4fdSej)d4fdTe'e ej)�d4fgdU�Z*dVS )Wr zP A Haskell lexer based on the lexemes defined in the Haskell 98 Report. �Haskellzhttps://www.haskell.org/�haskell�hsz*.hsztext/x-haskellz0.8)�case�class�datar Zderiving�do�else�family�if�in� infix[lr]?�instance�let�newtype�of�then�type�where�_��NULZSOHz[SE]TXZEOTZENQZACKZBELZBSZHTZLF�VTZFF�CRzS[OI]ZDLEzDC[1-4]ZNAKZSYNZETBZCANZEMZSUBZESCz[FGRU]S�SPZDEL�\s+�!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$�\{-�comment� \bimport\b�import� \bmodule\b�module� \berror\b�\b({})(?!\')\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\']*)�,�\(�rQ rQ �#pop:2�[^-{}]+�#push�-\}�[-{}]�[^\\']'�\\�escape�[^\\"]+�[abfnrtv"\'&\\]z\^[][z@^_]�o[0-7]+� x[\da-fA-F]+�\d+� (\s+)(\\)��rootr= r? rQ r; rH rJ r^ N)+�__name__� __module__� __qualname__�__doc__�name�url�aliases� filenames� mimetypes� version_added�reserved�asciir r �Single� Multiliner �Reservedr � Exception�format�joinr �Char�uniZLl�FunctionZLu�Typer �Wordr �Float�Bin�Oct�Hex�Integer�Builtinr r � Namespace�Escape�tokens� r� r� ��/root/rpmbuild/BUILDROOT/imh-python39-modules-3.9.7-92.el8.x86_64/opt/imh-python/lib/python3.9/site-packages/pygments/lexers/haskell.pyr s� � �-� � � � �� � � � � ��r c @ sb e Zd ZdZdZdgZdgZg ZdZdde e e e j �fde e e e j �fd e e e e j �fegiZd S ) r z< A Haskell lexer with support for Hspec constructs. �Hspec�hspecz*Spec.hsz2.4rf z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rg rh ri rj rk rm rn ro rp r r r r �Docr r� r� r� r� r� r � s ��r c @ s< e Zd ZdZdZdZddgZdgZdgZdZ d Z d Z d Z d � d �e ��eeej�fdeeej�fdeeej�fdeeej�dfdeeejeeje�fd� d �e ��ejfdeeje�dfdejfdefdejfdejfde j fde j fd e j fd e j fd e j!d fd e d!fd"efd#efgd$efd%eej"ee#�d&fd'ej"d(fgd$efd)ejfd*ejfd+ejfd,ejdfd-e#fd.efd/e#d0fd1e#d2fg d3ejfd,ejd4fd5ejd(fd6ejfgd7e j!fd8e j$d9fd e j!d(fgd:e fd8e j$d9fd e d(fgd;e j$d(fd<e j$d(fd �e �e j$d(fd=e j$d(fd>e j$d(fd e j$d(fd?eee j$�d(fgd@�Z%dAS )Br zq A lexer for the dependently typed programming language Idris. Based on the Haskell and Agda Lexer. �Idriszhttps://www.idris-lang.org/�idris�idrz*.idrz text/x-idris�2.0)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/ Zstaticr1 r2 �with�pattern�term�syntax�prefix� postulate� parameters�recordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefine�exactZtrivialr3 ) �lib�link�flagr �hide�freeze�accessr �loggingZdynamicrk Zerror_handlers�languagez ^(\s*)(%({}))rB z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r; � ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)rA �(import|module)(\s+)r? �('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)�\d+[eE][+-]?\d+�\d+\.\d+([eE][+-]?\d+)?�0[xX][\da-fA-F]+rc rG rH rI rJ � [^\s(){}]+�\s+?r8 �([A-Z][\w.]*)(\s+)(\()rQ � [A-Z][\w.]*rO �[A-Z]\w*�(_[\w\']+|[a-z][\w\']*)z--.*$r: rT rF rU rV rN rW rX rY rZ r[ z[^\\']r] r^ r_ r` � \^[][A-Z@^_]ra rb rd )rf r? rQ r; rH rJ r^ N)&rg rh ri rj rk rl rm rn ro rp rq rr Z directivesrw rx r r r ru r rs rt r r{ r r} r| r r r~ r� r� r ry r� r r� r� r� r� r� r� r � s� �� � � � � � � � ��r c @ sD e Zd ZdZdZdZdgZdgZdgZdZ dZ d e e e je eje �fd ejfd ejd fd ejdfd�d�e ��ejfde eje �dfdejfdefdejfdejfdejfdej fdej fde j dfd e d fd e fd e fgd ejfd ejd!fd"ejd#fd$ejfgd ejd fd%e d#fd&e fge!j"d e!j"d e!j"d e!j"d' d(�Z"d)S )*r za For the Agda dependently typed functional programming language and proof assistant. �Agdaz.http://wiki.portal.chalmers.se/agda/pmwiki.php�agdaz*.agdaz text/x-agdar� )+r� r� Z coinductiver� r$ r% z eta-equality�field�forallZhidingr) Z inductive�infix�infixl�infixrr+ Z interleavedr, �macror� zno-eta-equality�opaque�openZoverlapr� r� Z primitiver� �quoteZ quoteTermr� Zrenamingr� r� ZtacticZ unfolding�unquoteZ unquoteDeclZ unquoteDefr� �variabler1 r� r� r9 r: r; z\{!�holerA rB r� r? z \b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)r� r� r� rc rG rH rI rJ r� r� z[^!{}]+rY z!\}rO z[!{}]z[a-zA-Z][\w.\']*z [\W0-9_]+r^ )rf r� r? r; rH rJ r^ N)#rg rh ri rj rk rl rm rn ro rp rq r r r r{ r r} r rs rt Z Directiverw rx r ru r| r r~ r� r� r ry r r r� r� r� r� r� r s\ �� � � � ��r c @ s� e Zd ZdZdZddgZdgZdgZdZdZ d Z d Z d e fd e jfd e jdfdejdfdejdfdejfd�d�e ��ejfdejfdefdejfdejfdejfdejfd efd ejfd ejfd ej fd ej fd!ej fd"e j d#fd$e d%fd&ejfd'ej!fd(e"fgd e fd$e d%fd)e"d*fd+efd,e#ej$e ee e�d*fd-e#ej$e ee e"�d.fd/e#ej$e e"�d.fd0ej$d*fgd e fd/e#ej$e e"�d.fd1ej$d*fgd e fd2ejfd3ejfd4e"fd efd5e"d6fd)e"d7fgd8e jfd e jd9fd:e jd*fd;e jfgd<e j d*fd=e j%d>fd"e j d*fgd?e fd=e j%d>fd$e d*fgd@e j%d*fdAe j%d*fd�e �e j%d*fdBe j%d*fdCe j%d*fd!e j%d*fdDe#e e j%�d*fgdE�Z&h dF�Z'dGdH� Z(dIS )Jr zX FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. �Cryptol�cryptol�cryz*.cryztext/x-cryptol�https://www.cryptol.netr� )ZArithZBitZCmp�FalseZInf�Truer& r� ZexternZfinr( r= �infZlg2�max�minr? r- Zpragma�propertyr/ r0 r1 �widthr3 r8 �//.*$�/\*r; r< r= r> r? r@ rA rB z^[_a-z][\w\']*z'?[_a-z][\w']*r� rC rD rE rF r� r� z 0[oO][0-7]+r� rc rG rH rI rJ rK rL rM rN rO rP z(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rQ r� rR r� r� r� rT rU rV rW �[^/*]+rY �\*/�[*/]r\ r] r^ r_ r` r� ra rb rd re > z>>�tail�splitZ transposer� �errorZ undefinedz<<Zparz>>>�length�trace�reversez<<<�reg�constrx �ASSERT�seqc c sR dg}t �| ||�D ]8\}}}|tu r@|| jv r@|tj|fV q|||fV qd S )Nrf )r �get_tokens_unprocessedr �EXTRA_KEYWORDSr� )�self�text�stack�index�token�valuer� r� r� r� � s � z#CryptolLexer.get_tokens_unprocessedN))rg rh ri rj rk rm rn ro rl rp rq rr r r rs rt r ru r rv rw rx r{ r| r r} r r~ r� r� r� r ry r� r r r� r� r� r� r� r� r� r� r� r i s� �$��� �� �� � � � ��fr c @ s* e Zd ZdZe�d�Zdd� Zdd� ZdS )� LiterateLexera� Base class for lexers of literate file formats based on LaTeX or Bird-style (prefixing each code line with ">"). Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. z(>[ \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%\�latex�bird� � )�TexLexerz \end{code}z \begin{code})r� �get�lstripr �finditer�group�bird_re�match�append�lenr �Specialr Zpygments.lexers.markupr� � startswith�listr� r r� ) r� r� �style�code� insertionsr� �line�mr� ZlxlexerZ codelinesr� r� r� r� r� sL � � �z$LiterateLexer.get_tokens_unprocessedN) rg rh ri rj �re�compiler� r� r� r� r� r� r� r� � s r� c @ s8 e Zd ZdZdZg d�ZdgZdgZdZdZ dd � Z d S ) r aS For Literate Haskell (Bird-style or LaTeX) source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. zLiterate Haskell)zliterate-haskell�lhaskell�lhsz*.lhsztext/x-literate-haskellz-https://wiki.haskell.org/Literate_programmingz0.9c K s& t f i |��}tj| |fi |�� d S r� )r r� r� �r� r� Zhslexerr� r� r� r� D s z LiterateHaskellLexer.__init__N� rg rh ri rj rk rm rn ro rl rp r� r� r� r� r� r 2 s r c @ s8 e Zd ZdZdZg d�ZdgZdgZdZdZ dd � Z d S ) r aQ For Literate Idris (Bird-style or LaTeX) source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. zLiterate Idris)zliterate-idris�lidris�lidrz*.lidrztext/x-literate-idrisz?https://idris2.readthedocs.io/en/latest/reference/literate.htmlr� c 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 I s r c @ s8 e Zd ZdZdZddgZdgZdgZdZdZ d d � Z d S ) r a: For Literate Agda source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. z Literate Agdaz literate-agda�lagdaz*.lagdaztext/x-literate-agdazEhttps://agda.readthedocs.io/en/latest/tools/literate-programming.htmlr� c K s* t f i |��}tj| |fddi|�� d S )Nr� r� )r r� r� )r� r� Z agdalexerr� r� r� r� r s zLiterateAgdaLexer.__init__Nr r� r� r� r� r ` s r c @ s8 e Zd ZdZdZg d�ZdgZdgZdZdZ dd � Z d S ) r aS For Literate Cryptol (Bird-style or LaTeX) source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. zLiterate Cryptol)zliterate-cryptol�lcryptol�lcryz*.lcryztext/x-literate-cryptolr� r� c 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 w s r c @ s� e Zd ZdZdZdZdgZddgZdgZdZ g d �Z g d �Z g d �Z g d �Z d Zde d ZdZejZejZejZed�de edfdeee e�dfdeee e�dfd� d� e ��d eee e�dfdeee ee ej �fd eee ej e ee ee ej � fd e d eee ee ej �fd e d eee ee ee ej �fd� d� e ��e ej!fd� d� e ��e efd� d� e ��e ej"fd e efd!eej e�fd"eej e�fd#e d eej e�fd$ej#fd%e$j%d&fed' e&fd(e&fd)e'fd*e(j)fd+e(j*fd,e(j+fd-e$j,d.fd/e$j%d0fgd1efed�gd2e'd3fed�gd4ed5fed6�gd7ed3fd4ed5fd8efd9eee e�fed6�ged�d� d� e ��e efd:� d� e ��e d; ed3fd<e efd=efd$ej#fd!eej e�fd>eej e�fd?efe-d3�g d@ee e.j/�fdAe fdBe.j0dCfdDe.j1fgdEe.j0fdBe.j0dFfdGe.j0d3fdHe.j0fgdIe$j%fdJe$j2fd/e$j%d3fgdKe$j%fedL�dMe$j%d3fgdNe$j,fedL�dOe$j,d3fgdPe$j2fdQe$j2fdRe$j2fdSe$j2fgdT� Z3dUS )Vr z& Lexer for the Koka language. �Kokaz/https://koka-lang.github.io/koka/doc/index.html�kokaz*.kkz*.kkiz text/x-kokaz1.6)"r� r� r� r0 �cotype�rectype�alias�struct�conZfun�function�val�varZexternalr( r/ r& �elif�returnr� r� r� r� r? r= �asr �inlineZrec�try�yield�enumr� r+ )r0 r r r r r$ )r� �existsZsomer� ) �for�while�repeatZforeachzforeach-indexedr� Zcatch�finally�cs�js�file�ref�assignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!�)z (?![\w/])� whitespacez::?r0 z(alias)(\s+)([a-z]\w*)?� alias-typez(struct)(\s+)([a-z]\w*)?� struct-typez({})rB z(\s+)([a-z]\w*)?z=(module)(\s+)(interface(?=\s))?(\s+)?((?:[a-z]\w*/)*[a-z]\w*)z`(import)(\s+)((?:[a-z]\w*/)*[a-z]\w*)(?:(\s*)(=)(\s*)(qualified)?(\s*)((?:[a-z]\w*/)*[a-z]\w*))?z>^(public|private)?(\s+)?(function|fun|val)(\s+)([a-z]\w*|\((?:z|/)\))zd^(?:(public|private)(?=\s+external))?((?<!^)\s+)?(external)(\s+)(inline(?=\s))?(\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]+rG �charrI rJ �=z(?=\((?!,*\)))rO z[(\[<]� type-nested� type-contentz[)\]>]rT z([a-z]\w*)(\s*)(:)(?!:)z(?=(({})z))z[EPHVX]z[a-z][0-9]*(?![\w/])z((?:[a-z]\w*/)*)([a-z]\w+)z ::|->|[.:|]z (\n\s*)(#.*)$r8 r� r; r� r� rY 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}) rf r1 r2 r0 r7 r8 r0 r; r3 rJ r5 r9 N)4rg rh ri rj rk rl rm rn ro rp �keywordsZtypeStartKeywordsZ typekeywords�builtin�symbolsZ sboundary�boundaryr � AttributeZ tokenType�ClassZ tokenTypeDefr �EmphZtokenConstructorr r r r rw rx r� r{ r| �Pseudo�Variabler �Doubler r r r~ r� r� ry r r �Preprocrt rs r� r� r� r� r� r� r � s � �� ���������� � � �?��� �� � � �� � � � � ��� �r )%rj r Zpygments.lexerr r r r r r r r Zpygments.tokenr r r r r r r r r r �pygmentsr rz �__all__r r r r r r� r r r r r r� r� r� r� �<module> s$ (0 oI @
| ver. 1.1 | |
.
| PHP 8.3.30 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка