6`SrSSKJrJrJr SSKJrJrJrJ r J r J r J r J r S/r"SS\5rg)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 \rSrSrSrSrSrS/rS/rS/r Sr S r S r S r S R\ 5rS R\ \ \ \5rSR\\ \ \5rSR\ \ \ \5rSR\ \\ \\ \\5rSrSR\\5rSR\\\5r0S\"S5/_S\"S5S\"\R4\R8\R<5S4S\"\R4\R85S4SR\5\"\R>\R8\ RB5S4SR\5\"\R>\R8\ RB5S4SR\5\"\R>\R8\ RB5S4SR\5\"\R>\R8\ RB5S4S \"\R>\R8\R<5S4S!R\5\"\R>\R8\54S"R\5\"\R>\R8\54S#\"\R>\R8\ RD\54S$R\5\"\R>\R8\ RB5S%4S&R\5\ RD4S'R\5\ RD4S(\ RD4S)R\5\R>4\\4S*\R>4S+\R<S4S,\R<S-4S.\R<S/4S0\#S14S2\S34S4\S54S6\$RJ4S7\$RL4S8\'4/_SS9\(4S:\(S;4S<\R84/_S;S=\(S>4S?\(4/_SS@\$RJ4SA\S>4/_SSB\"\RR\R<5S4SC\RR4\\RR4SD\RR4SE\S>4\"S5/_S%SF\SG4\"S5/_SGSH\R>4SI\R>4SJ\SK4\"S5/_SSL\R4SM4SE\S>4\"S5/_SMSB\"\RR\R<5S4SC\RR4\\RR4SD\RR4SN\S>4SE\SK4\"S5/_S-SO\R<4S,\R<S>4/_S/SP\R<4S.\R<S>4/_SSQ\R<4S+\R<S>4/_S1S0\#SR4SS\#S>4STR\5\"\\ RD54SU\4SV\4/_S3S2\SR4SW\S>4\"S5/_S5S4\'SR4SA\'S>4\"S5/_r*SXr+gY)ZrzB 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____firstlineno____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 IntegerFloatrrTypetokens__static_attributes__r'lib/third_party/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 wAFr<N)rpygments.lexerrrrpygments.tokenrrrr r r r r __all__rrr<r=rAs898 -[ [r<