dž`Th`dZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z dgZGddeZy)z pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. ) RegexLexerbygroupsinclude)TextCommentOperatorKeywordNameStringNumber Punctuation ElpiLexerc eZdZdZdZdZdgZdgZdgZdZ dZ d Z d Z d je Zd je e e eZd jee e eZdje e e eZdje ee ee eeZdZdjeeZdjeeeZidedgdeddeej2ej6ej:dfdeej2ej6dfdjeeej<ej6ej@dfdjeeej<ej6ej@dfdjeeej<ej6ej@dfdjeeej<ej6ej@dfdeej<ej6ej:dfd jeeej<ej6efd!jeeej<ej6efd"eej<ej6ejBefd#jeeej<ej6ej@d$fd%jeejBfd&jeejBfd'ejBfd(jeej<feefd)ej<fd*ej:dfd+ej:d,fd-ej:d.fd/e"d0fd1ed2fd3ed4fd5e#jHfd6e#jJfd7e&fgdd8e'fd9e'd:fd;ej6fgd:de'fgdd?e#jHfd@ed=fgddAeejPej:dfdBejPfeejPfdCejPfdDed=fedgd$dEedFfedgdFdGej<fdHej<fdIedJfedgddKej2dLfdDed=fedgdLdAeejPej:dfdBejPfeejPfdCejPfdMed=fdDedJfedgd,dNej:fd+ej:d=fgd.dOej:fd-ej:d=fgddPej:fd*ej:d=fgd0d/e"dQfdRe"d=fdSjeeeejBfdTefdUefgd2d1edQfdVed=fedgd4d3e&dQfd@e&d=fedgZ)yW)XrzN Lexer for the Elpi programming language. .. versionadded:: 2.11 Elpizhttp://github.com/LPCIC/elpielpiz*.elpiz text/x-elpiz[a-z]z[A-Z]z[0-9]z([+*^?/<>`'@#~=&!])z ({}|-|\$|_)z ({}|{}|{}|{})z({}*(\.({}|{}){}*)*)z({}|{}|{}|{}|:)z({}{}*|{}{}|{}{}*|_{}+)z(,|<=>|->|:-|;|\?-|->|&|=>|\bas\b|\buvar\b|<|=<|=|==|>=|>|\bi<|\bi=<|\bi>=|\bi>|\bis\b|\br<|\br=<|\br>=|\br>|\bs<|\bs=<|\bs>=|\bs>|@|::|\[\]|`->|`:|`:=|\^|-|\+|\bi-|\bi\+|r-|r\+|/|\*|\bdiv\b|\bi\*|\bmod\b|\br\*|~|\bi~|\br~)z \(({}|{})\)z ({}|{}|{})rootz _elpi-commentz#(:before|:after|:if|:name)(\s*)(\")z elpi-stringz(:index)(\s*\()zelpi-indexing-exprz\b(external pred|pred)(\s+)({})zelpi-pred-itemz)\b(external type|type)(\s+)(({}(,\s*)?)+)z elpi-typez\b(kind)(\s+)(({}|,)+)z\b(typeabbrev)(\s+)({})z\b(accumulate)(\s+)(\")z'\b(accumulate|namespace|local)(\s+)({})z\b(shorten)(\s+)({}\.)z-\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)z \b(constraint)(\s+)(({}(\s+)?)+)zelpi-chr-rule-startz (?=[A-Z_]){}z(?=[a-z_]){}\\_z ({}|!|=>|;)z \[|\]|\||=>"`z elpi-btickz\'z elpi-tickz\{\{z elpi-quotez\{[^\{]z elpi-spillz\(zelpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z [\+\*\-/\^\.]z %[^\n]*\nz/\*zelpi-multiline-commentz\s+z\*/z#pop.z[0-9 _]+z\)z(ctype\s+)(\")z->z\(|\)z\.z\{z elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:z elpi-ctype,z[^` ]+z[^\' ]+z[^\"]+z#pushz\}\}z(lp:)((?=[A-Z_]){})z[^l\}]+zl|\}z\}[^\}]N)*__name__ __module__ __qualname____doc__nameurlaliases filenames mimetypeslcase_reucase_redigit_re schar2_reformatschar_re idchar_reidcharstarns_re symbchar_re constant_re symbol_re escape_re const_sym_rerrr Moder Whitespacer Double Declarationr FunctionVariabler r IntegerFloatrrTypetokens9/usr/lib/python3.12/site-packages/pygments/lexers/elpi.pyrrs D (ChG IIHHH&I$$Y/H ''(8LI-44Y(T]^O$++Hh(SK,33HiSbdmoz}FGKsI%%k) >{ K g))4??D A C & - -k : g))4??D A C = g))4??DMM4 P R 0 7 7 E g))4??DMM J " $ # #K 0$-- @  % %k 2DMM B 4== !  " "9 -w/B/B C $  W00 1 6==- 0 6==, / FMM; / k< 0 | , D* + &.. ) 8&,, G x (_0 Al  7 # W6 7 T__ % mAv ! Wf % 7O# wA~  &.. ) D& ! AF  v}} E} U GLL ! ',, ' w|| $ D& ! O $  GAV  D/ * O $ WA^  ,, - 7&& ' 4 " 6?  _Aj  w||\ 2 D& ! O $ kAt  v}} E} U GLL ! ',, ' w|| $ 4 D( # O $ uAF   & 6==& ) GAN   ' FMM6 * OAV   & 6==& ) WA^  k7 + k6 * # * *; 7'4==9Y Z   dO  _Al  w ' v & FO mAv  Hg & Hf % FO wAFr9N)rpygments.lexerrrrpygments.tokenrrrr r r r r __all__rr8r9r:r>s898 -[ [r9