Warning, /frameworks/syntax-highlighting/data/syntax/idris.xml is written in an unsupported language. File is not indexed.
0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <!DOCTYPE language>
0003 <!-- Based on haskell.xml and idris.vim (https://github.com/idris-hackers/idris-vim/blob/6bdb44b85406b75e3b3a4fa265deab1dbe8c6ff1/syntax/idris.vim) -->
0004 <language name="Idris" version="7" kateversion="5.0" section="Sources" extensions="*.idr" author="Alexander Shabalin" license="LGPL">
0005 <highlighting>
0006 <list name="keywords">
0007 <item>abstract</item>
0008 <item>auto</item>
0009 <item>case</item>
0010 <item>class</item>
0011 <item>codata</item>
0012 <item>constructor</item>
0013 <item>covering</item>
0014 <item>data</item>
0015 <item>default</item>
0016 <item>do</item>
0017 <item>dsl</item>
0018 <item>else</item>
0019 <item>export</item>
0020 <item>if</item>
0021 <item>implementation</item>
0022 <item>implicit</item>
0023 <item>import</item>
0024 <item>impossible</item>
0025 <item>in</item>
0026 <item>index_first</item>
0027 <item>index_next</item>
0028 <item>infix</item>
0029 <item>infixl</item>
0030 <item>infixr</item>
0031 <item>instance</item>
0032 <item>interface</item>
0033 <item>lambda</item>
0034 <item>let</item>
0035 <item>module</item>
0036 <item>mutual</item>
0037 <item>namespace</item>
0038 <item>of</item>
0039 <item>parameters</item>
0040 <item>partial</item>
0041 <item>pattern</item>
0042 <item>postulate</item>
0043 <item>prefix</item>
0044 <item>private</item>
0045 <item>proof</item>
0046 <item>public</item>
0047 <item>record</item>
0048 <item>rewrite</item>
0049 <item>static</item>
0050 <item>syntax</item>
0051 <item>tactics</item>
0052 <item>term</item>
0053 <item>then</item>
0054 <item>total</item>
0055 <item>using</item>
0056 <item>variable</item>
0057 <item>where</item>
0058 <item>with</item>
0059 </list>
0060 <list name="directives">
0061 <item>access</item>
0062 <item>assert_total</item>
0063 <item>default</item>
0064 <item>dynamic</item>
0065 <item>elim</item>
0066 <item>error_handlers</item>
0067 <item>error_reverse</item>
0068 <item>flag</item>
0069 <item>hide</item>
0070 <item>include</item>
0071 <item>language</item>
0072 <item>lib</item>
0073 <item>link</item>
0074 <item>name</item>
0075 <item>provide</item>
0076 <item>reflection</item>
0077 </list>
0078 <list name="tactics">
0079 <item>applyTactic</item>
0080 <item>attack</item>
0081 <item>compute</item>
0082 <item>exact</item>
0083 <item>fill</item>
0084 <item>focus</item>
0085 <item>induction</item>
0086 <item>intro</item>
0087 <item>intros</item>
0088 <item>let</item>
0089 <item>refine</item>
0090 <item>reflect</item>
0091 <item>rewrite</item>
0092 <item>solve</item>
0093 <item>trivial</item>
0094 <item>try</item>
0095 </list>
0096 <contexts>
0097 <context attribute="Normal" lineEndContext="#stay" name="code">
0098 <RegExpr attribute="Comment" context="line comment"
0099 String="---*(?=[^!#\$%&\*\+/<=>\?\@\^\|~\.:]|$)|\|\|\|(?=[^\-!#\$%&\*\+/<=>\?\@\^\|~\.:]|$)" />
0100 <Detect2Chars attribute="Comment" context="block comment" char="{" char1="-" beginRegion="BlockComment" />
0101 <RegExpr attribute="Normal" context="declaration" lookAhead="true"
0102 String="^\s*(?:[a-z]+\s+)*(?:[A-Za-z][A-Za-z0-9_]*'*|\([\-!#\$%&\*\+\./<=>\?@\\^\|~:]+\))\s*:" column="0" />
0103 <keyword attribute="Keyword" context="#stay" String="keywords" />
0104 <DetectChar attribute="Keyword" context="directive" char="%" />
0105 <keyword attribute="Tactic" context="#stay" String="tactics" />
0106 <DetectChar attribute="Char" context="char" char="'" />
0107 <DetectChar attribute="String" context="string" char=""" />
0108 <Int attribute="Decimal" context="#stay" />
0109 <RegExpr attribute="Hex" context="#stay" String="0[Xx][0-9A-Fa-f]+"/>
0110 <RegExpr attribute="Float" context="#stay" String="\d+\.\d+([eE][-+]?\d+)?" />
0111 <RegExpr attribute="Type" context="#stay" String="([A-Z][a-zA-Z0-9_]*'*|_\|_)" />
0112 <RegExpr attribute="Normal" context="#stay" String="[a-z][a-zA-Z0-9_]*'*" />
0113 <RegExpr attribute="MetaVar" context="#stay" String="\?[a-z][A-Za-z0-9_]+'*" />
0114 <RegExpr attribute="Special" context="#stay" String="(:|=>|\->|<\-)" />
0115 <RegExpr attribute="Operator" context="#stay"
0116 String="([\-!#\$%&\*\+\./<=>\?@\\^\|~:]+|\b_\b)|`[A-Za-z][A-Za-z0-9_]*'*`" />
0117 </context>
0118 <context attribute="Normal" lineEndContext="#pop" name="declaration">
0119 <keyword attribute="Keyword" context="#stay" String="keywords" />
0120 <RegExpr attribute="Type" context="#stay" String="([A-Z][a-zA-Z0-9_]*'*|_\|_)" />
0121 <RegExpr attribute="Declaration" context="#stay" String="[a-z][A-Za-z0-9_]*'*"/>
0122 <RegExpr attribute="Operator" context="#stay"
0123 String="\([\-!#\$%&\*\+\./<=>\?@\\^\|~:]+\)" />
0124 <DetectChar attribute="Special" context="#pop" char=":" />
0125 </context>
0126 <context attribute="Normal" lineEndContext="#pop" name="directive">
0127 <keyword attribute="Keyword" context="#stay" String="keywords" />
0128 <keyword attribute="Keyword" context="#stay" String="directives" />
0129 </context>
0130 <context attribute="Char" lineEndContext="#pop" name="char">
0131 <RegExpr attribute="Char" context="#stay" String="\\." />
0132 <DetectChar attribute="Char" context="#pop" char="'" />
0133 </context>
0134 <context attribute="String" lineEndContext="#stay" name="string">
0135 <RegExpr attribute="String" context="#stay" String="\\." />
0136 <DetectChar attribute="String" context="#pop" char=""" />
0137 </context>
0138 <context attribute="Comment" lineEndContext="#pop" name="line comment">
0139 <DetectSpaces />
0140 <IncludeRules context="##Comments" />
0141 </context>
0142 <context attribute="Comment" lineEndContext="#stay" name="block comment">
0143 <Detect2Chars attribute="Comment" context="#pop" char="-" char1="}" endRegion="BlockComment" />
0144 <Detect2Chars attribute="Comment" context="block comment" char="{" char1="-" beginRegion="BlockComment" />
0145 <DetectSpaces />
0146 <IncludeRules context="##Comments" />
0147 </context>
0148 </contexts>
0149 <itemDatas>
0150 <itemData name="Normal" defStyleNum="dsNormal" spellChecking="false" />
0151 <itemData name="Comment" defStyleNum="dsComment" spellChecking="true" />
0152 <itemData name="Keyword" defStyleNum="dsKeyword" spellChecking="false" />
0153 <itemData name="Tactic" defStyleNum="dsKeyword" spellChecking="false" />
0154 <itemData name="Char" defStyleNum="dsChar" spellChecking="false" />
0155 <itemData name="String" defStyleNum="dsString" spellChecking="true" />
0156 <itemData name="Decimal" defStyleNum="dsDecVal" spellChecking="false" />
0157 <itemData name="Hex" defStyleNum="dsBaseN" spellChecking="false" />
0158 <itemData name="Float" defStyleNum="dsFloat" spellChecking="false" />
0159 <itemData name="Type" defStyleNum="dsDataType" spellChecking="false" />
0160 <itemData name="MetaVar" defStyleNum="dsOthers" spellChecking="false" />
0161 <itemData name="Operator" defStyleNum="dsFunction" spellChecking="false" />
0162 <itemData name="Special" defStyleNum="dsOthers" spellChecking="false" />
0163 <itemData name="Declaration" defStyleNum="dsFunction" spellChecking="false" />
0164 </itemDatas>
0165 </highlighting>
0166 <general>
0167 <folding indentationsensitive="1"/>
0168 <comments>
0169 <comment name="singleLine" start="--" />
0170 <comment name="multiLine" start="{-" end="-}" region="BlockComment" />
0171 </comments>
0172 <keywords casesensitive="1" />
0173 </general>
0174 </language>