3
� �X�y � @ s( d Z ddlZddlmZmZmZmZmZmZ ddl m
Z
m Z m Z m
Z
mZmZmZmZmZ ddlmZ dddd d
d d d
dg Zejd�ZG dd� de�ZG dd� de�ZG dd� de�ZG dd � d e�Z G dd� de�Z G dd
� d
e �Z G dd � d e �Z G dd � d e �Z G dd
� d
e �Z!G dd� de�Z"dS )z�
pygments.lexers.haskell
~~~~~~~~~~~~~~~~~~~~~~~
Lexers for Haskell and related languages.
:copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�Lexer�
RegexLexer�bygroups�
do_insertions�default�include) �Text�Comment�Operator�Keyword�Name�String�Number� Punctuation�Generic)� unistring� HaskellLexer�
IdrisLexer� AgdaLexer� CryptolLexer�LiterateHaskellLexer�LiterateIdrisLexer�LiterateAgdaLexer�LiterateCryptolLexer� KokaLexerz.*?
c @ s. e Zd ZdZdZddgZdgZdgZej ej
B Z dzZ d{Z
d4efd5ejfd6ejd7fd8ejd9fd:ejd;fd<ejfd=d>je � ejfd?ejfd@ej dA ejfdBej dC efdDej dA ej fdEej dA ej fdFej fdGej fdHejfdIe j fdJej fdKe fdLe j!fdMe j!fdNe j"fdOe j#fdPe j$fdQejdRfdSedTfdUej fdVej%fdWe&fg d4efdSedTfdXe&dYfdZefd[ej d\ ej d] e'ej(eeee�dYfd[ej d^ e'ej(eeee&�d_fd[ej d` e'ej(ee&�d_fdaej(dYfgd4efd[ej d` e'ej(ee&�d_fdbej dc ej(dYfgd4efdbej dd ej fdeej df ejfd5ejfd6ejd7fdge&fdKe fdhe&d|fdXe&difg djejfd6ejdkfdlejdYfdmejfgdnejdYfdoej)dpfdQejdYfgdqefdoej)dpfdSedYfgdrej)dYfdsej dt ej)dYfd>je
�ej)dYfduej)dYfdvej)dYfdPej)dYfdwej)dYfgdx�Z*dyS )}r zk
A Haskell lexer based on the lexemes defined in the Haskell 98 Report.
.. versionadded:: 0.8
ZHaskellZhaskellZhsz*.hsztext/x-haskell�case�class�datar �deriving�do�else�family�if�in�
infix[lr]?�instance�let�newtype�of�then�type�where�_�NUL�SOH�[SE]TX�EOT�ENQ�ACK�BEL�BS�HT�LF�VT�FF�CR�S[OI]�DLE�DC[1-4]�NAK�SYN�ETB�CAN�EM�SUB�ESC�[FGRU]S�SP�DELz\s+z!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$z\{-�commentz
\bimport\b�importz
\bmodule\b�modulez \berror\bz\b(%s)(?!\')\b�|z'[^\\]'z^[_z][\w\']*z'?[_z][\w']*z('')?[z(')[z
(')\[[^\]]*\]z (')\([^)]*\)z \\(?![:!#$%&*+.\\/<=>?@^|~-]+)z+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+)z:[:!#$%&*+.\\/<=>?@^|~-]*z[:!#$%&*+.\\/<=>?@^|~-]+z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z 0[oO][0-7]+z0[xX][\da-fA-F]+z\d+�'� character�"�stringz\[\]z\(\)z [][(),;`{}]z\)z#popz qualified\bz([z][\w.]*)(\s+)(as)(\s+)([z][\w.]*)z ][\w.]*)(\s+)(hiding)(\s+)(\()�funclistz][\w.]*)(\s+)(\()z[\w.]+�[z][\w.]*z]\w*z (_[\w\']+|[z ][\w\']*)�,z\(z#pop:2z[^-{}]+z#pushz-\}z[-{}]z[^\\']'z\\�escapez[^\\"]+z[abfnrtv"\'&\\]z\^[][z@^_]zo[0-7]+z x[\da-fA-F]+z\s+\\)�rootrH rI rO rG rL rN rR N)r r r r r r r r! r" r# r$ r% r& r' r( r) r* r+ r, )r- r. r/ r0 r1 r2 r3 r4 r5 r6 r7 r8 r9 r: r; r< r= r> r? r@ rA rB rC rD rE rF )rO rO )+�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�re� MULTILINE�UNICODE�flags�reserved�asciir r �Single� Multiliner �Reservedr � Exception�joinr
�Char�uniZLl�FunctionZLu�Typer
�Wordr �Float�Oct�Hex�Integer�Builtinr r � Namespace�Escape�tokens� rt rt � /usr/lib/python3.6/haskell.pyr s�
c . @ s* e Zd ZdZdZddgZdgZdgZd�Zd�Z d�Z
d[d\j e
� e e
ej�fd]e e
ej�fd^e e
ej�fd_e e
ej�d`fdae e
eje
eje
�fdbd\j e� ejfdce eje
�ddfdeejfdfe
fdgejfdhejfdiejfdjejfdkejfdlejfdme j dnfdoe dpfdqe
fdre
fgdse
fdte ej e
e �dufdvej dwfgdse
fdxejfdyejfdzejfd{ejd`fd|e fd}efd~e d�fde d�fg d�ejfd{ejd�fd�ejdwfd�ejfgd�e j fd�e j d�fdme j dwfgd�e fd�e j d�fdoe dwfgd�e j dwfd�e j dwfd\j e �e j dwfd�e j dwfd�e j dwfdle j dwfd�e j dwfgd��Z!d�S )�r z�
A lexer for the dependently typed programming language Idris.
Based on the Haskell and Agda Lexer.
.. versionadded:: 2.0
ZIdrisZidrisZidrz*.idrz text/x-idrisr r r r �usingr r r" r# �
infix[lr]?r% �rewrite�auto� namespace�codata�mutual�private�public�abstract�total�partialr& �proofr( r) �staticr+ r, �with�pattern�term�syntax�prefix� postulate�
parameters�record�dsl�
impossible�implicit�tactics�intros�intro�compute�refine�exact�trivialr- r. �[SE]TXr0 r1 r2 r3 r4 r5 r6 r7 r8 r9 �S[OI]r; �DC[1-4]r= r> r? r@ rA rB rC �[FGRU]SrE rF �lib�link�flagr �hide�freeze�access�logging�dynamicrX �error_handlers�languagez ^(\s*)(%%%s)rJ z((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z
(\s*)(\{-)rG z ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)z\b(%s)(?!\')\bz(import|module)(\s+)rI z('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z0[xX][\da-fA-F]+z\d+rK rL rM rN z
[^\s(){}]+z\s+?z\s+z([A-Z][\w.]*)(\s+)(\()rO z [A-Z][\w.]*z#popz[A-Z]\w*z(_[\w\']+|[a-z][\w\']*)z--.*$z\{-rQ z[:!#$%&*+.\\/<=>?@^|~-]+z\(z\)z#pop:2z[^-{}]+z#pushz-\}z[-{}]z[^\\']z\\rR z[^\\"]+z[abfnrtv"\'&\\]z \^[][A-Z@^_]zo[0-7]+z x[\da-fA-F]+z\s+\\)rS rI rO rG rL rN rR N).r r r r rv r r r" r# rw r% rx ry rz 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� r� r� r� r� r� )r- r. r� r0 r1 r2 r3 r4 r5 r6 r7 r8 r9 r� r; r� r= r> r? r@ rA rB rC r� rE rF )
r� r� r� r r� r� r� r r� r� rX r� r� )rO rO )"rT rU rV rW rX rY rZ r[ r` ra Z
directivesrf r r r rd r rb rc r ri r
rk rj r rl rn ro r
rg rq r rr rs rt rt rt ru r � s�
c " @ s~ e Zd ZdZdZdgZdgZdgZdddd d
d d d
ddddddddddddddd d d d d d!d"d#d$d%d&d'g"Zd(e e
e j e
e
je
�fd)ejfd*ejd+fd,ejd-fd.d/je� ejfd0e eje
�d1fd2ejfd3e
fd4e
jfd5ejfd6ejfd7ejfd8ejfd9ej d:fd;ed<fd=e
fd>e
fgd?ejfd,ejd@fdAejdBfdCejfgd*ejd+fdDe dBfdEe
fge j d+ e j d: e j d< e j dF dG�Z dHS )Ir z�
For the `Agda <http://wiki.portal.chalmers.se/agda/pmwiki.php>`_
dependently typed functional programming language and proof assistant.
.. versionadded:: 2.0
ZAgdaZagdaz*.agdaz text/x-agdar r{ Z coinductive� constructorr Zfield�forallZhidingr# Z inductive�infix�infixl�infixrr% r& r| �openr� r� Z primitiver} ZquoteZ quoteGoalZ quoteTermr� Zrenamingrx r� ZtacticZunquoteZ unquoteDeclrv r+ r� z ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)z!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$z\{-rG z\{!�holez\b(%s)(?!\')\brJ z(import|module)(\s+)rI z\b(Set|Prop)\bz
(\(|\)|\{|\})u (\.{1,3}|\||Λ|∀|→|:|=|->)z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z0[xX][\da-fA-F]+z\d+rK rL rM rN z
[^\s(){}]+z\s+?z[^!{}]+z#pushz!\}z#popz[!{}]z[a-zA-Z][\w.]*z [\W0-9_]+rR )rS r� rI rG rL rN rR N) rT rU rV rW rX rY rZ r[ r` r r r ri r
rk r rb rc Z Directiverf r rd rj r rl rn ro r
rg r rs rt rt rt ru r sR
c @ s~ e Zd ZdZdZddgZdgZdgZd�Zd�Z d9e
fd:e j fd;e j
d<fd=ejdfd>ejdfd?ejfd@dAje� ejfdBejfdCefdDejfdEejfdFejfdGejfdHefdIejfdJejfdKejfdLejfdMejfdNe j dOfdPe dQfdRejfdSej fdTe fgd9e
fdPe dQfdUe dVfdWefdXe ej!e
ee
e�dVfdYe ej!e
ee
e �dZfd[e ej!e
e �dZfd\ej!dVfgd9e
fd[e ej!e
e �dZfd]ej!dVfgd9e
fd^ejfd_ejfd`e fdHefdae d�fdUe dbfgdce j
fd;e j
ddfdee j
dVfdfe j
fgdge j dVfdhe j"difdNe j dVfgdje fdhe j"difdPe dVfgdke j"dVfdle j"dVfdAje �e j"dVfdme j"dVfdne j"dVfdMe j"dVfdoe j"dVfgdp�Z#e$d��Z%d�d�� Z&d�S )�r zs
FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report.
.. versionadded:: 2.0
ZCryptolZcryptolZcryz*.cryztext/x-cryptol�Arith�Bit�Cmp�False�Inf�Truer �export�extern�finr" rH �inf�lg2�max�minrI r' �pragma�propertyr) r* r+ �widthr- r. �[SE]TXr0 r1 r2 r3 r4 r5 r6 r7 r8 r9 �S[OI]r; �DC[1-4]r= r> r? r@ rA rB rC �[FGRU]SrE rF z\s+z//.*$z/\*rG z
\bimport\bz
\bmodule\bz \berror\bz\b(%s)(?!\')\brJ z^[_a-z][\w\']*z'?[_a-z][\w']*z('')?[A-Z][\w\']*z \\(?![:!#$%&*+.\\/<=>?@^|~-]+)z+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+)z:[:!#$%&*+.\\/<=>?@^|~-]*z[:!#$%&*+.\\/<=>?@^|~-]+z\d+[eE][+-]?\d+z\d+\.\d+([eE][+-]?\d+)?z 0[oO][0-7]+z0[xX][\da-fA-F]+z\d+rK rL rM rN z\[\]z\(\)z [][(),;`{}]z\)z#popz qualified\bz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rO z([A-Z][\w.]*)(\s+)(\()z[\w.]+z [A-Z][\w.]*z[A-Z]\w*z(_[\w\']+|[a-z][\w\']*)rQ z\(z#pop:2z[^/*]+z#pushz\*/z[*/]z[^\\']'z\\rR z[^\\"]+z[abfnrtv"\'&\\]z \^[][A-Z@^_]zo[0-7]+z x[\da-fA-F]+z\s+\\)rS rH rI rO rG rL rN rR rf �split�reverse� transpose�length�tail�<<�>>�<<<�>>>�const�reg�par�seq�ASSERT� undefined�error�tracec c sV dg}xJt j| ||�D ]8\}}}|tkrB|| jkrB|tj|fV q|||fV qW d S )NrS )r �get_tokens_unprocessedr �EXTRA_KEYWORDSrp )�self�text�stack�index�token�valuert rt ru r� � s z#CryptolLexer.get_tokens_unprocessedN)r� r� r� r� r� r� r r� r� r� r" rH r� r� r� r� rI r' r� r� r) r* r+ r� )r- r. r� r0 r1 r2 r3 r4 r5 r6 r7 r8 r9 r� r; r� r= r> r? r@ rA rB rC r� rE rF )rO rO )rf r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� )'rT rU rV rW rX rY rZ r[ r` ra r r rb rc r rd r re rf ri rj r
rk r rl rm rn ro r
rg rp r r rq rr rs �setr� r� rt rt rt ru r P s�
c @ s* e Zd ZdZejd�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| f|� d S )N)� baselexerr �__init__)r� r� �optionsrt rt ru r� � s zLiterateLexer.__init__c
c s� | j jd�}|d kr0|j� dd� dkr,dp.d}d}g }|dkr�xvtj|�D ]h}|j� }| jj|�}|r�|jt |�dt
j |jd�fgf� ||jd�7 }qL|jt |�dt |fgf� qLW n�dd l
m} |f | j �} d}
d} x�tj|�D ]�}|j� }|
�r |j� jd
��rd}
| |7 } n||7 }q�|j� jd ��r^d}
| |7 } |jt |�t| j| ��f� d} q�| |7 } q�W |jt |�t| j| ��f� x"t|| jj|��D ] } | V �q�W d S ) N�litstyler � z%\�latexZbird� � )�TexLexerz
\end{code}z \begin{code})r� �get�lstrip�line_re�finditer�group�bird_re�match�append�lenr �Specialr Zpygments.lexers.markupr� �
startswith�listr� r r� )
r� r� Zstyle�codeZ
insertionsr� �line�mr� ZlxlexerZ codelinesr� �itemrt rt ru r� � sH
z$LiterateLexer.get_tokens_unprocessedN) rT rU rV rW r\ �compiler� r� r� rt rt rt ru r� � s
r� c @ s2 e Zd ZdZdZdddgZdgZdgZdd � Zd
S ) r an
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.
.. versionadded:: 0.9
zLiterate HaskellZlhszliterate-haskellZlhaskellz*.lhsztext/x-literate-haskellc K s t f |�}tj| |f|� d S )N)r r� r� )r� r� �hslexerrt rt ru r� , s
z LiterateHaskellLexer.__init__N) rT rU rV rW rX rY rZ r[ r� rt rt rt ru r s
c @ s2 e Zd ZdZdZdddgZdgZdgZdd � Zd
S ) r al
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.
.. versionadded:: 2.0
zLiterate IdrisZlidrzliterate-idrisZlidrisz*.lidrztext/x-literate-idrisc K s t f |�}tj| |f|� d S )N)r r� r� )r� r� r� rt rt ru r� C s
zLiterateIdrisLexer.__init__N) rT rU rV rW rX rY rZ r[ r� rt rt rt ru r 1 s
c @ s0 e Zd ZdZdZddgZdgZdgZdd� Zd S )
r aU
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.
.. versionadded:: 2.0
z
Literate AgdaZlagdaz
literate-agdaz*.lagdaztext/x-literate-agdac K s& t f |�}tj| |fddi|�� d S )Nr� r� )r r� r� )r� r� Z agdalexerrt rt ru r� Z s
zLiterateAgdaLexer.__init__N) rT rU rV rW rX rY rZ r[ r� rt rt rt ru r H s c @ s2 e Zd ZdZdZdddgZdgZdgZdd � Zd
S ) r an
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.
.. versionadded:: 2.0
zLiterate CryptolZlcryzliterate-cryptolZlcryptolz*.lcryztext/x-literate-cryptolc K s t f |�}tj| |f|� d S )N)r r� r� )r� r� Zcrylexerrt rt ru r� q s
z LiterateCryptolLexer.__init__N) rT rU rV rW rX rY rZ r[ r� rt rt rt ru r _ s
c " @ s� e Zd ZdZdZdgZddgZdgZddd d
d d d
ddddddddddddddd dd d d d d!d"d#d$d%d&d'g"Zd
d d d
dd%gZ d(d)d*d+gZ
d,d-d.d/d0d1d2d3d4d5d6d7d8g
Z d9Z d:e d; Z
d<ZejZejZejZed=�d>e
ed
fd?eeee�d@fdAeeee�dBfdCdDje � dE eeee�d
fdFeeeeej �fdGeeeej eeeeej �fdHe dI eeeej �fdJe dI eeeeej �fdCdDje
� e ej fdCdDje� e efdCdDje � e ej fdKe
efdLeej e�fdMeej e�fdNe dI eej e�fdOej fdPe!j"dQfe dR e#fdSe#fdTe$fdUe%j&fdVe%j'fdWe%j(fdXe!j)dYfdZe!j"d[fgd\efed
�gd]e$d^fed
�gd_ed`feda�gdbed^fd_ed`fdcefddeeee�feda�ged=�dCdDje
� e efdedDje� e df ed^fdge efdhefdOej fdLeej e�fdieej e�fdjefe*d^�g
dke+j,fdlefdme+j-dnfdoe+j.fgdpe+j-fdme+j-dqfdre+j-d^fdse+j-fgdte!j"fdue!j/fdZe!j"d^fgdve!j"fedw�dxe!j"d^fgdye!j)fedw�dze!j)d^fgd{e!j/fd|e!j/fd}e!j/fd~e!j/fgd� Z0d�S )�r zc
Lexer for the `Koka <http://koka.codeplex.com>`_
language.
.. versionadded:: 1.6
ZKokaZkokaz*.kkz*.kkiz text/x-kokar� r� r� r* ZcotypeZrectype�alias�structZconZfunZfunction�val�varZexternalr" r) r �elif�returnr� r} r~ rI rH �asr ZinlineZrec�try�yield�enumZ interfacer% r� �existsZsomer� �for�while�repeatZforeachzforeach-indexedr� Zcatch�finallyZcsZjs�file�ref�assignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!�)z (?![\w/])�
whitespacez::?z(alias)(\s+)([a-z]\w*)?z
alias-typez(struct)(\s+)([a-z]\w*)?z struct-typez(%s)rJ z(\s+)([a-z]\w*)?z4(module)(\s+)(interface\s+)?((?:[a-z]\w*/)*[a-z]\w*)zb(import)(\s+)((?:[a-z]\w*/)*[a-z]\w*)(?:(\s*)(=)(\s*)((?:qualified\s*)?)((?:[a-z]\w*/)*[a-z]\w*))?zE(^(?:(?:public|private)\s*)?(?:function|fun|val))(\s+)([a-z]\w*|\((?:z|/)\))zE(^(?:(?:public|private)\s*)?external)(\s+)(inline\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]+rK �charrM rN �=z(?=\((?!,*\)))z#popz[(\[<]z type-nestedz type-contentz[)\]>]rQ z([a-z]\w*)(\s*)(:)(?!:)z(?=((%s)z))z[EPHVX]z[a-z][0-9]*(?![\w/])z((?:[a-z]\w*/)*)([a-z]\w+)z ::|->|[.:|]z \n\s*#.*$z\s+z/\*rG z//.*$z[^/*]+z#pushz\*/z[*/]z[^"]+z""z [^\\"\n]+zescape-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}) rS z
alias-typez struct-typer* z type-nestedz type-contentr rG r rN r zescape-sequenceN)1rT rU rV rW rX rY rZ r[ �keywordsZtypeStartKeywordsZ typekeywordsZbuiltinZsymbolsZ sboundary�boundaryr Z AttributeZ tokenTypeZClassZ tokenTypeDefr ZEmphZtokenConstructorr r r r rf rq ri rj ZPseudoZVariabler
�Doubler
r r rl rn ro rg r r ZPreprocrc rb rr rs rt rt rt ru r v s�
)#rW r\ Zpygments.lexerr r r r r r Zpygments.tokenr r r
r r r
r r r Zpygmentsr rh �__all__r� r� r r r r r� r r r r r rt rt rt ru �<module>
s( ,
nE
A