File manager - Edit - /opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/haskell.cpython-310.pyc
Back
o ;j+� � @ 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-present 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 @ s� e Zd ZdZdZdZddgZdgZdgZdZ d Z d Z g d e f�d e jf�d e jdf�dejdf�dejdf�dejf�d�d�e ��ejf�dejf�dejf�dej d ejf�dej d ef�d ej d ej f�d ej d ej f�d ej f�d ej f�d ej f�d!ejf�d"e j f�d#ej f�d$e f�d%e j f�d&e j f�d'e j f�d(e j f�d)e j!f�d*e j"f�d+e j#f�d,e j$f�d-ejd.f�d/ed0f�d1ej f�d2ej%f�d3e&f�d e fd/ed0fd4e&d5fd6efd7ej d8 ej d9 e'ej(e ee e�d5fd7ej d: e'ej(e ee e&�d;fd7ej d< e'ej(e e&�d;fd=ej(d5fgd e fd7ej d< e'ej(e e&�d;fd>ej d? ej(d5fgd e fd>ej d@ ej fdAej dB ejfd e jfd e jdfdCe&fd$e fdDe&dEfd4e&dFfg dGe jfd e jdHfdIe jd5fdJe jfgdKejd5fdLej)dMfd-ejd5fgdNefdLej)dMfd/ed5fgdOej)d5fdPej dQ ej)d5fd�e �ej)d5fdRej)d5fdSej)d5fdTej)d5fdUe'e ej)�d5fgdV�Z*dWS )Xr zP A Haskell lexer based on the lexemes defined in the Haskell 98 Report. ZHaskellzhttps://www.haskell.org/ZhaskellZhsz*.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^[_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\']*)�,�\(�rN rN �#pop:2�[^-{}]+�#push�-\}�[-{}]�[^\\']'�\\�escape�[^\\"]+�[abfnrtv"\'&\\]z\^[][z@^_]�o[0-7]+� x[\da-fA-F]+�\d+� (\s+)(\\)��rootr: r< rN r8 rE rG 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 �FloatZBin�Oct�Hex�Integer�Builtinr r � Namespace�Escape�tokens� r� r� �K/opt/saltstack/salt/lib/python3.10/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. ZHspecZhspecz*Spec.hsz2.4rc z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")N)rd re rf rg rh rj rk rl rm r r r r ZDocr 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. ZIdriszhttps://www.idris-lang.org/ZidrisZidrz*.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, Zstaticr. r/ �with�patternZterm�syntax�prefix� postulate� parameters�recordZdslZ impossibleZimplicitZtacticsZintrosZintroZcomputeZrefine�exactZtrivialr0 ) �lib�link�flagr �hideZfreeze�accessr �loggingZdynamicrh Zerror_handlers�languagez ^(\s*)(%({}))r? z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)r8 � ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)r> �(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]+r` rD rE rF rG � [^\s(){}]+�\s+?r5 �([A-Z][\w.]*)(\s+)(\()rN � [A-Z][\w.]*rL �[A-Z]\w*�(_[\w\']+|[a-z][\w\']*)z--.*$r7 rQ rC rR rS rK rT rU rV rW rX z[^\\']rZ r[ r\ r] � \^[][A-Z@^_]r^ r_ ra )rc r< rN r8 rE rG r[ N)&rd re rf rg rh ri rj rk rl rm rn ro Z directivesrt ru r r r rr r rp rq r rx r rz ry r r r{ r} r~ r rv 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. ZAgdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpZagdaz*.agdaz text/x-agdar� )+r� r� Z coinductiver� r! r" z eta-equality�field�forallZhidingr& Z inductive�infix�infixl�infixrr( Z interleavedr) Zmacror� zno-eta-equalityZopaque�openZoverlapr� r� Z primitiver� �quoteZ quoteTermr� Zrenamingr� r� ZtacticZ unfolding�unquoteZ unquoteDeclZ unquoteDefr� �variabler. r� r� r6 r7 r8 z\{!�holer> r? r� r< z \b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)r� r� r� r` rD rE rF rG r� r� z[^!{}]+rV z!\}rL z[!{}]z[a-zA-Z][\w.\']*z [\W0-9_]+r[ )rc r� r< r8 rE rG r[ N)#rd re rf rg rh ri rj rk rl rm rn r r r rx r rz r rp rq Z Directivert ru r rr ry r r{ r} r~ r rv 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. ZCryptolZcryptolZcryz*.cryztext/x-cryptol�https://www.cryptol.netr� )ZArithZBitZCmp�FalseZInf�Truer# r� Zextern�finr% r: �infZlg2�max�minr< r* Zpragma�propertyr, r- r. �widthr0 r5 �//.*$�/\*r8 r9 r: r; r< r= r> r? z^[_a-z][\w\']*z'?[_a-z][\w']*r� r@ rA rB rC r� r� z 0[oO][0-7]+r� r` rD rE rF rG rH rI rJ rK rL rM z(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rN r� rO r� r� r� rQ rR rS rT �[^/*]+rV �\*/�[*/]rY rZ r[ r\ r] r� r^ r_ ra rb > Z transposer� Zpar�const�splitz<<Ztracez>>�lengthZreg�ASSERTZ undefinedz<<<�reverse�tailz>>>�error�seqru c c sT � dg}t �| ||�D ] \}}}|tu r!|| jv r!|tj|fV q |||fV q d S )Nrc )r �get_tokens_unprocessedr �EXTRA_KEYWORDSr )�self�text�stack�index�token�valuer� r� r� r� � s � ��z#CryptolLexer.get_tokens_unprocessedN))rd re rf rg rh rj rk rl ri rm rn ro r r rp rq r rr r rs rt ru rx ry r rz r r{ r| r} r~ r rv r r r r� r� r� r� r� r� r� r� r� r j s� �$��� �� �� � � � ��f r 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 r|�� dd� dv rdpd}d}g }|dkr\t�|�D ]4}|�� }| j�|�}|rM|�t |�dt j |�d�fgf� ||�d�7 }q&|�t |�dt |fgf� q&ncdd l m} |d i | j ��} d} d} t�|�D ]=}|�� }| r�|�� �d �r�d} | |7 } qs||7 }qs|�� �d �r�d} | |7 } |�t |�t| �| ��f� d} qs| |7 } qs|�t |�t| �| ��f� t|| j�|��E d H d S ) N�litstyler � z%\�latexZbird� � )�TexLexerz \end{code}z \begin{code}r� )r� �get�lstripr �finditer�group�bird_re�match�append�lenr �Specialr Zpygments.lexers.markupr� � startswith�listr� r r� ) r� r� �style�codeZ insertionsr� �line�mr� ZlxlexerZ codelinesr� r� r� r� r� sP � � � � � z$LiterateLexer.get_tokens_unprocessedN) rd re rf rg �re�compiler� r� r� r� r� r� r� r� � s r� c @ �8 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-haskellZlhaskellZlhsz*.lhsztext/x-literate-haskellz-https://wiki.haskell.org/Literate_programmingz0.9c K �& t di |��}tj| |fi |�� d S �Nr� )r r� r� �r� r� Zhslexerr� r� r� r� E � z LiterateHaskellLexer.__init__N� rd re rf rg rh rj rk rl ri rm r� r� r� r� r� r 3 � r c @ r� ) 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-idrisZlidrisZlidrz*.lidrztext/x-literate-idrisz?https://idris2.readthedocs.io/en/latest/reference/literate.htmlr� c K r� r� )r r� r� r� r� r� r� r� \ r� zLiterateIdrisLexer.__init__Nr� r� r� r� r� r J r� 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-agdaZlagdaz*.lagdaztext/x-literate-agdazEhttps://agda.readthedocs.io/en/latest/tools/literate-programming.htmlr� c K s* t di |��}tj| |fddi|�� d S )Nr� r� r� )r r� r� )r� r� Z agdalexerr� r� r� r� s s zLiterateAgdaLexer.__init__Nr� r� r� r� r� r a r� r c @ r� ) 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-cryptolZlcryptolZlcryz*.lcryztext/x-literate-cryptolr� r� c K r� r� )r r� r� )r� r� Zcrylexerr� r� r� r� � r� z LiterateCryptolLexer.__init__Nr� r� r� r� r� r x r� 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. ZKokaz/https://koka-lang.github.io/koka/doc/index.htmlZkokaz*.kkz*.kkiz text/x-kokaz1.6)"r� r� r� r- �cotype�rectype�alias�structZconZfun�function�val�varZexternalr% r, r# �elif�returnr� r� r� r� r< r: �asr �inlineZrec�try�yield�enumr� r( )r- r� r� r� r� r )r� �existsZsomer� ) �for�while�repeatZforeachzforeach-indexedr� Zcatch�finally�csZjs�file�ref�assignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!�)z (?![\w/])� whitespacez::?r- z(alias)(\s+)([a-z]\w*)?� alias-typez(struct)(\s+)([a-z]\w*)?� struct-typez({})r? 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]+rD �charrF rG �=z(?=\((?!,*\)))rL z[(\[<]� type-nested� type-contentz[)\]>]rQ 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*)(#.*)$r5 r� r8 r� r� rV 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}) rc r r r- r r r r8 r rG r r N)4rd re rf rg rh ri rj rk rl rm �keywordsZtypeStartKeywordsZ typekeywordsZbuiltin�symbolsZ sboundary�boundaryr Z AttributeZ tokenTypeZClassZ tokenTypeDefr ZEmphZtokenConstructorr r r r rt ru r� rx ry ZPseudoZVariabler �Doubler r r r{ r} r~ rv r r ZPreprocrq rp r� r� r� r� r� r� r � s � �� ���������� � � �?��� �� � � �� � � � � �� � �r )%rg r� Zpygments.lexerr r r r r r r r Zpygments.tokenr r r r r r r r r r Zpygmentsr rw �__all__r r r r r r� r r r r r r� r� r� r� �<module> s& (0 oI @
| ver. 1.4 |
Github
|
.
| PHP 8.2.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings