U
    a`l                     @   s   d Z ddlZddlmZmZmZmZmZ ddlm	Z	m
Z
mZmZmZmZmZmZmZ dddgZG dd deZG d	d deZG d
d deZdS )z
    pygments.lexers.ml
    ~~~~~~~~~~~~~~~~~~

    Lexers for ML family languages.

    :copyright: Copyright 2006-2017 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OpaLexerc                   @   s0  e Zd ZdZdZdgZdddgZddgZed	Z	ed
Z
edZdZdZdd Zdd Zdd Zdd Zdefdejdfgdedfdedfdejdfdejdfd ejdfgd!d"d#d$ eD  efd%ejd&fd'ejd(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d0e j!fd1e e j!fd2e e j!fd3ejd4fd5ejd6fd7ejd8fd9ejd:fd;e j"fd<e ed=fd!e efd!e efgd<e efd!e edfd!e edfde#fd>e#fge$dge%d?d@ejdAfdBejdCfe%dDe%dEd>e#fge%d?dFefdejdfdGejdHfdIejdJfdKedHfdLejdMfe%dDe%dEd>e#fg
eejeejdNd"e	 edfge%d?e%dOd!e e j&fe$dge%d?d;e j"fdPedQfd!e e j'dfd!e e j'dfe$dge%d?d;e j"fdPedQfdReef e(e j)eedfdReef e(e j)eedfd!e e j)dfd!e e j)dfe$dge%d?e%dOd;e j"fdPedQfdSe edTfd!e ej*fd!e ej*fd>e#dfge%d?dUejdVfe%dOe%dEd>e#dfge%d?e%dOd;e j"fdPedQfdWe(eeejdfdSe edXfd!e ej*fd!e ej*fd>e#dfg	e%d?dUejdYfdZejdVfd[ejfd\e e(eee j+fd]e e(eee j+fe%dOe%dEd>e#fg	e%d?d^e e(ejee j+fd_e e(ejee j+fd[ejfd`eef e j+fe$dge%d?d!e e j+dfd!e e j+dfd>e#dfgdFefdejdfd;e j"fee fdaefdbedfee fgdcejfdejddfdeejdfdfejfgdgZ,dhS )ir   zB
    For the Standard ML language.

    .. versionadded:: 1.5
    zStandard MLZsmlz*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml))ZabstypeandZandalsoascaseZdatatypedoelseend	exceptionfnfunZhandleifinZinfixZinfixrletZlocalZnonfixofopopenZorelseraiserecthentypevalwithZwithtypewhileZeqtypefunctorr   ZsharingsigZ	signaturestructZ	structurewhere):\|=z=>->#:>)
()[]{},;z..._z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c              	   C   s:   d| fdt jfdt jfdt jfdt jfdt jfd| dfgS )	Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\"#pop)r   EscapeZInterpol)Zwhatkind r@   4/usr/lib/python3/dist-packages/pygments/lexers/ml.pystringy=   s    zSMLLexer.stringyc                 c   sP   | d| jkrt}ntj}|d|| dfV  |dt| dfV  d S )N      )groupalphanumid_reservedr   r   	Namespacestartr   selfmatchtokenr@   r@   rA   long_id_callbackL   s
    zSMLLexer.long_id_callbackc                 c   sL   | d| jkrt}n| d| jkr,t}nt}|d|| dfV  d S NrC   )rE   rF   r   symbolicid_reservedr   rH   rI   r@   r@   rA   end_id_callbackT   s    zSMLLexer.end_id_callbackc                 c   sF   | d}|| jkrtj}n|| jkr,t}nt}|d||fV  d S rN   )rE   rF   r
   ReservedrO   r   r   rH   )rJ   rK   strrL   r@   r@   rA   id_callback]   s    


zSMLLexer.id_callback\s+\(\*commentz\(|\[|\{mainz\)|\]|\}r>   z\b(let|if|local)\b(?!\'))rW   rW   z\b(struct|sig|while)\b(?!\')z\b(do|else|end|in|then)\b(?!\')(%s)|c                 c   s   | ]}t |V  qd S )N)reescape).0zr@   r@   rA   	<genexpr>}   s     zSMLLexer.<genexpr>z#"charr=   stringz~?0x[0-9a-fA-F]+z0wx[0-9a-fA-F]+z0w\d+z~?\d+\.\d+[eE]~?\d+z
~?\d+\.\d+z~?\d+[eE]~?\d+z~?\d+z#\s*[1-9][0-9]*z#\s*(%s)z#\s+(%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\']*z(%s)(\.)dottedz\S+
whitespacez\b(val|and)\b(?!\')vnamez\b(fun)\b(?!\'))r>   main-funfname
delimiterscorez\sz\b(fun|and)\b(?!\')ri   z\b(val)\b(?!\'))r>   rW   rg   r.   z\b(case|handle)\b(?!\'))r>   rW   z(?=\b(%s)\b(?!\'))breakout\(tyvarseqz(%s)(\s*)(=(?!%s))z=(?!%s))r>   typbindz\b(and)\b(?!\'))r>   rd   z(=)(\s*)(datatype))r>   datbinddatcon)r>   ra   z\b(withtype)\b(?!\')z\b(of)\b(?!\')z(\|)(\s*)(%s)z(\|)(\s+)(%s)z(and\b)(\s+)(%s)z(and\b)(\s*)(%s)z	(%s)|(%s)r9   \)z[^(*)]#push\*\)[(*)])rf   rj   rk   re   rootrW   rh   r_   r`   rl   rc   ri   rg   rd   ro   ra   rp   rb   rq   rn   rV   N)-__name__
__module____qualname____doc__namealiases	filenames	mimetypessetrF   rO   Znonid_reservedZalphanumid_reZsymbolicid_rerB   rM   rP   rS   r   r   Z	Multiliner   r
   rQ   joinr   CharDoubler   HexIntegerFloatr   ZLabelZ	Decoratorr   r   r   rG   ZFunctionr   VariableTypeClasstokensr@   r@   r@   rA   r      sx  
	







 


"





 
 
 

	


 c                   @   s  e Zd ZdZdZdgZddddgZdgZd	Zd
Z	dZ
dZdZdZdZdejfdejfdejfgdefdejjfdejdfdejfdedfdde efdde	ddd  efdeee
f efdde ejfdde ej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fd)ej$d*fd+ej%fgd,efd-ed.fd/ed0fd1efgd2ej$fe&d3d4ej$fd)ej$d0fgdefd5e'fd6ejfd7ejd0fd8ed0fe(d0gd9Z)dS ):r   z<
    For the OCaml language.

    .. versionadded:: 0.7
    ZOCamlZocamlz*.mlz*.mliz*.mllz*.mlyztext/x-ocaml)0r   assertbeginclassZ
constraintr   ZdoneZdowntor   r   r   externalZfalseforr   functionr)   r   r   r   ZinheritZinitializerZlazyr   rK   methodmoduleZmutablenewobjectr   r!   Zprivater"   r#   r*   r+   r$   totruetryr%   valuer&   ZvirtualZwhenr(   r'   ))z!=r1   &z&&rm   rr   z\*z\+r9   -z-\.r0   \.z\.\.r-   z::z:=r2   r:   z;;<z<-r/   >z>]z>\}z\?z\?\?z\[z\[<z\[>z\[\|r6   r;   `\{z\{<r.   z\|]\}~z[!$%&*+\./:<=>?@^|~-])r   ZasrZlandZlorZlslZlxormodorz[!?~]z[=<>@^|&+\*/$%-])Zunitintfloatboolr`   r_   listZarrayz\\[\\"\'ntbr]r<   \\x[0-9a-fA-F]{2}rT   zfalse|true|\(\)|\[\]z\b([A-Z][\w\']*)(?=\s*\.)re   z\b([A-Z][\w\']*)z\(\*(?![)])rV   z\b(%s)\brY   rX   Nz
(%s|%s)?%sz[^\W\d][\w']*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z0[xX][\da-fA-F][\da-fA-F_]*z0[oO][0-7][0-7_]*z0[bB][01][01_]*z\d[\d_]*z7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'z'.''r=   r`   z[~?][a-z][\w\']*:z[^(*)]+rU   rs   rt   r>   ru   z[^\\"]+escape-sequencez\\\nr   z[A-Z][\w\']*(?=\s*\.)z[A-Z][\w\']*z[a-z_][\w\']*)r   rv   rV   r`   re   )*rw   rx   ry   rz   r{   r|   r}   r~   keywordsZkeyoptsZ	operatorsZword_operatorsZprefix_symsZ
infix_symsZ
primitivesr   r?   r   r   BuiltinPseudorG   r   r   r   r
   r	   ZWordr   r   r   r   OctBinr   r   r   r   r   r   r   r   r@   r@   r@   rA   r   d  st   	




c                   @   s  e Zd ZdZdZdgZdgZdgZdZdZ	dZ
d	Zd
ejfdejfdejfgdedfdefgeddefgedeedddefde	 d ej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ejfdejdfd ejfd!ed"fd#ed$fd%ejd&fd'ej fd(e
 d) ej fd*ej!fd+e
 d) efd,e
 efd,e efd-ed.fd/e	 ej"fd0e	 ejfd1ejfe	efgedd2ej"fe#d3gedd4ej"d5fd6ej"d7fe	d4 ej"d5fe	ej"d$fd/e	 ej"fe#d$gede#d8gedd9ej"d:fe#d$gedd2ej"d;fd<ej"d=fe#d$gedd>ej"d?fd2ej"d;fe#d$gedd@ej"fdAej"fd4ej"d"fdBej"d$fgeddCej"fdAej"fd!ej"d"fd#ej"d$fgdDefded"fdEed$fdAefgdFejfdejd$fd!edGfedHgdIejfdJejd$fd!edGfedHgdKejdLfdMejdNfgdOejd$fgdefdPejdQfdRejd$fdMejdNfgd/ejdSfdejdTfd0e	 ejd$fd1ejdUfdVejd$fd!edUfgdWedXfdYejdZfd[ejd&fd!edGfd\ejfgd]ed$fd^efgd_Z$d`S )ar   zU
    Lexer for the Opa language (http://opalang.org).

    .. versionadded:: 1.5
    ZOpaZopaz*.opaz
text/x-opa)r   r   r   r   ZclientZcssZdatabaseZdbr   r   r   r   Zforallr   r   importrK   r   r   packageparserr#   Zserverr$   r%   r&   r'   Z
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z[()\[\],;|]z\\[\\"\'ntr}]r<   r   z/\*nested-commentz//.*?$commentsrT   comments-and-spacesz\b)prefixsuffix@z-?.[\d]+([eE][+\-]?\d+)z-?\d+.\d*([eE][+\-]?\d+)z-?\d+[eE][+\-]?\d+z0[xX][\da-fA-F]+z0[oO][0-7]+z
0[bB][01]+z\d+z#[\da-fA-F]{3,6}r=   r`   z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r   rs   r   r>   z<(?=[a-zA-Z>])html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!r4   z\b([A-Z]\w*)(?=\.)z=(?!z(%s)+r-   r%   r   r1   z#(?=\{)r0   )r>   
type-lhs-1type-with-slashrm   )r>   
type-tuplez~?\{)r>   type-record)r>   slash-type-1type-1/)r>   r   )r>   r%   z(?=,))r>   
type-arrowz,(?=[^:]*?->)r   z[^()/*]+z[/*]rr   z[^{}/*]+z[^/*]+z\*/z[^\\"{]+rv   r   z	[^\\\'{]+z\'z[\w\-:]+)r>   	html-attrr   )r>   html-contentz	[\w\-:]*>z	[\w\-:]+=html-attr-valuez/>)r>   single-string)r>   r`   )r>   rv   z[^"\'{`=<>]+z<!--html-commentz</)r>   html-end-tagr   z[^<{]+z-->z[^\-]+|-)r   r   r   rv   r%   r   r   r   r   r   r   r   r   r`   r   r   r   r   r   r   r   N)%rw   rx   ry   rz   r{   r|   r}   r~   r   Zident_reZop_reZpunc_rer   r?   r   r   r   r   r
   r   r   r   r   r   r   r   r   r   r   r   r	   Singler   rG   r   r   r   r@   r@   r@   rA   r     s  



i

















	









	  )rz   rZ   Zpygments.lexerr   r   r   r   r   Zpygments.tokenr   r   r	   r
   r   r   r   r   r   __all__r   r   r   r@   r@   r@   rA   <module>   s   
,
  Q\