RubyGems - gitlab-pygments.rb - Versions diffs - 0.3.2 - Mend

gitlab-pygments.rb 0.3.2

Files changed (399) hide show

data/.gitignore +6 -0
data/Gemfile +2 -0
data/README.md +91 -0
data/Rakefile +78 -0
data/bench.rb +22 -0
data/cache-lexers.rb +8 -0
data/lexers +0 -0
data/lib/pygments/lexer.rb +148 -0
data/lib/pygments/mentos.py +344 -0
data/lib/pygments/popen.rb +389 -0
data/lib/pygments/version.rb +3 -0
data/lib/pygments.rb +8 -0
data/pygments.rb.gemspec +24 -0
data/test/test_data.c +2581 -0
data/test/test_data.py +514 -0
data/test/test_data_generated +2582 -0
data/test/test_pygments.rb +276 -0
data/vendor/custom_formatters/gitlab.py +171 -0
data/vendor/custom_lexers/github.py +362 -0
data/vendor/pygments-main/AUTHORS +115 -0
data/vendor/pygments-main/CHANGES +762 -0
data/vendor/pygments-main/LICENSE +25 -0
data/vendor/pygments-main/MANIFEST.in +6 -0
data/vendor/pygments-main/Makefile +59 -0
data/vendor/pygments-main/REVISION +1 -0
data/vendor/pygments-main/TODO +15 -0
data/vendor/pygments-main/docs/generate.py +472 -0
data/vendor/pygments-main/docs/pygmentize.1 +94 -0
data/vendor/pygments-main/docs/src/api.txt +270 -0
data/vendor/pygments-main/docs/src/authors.txt +5 -0
data/vendor/pygments-main/docs/src/changelog.txt +5 -0
data/vendor/pygments-main/docs/src/cmdline.txt +147 -0
data/vendor/pygments-main/docs/src/filterdevelopment.txt +70 -0
data/vendor/pygments-main/docs/src/filters.txt +42 -0
data/vendor/pygments-main/docs/src/formatterdevelopment.txt +169 -0
data/vendor/pygments-main/docs/src/formatters.txt +48 -0
data/vendor/pygments-main/docs/src/index.txt +69 -0
data/vendor/pygments-main/docs/src/installation.txt +71 -0
data/vendor/pygments-main/docs/src/integrate.txt +43 -0
data/vendor/pygments-main/docs/src/lexerdevelopment.txt +551 -0
data/vendor/pygments-main/docs/src/lexers.txt +67 -0
data/vendor/pygments-main/docs/src/moinmoin.txt +39 -0
data/vendor/pygments-main/docs/src/plugins.txt +93 -0
data/vendor/pygments-main/docs/src/quickstart.txt +202 -0
data/vendor/pygments-main/docs/src/rstdirective.txt +22 -0
data/vendor/pygments-main/docs/src/styles.txt +143 -0
data/vendor/pygments-main/docs/src/tokens.txt +349 -0
data/vendor/pygments-main/docs/src/unicode.txt +49 -0
data/vendor/pygments-main/external/markdown-processor.py +67 -0
data/vendor/pygments-main/external/moin-parser.py +112 -0
data/vendor/pygments-main/external/pygments.bashcomp +38 -0
data/vendor/pygments-main/external/rst-directive-old.py +77 -0
data/vendor/pygments-main/external/rst-directive.py +83 -0
data/vendor/pygments-main/ez_setup.py +276 -0
data/vendor/pygments-main/pygmentize +7 -0
data/vendor/pygments-main/pygments/__init__.py +91 -0
data/vendor/pygments-main/pygments/cmdline.py +433 -0
data/vendor/pygments-main/pygments/console.py +74 -0
data/vendor/pygments-main/pygments/filter.py +74 -0
data/vendor/pygments-main/pygments/filters/__init__.py +357 -0
data/vendor/pygments-main/pygments/formatter.py +92 -0
data/vendor/pygments-main/pygments/formatters/__init__.py +68 -0
data/vendor/pygments-main/pygments/formatters/_mapping.py +94 -0
data/vendor/pygments-main/pygments/formatters/bbcode.py +109 -0
data/vendor/pygments-main/pygments/formatters/gitlab.py +171 -0
data/vendor/pygments-main/pygments/formatters/html.py +750 -0
data/vendor/pygments-main/pygments/formatters/img.py +553 -0
data/vendor/pygments-main/pygments/formatters/latex.py +378 -0
data/vendor/pygments-main/pygments/formatters/other.py +117 -0
data/vendor/pygments-main/pygments/formatters/rtf.py +136 -0
data/vendor/pygments-main/pygments/formatters/svg.py +154 -0
data/vendor/pygments-main/pygments/formatters/terminal.py +112 -0
data/vendor/pygments-main/pygments/formatters/terminal256.py +222 -0
data/vendor/pygments-main/pygments/lexer.py +697 -0
data/vendor/pygments-main/pygments/lexers/__init__.py +229 -0
data/vendor/pygments-main/pygments/lexers/_asybuiltins.py +1645 -0
data/vendor/pygments-main/pygments/lexers/_clbuiltins.py +232 -0
data/vendor/pygments-main/pygments/lexers/_luabuiltins.py +249 -0
data/vendor/pygments-main/pygments/lexers/_mapping.py +298 -0
data/vendor/pygments-main/pygments/lexers/_phpbuiltins.py +3787 -0
data/vendor/pygments-main/pygments/lexers/_postgres_builtins.py +232 -0
data/vendor/pygments-main/pygments/lexers/_scilab_builtins.py +29 -0
data/vendor/pygments-main/pygments/lexers/_vimbuiltins.py +3 -0
data/vendor/pygments-main/pygments/lexers/agile.py +1803 -0
data/vendor/pygments-main/pygments/lexers/asm.py +360 -0
data/vendor/pygments-main/pygments/lexers/compiled.py +2891 -0
data/vendor/pygments-main/pygments/lexers/dotnet.py +636 -0
data/vendor/pygments-main/pygments/lexers/functional.py +1832 -0
data/vendor/pygments-main/pygments/lexers/github.py +362 -0
data/vendor/pygments-main/pygments/lexers/hdl.py +356 -0
data/vendor/pygments-main/pygments/lexers/jvm.py +847 -0
data/vendor/pygments-main/pygments/lexers/math.py +1072 -0
data/vendor/pygments-main/pygments/lexers/other.py +3339 -0
data/vendor/pygments-main/pygments/lexers/parsers.py +695 -0
data/vendor/pygments-main/pygments/lexers/shell.py +361 -0
data/vendor/pygments-main/pygments/lexers/special.py +100 -0
data/vendor/pygments-main/pygments/lexers/sql.py +559 -0
data/vendor/pygments-main/pygments/lexers/templates.py +1631 -0
data/vendor/pygments-main/pygments/lexers/text.py +1753 -0
data/vendor/pygments-main/pygments/lexers/web.py +2864 -0
data/vendor/pygments-main/pygments/plugin.py +74 -0
data/vendor/pygments-main/pygments/scanner.py +104 -0
data/vendor/pygments-main/pygments/style.py +117 -0
data/vendor/pygments-main/pygments/styles/__init__.py +70 -0
data/vendor/pygments-main/pygments/styles/autumn.py +65 -0
data/vendor/pygments-main/pygments/styles/borland.py +51 -0
data/vendor/pygments-main/pygments/styles/bw.py +49 -0
data/vendor/pygments-main/pygments/styles/colorful.py +81 -0
data/vendor/pygments-main/pygments/styles/default.py +73 -0
data/vendor/pygments-main/pygments/styles/emacs.py +72 -0
data/vendor/pygments-main/pygments/styles/friendly.py +72 -0
data/vendor/pygments-main/pygments/styles/fruity.py +42 -0
data/vendor/pygments-main/pygments/styles/manni.py +75 -0
data/vendor/pygments-main/pygments/styles/monokai.py +106 -0
data/vendor/pygments-main/pygments/styles/murphy.py +80 -0
data/vendor/pygments-main/pygments/styles/native.py +65 -0
data/vendor/pygments-main/pygments/styles/pastie.py +75 -0
data/vendor/pygments-main/pygments/styles/perldoc.py +69 -0
data/vendor/pygments-main/pygments/styles/rrt.py +33 -0
data/vendor/pygments-main/pygments/styles/tango.py +141 -0
data/vendor/pygments-main/pygments/styles/trac.py +63 -0
data/vendor/pygments-main/pygments/styles/vim.py +63 -0
data/vendor/pygments-main/pygments/styles/vs.py +38 -0
data/vendor/pygments-main/pygments/token.py +195 -0
data/vendor/pygments-main/pygments/unistring.py +130 -0
data/vendor/pygments-main/pygments/util.py +232 -0
data/vendor/pygments-main/scripts/check_sources.py +242 -0
data/vendor/pygments-main/scripts/detect_missing_analyse_text.py +30 -0
data/vendor/pygments-main/scripts/epydoc.css +280 -0
data/vendor/pygments-main/scripts/find_codetags.py +205 -0
data/vendor/pygments-main/scripts/find_error.py +171 -0
data/vendor/pygments-main/scripts/get_vimkw.py +43 -0
data/vendor/pygments-main/scripts/pylintrc +301 -0
data/vendor/pygments-main/scripts/reindent.py +291 -0
data/vendor/pygments-main/scripts/vim2pygments.py +933 -0
data/vendor/pygments-main/setup.cfg +6 -0
data/vendor/pygments-main/setup.py +88 -0
data/vendor/pygments-main/tests/dtds/HTML4-f.dtd +37 -0
data/vendor/pygments-main/tests/dtds/HTML4-s.dtd +869 -0
data/vendor/pygments-main/tests/dtds/HTML4.dcl +88 -0
data/vendor/pygments-main/tests/dtds/HTML4.dtd +1092 -0
data/vendor/pygments-main/tests/dtds/HTML4.soc +9 -0
data/vendor/pygments-main/tests/dtds/HTMLlat1.ent +195 -0
data/vendor/pygments-main/tests/dtds/HTMLspec.ent +77 -0
data/vendor/pygments-main/tests/dtds/HTMLsym.ent +241 -0
data/vendor/pygments-main/tests/examplefiles/ANTLRv3.g +608 -0
data/vendor/pygments-main/tests/examplefiles/AcidStateAdvanced.hs +209 -0
data/vendor/pygments-main/tests/examplefiles/AlternatingGroup.mu +102 -0
data/vendor/pygments-main/tests/examplefiles/CPDictionary.j +611 -0
data/vendor/pygments-main/tests/examplefiles/Constants.mo +158 -0
data/vendor/pygments-main/tests/examplefiles/DancingSudoku.lhs +411 -0
data/vendor/pygments-main/tests/examplefiles/Errors.scala +18 -0
data/vendor/pygments-main/tests/examplefiles/File.hy +174 -0
data/vendor/pygments-main/tests/examplefiles/Intro.java +1660 -0
data/vendor/pygments-main/tests/examplefiles/Makefile +1131 -0
data/vendor/pygments-main/tests/examplefiles/Object.st +4394 -0
data/vendor/pygments-main/tests/examplefiles/OrderedMap.hx +584 -0
data/vendor/pygments-main/tests/examplefiles/SmallCheck.hs +378 -0
data/vendor/pygments-main/tests/examplefiles/Sorting.mod +470 -0
data/vendor/pygments-main/tests/examplefiles/Sudoku.lhs +382 -0
data/vendor/pygments-main/tests/examplefiles/addressbook.proto +30 -0
data/vendor/pygments-main/tests/examplefiles/antlr_throws +1 -0
data/vendor/pygments-main/tests/examplefiles/apache2.conf +393 -0
data/vendor/pygments-main/tests/examplefiles/as3_test.as +143 -0
data/vendor/pygments-main/tests/examplefiles/as3_test2.as +46 -0
data/vendor/pygments-main/tests/examplefiles/as3_test3.as +3 -0
data/vendor/pygments-main/tests/examplefiles/aspx-cs_example +27 -0
data/vendor/pygments-main/tests/examplefiles/badcase.java +2 -0
data/vendor/pygments-main/tests/examplefiles/batchfile.bat +49 -0
data/vendor/pygments-main/tests/examplefiles/boot-9.scm +1557 -0
data/vendor/pygments-main/tests/examplefiles/cells.ps +515 -0
data/vendor/pygments-main/tests/examplefiles/ceval.c +2604 -0
data/vendor/pygments-main/tests/examplefiles/cheetah_example.html +13 -0
data/vendor/pygments-main/tests/examplefiles/classes.dylan +40 -0
data/vendor/pygments-main/tests/examplefiles/condensed_ruby.rb +10 -0
data/vendor/pygments-main/tests/examplefiles/coq_RelationClasses +447 -0
data/vendor/pygments-main/tests/examplefiles/database.pytb +20 -0
data/vendor/pygments-main/tests/examplefiles/de.MoinMoin.po +2461 -0
data/vendor/pygments-main/tests/examplefiles/demo.ahk +181 -0
data/vendor/pygments-main/tests/examplefiles/demo.cfm +38 -0
data/vendor/pygments-main/tests/examplefiles/django_sample.html+django +68 -0
data/vendor/pygments-main/tests/examplefiles/dwarf.cw +17 -0
data/vendor/pygments-main/tests/examplefiles/erl_session +10 -0
data/vendor/pygments-main/tests/examplefiles/escape_semicolon.clj +1 -0
data/vendor/pygments-main/tests/examplefiles/evil_regex.js +48 -0
data/vendor/pygments-main/tests/examplefiles/example.c +2080 -0
data/vendor/pygments-main/tests/examplefiles/example.cls +15 -0
data/vendor/pygments-main/tests/examplefiles/example.cpp +2363 -0
data/vendor/pygments-main/tests/examplefiles/example.gs +106 -0
data/vendor/pygments-main/tests/examplefiles/example.gst +7 -0
data/vendor/pygments-main/tests/examplefiles/example.kt +47 -0
data/vendor/pygments-main/tests/examplefiles/example.lua +250 -0
data/vendor/pygments-main/tests/examplefiles/example.moo +26 -0
data/vendor/pygments-main/tests/examplefiles/example.moon +629 -0
data/vendor/pygments-main/tests/examplefiles/example.nim +1010 -0
data/vendor/pygments-main/tests/examplefiles/example.ns2 +69 -0
data/vendor/pygments-main/tests/examplefiles/example.p +34 -0
data/vendor/pygments-main/tests/examplefiles/example.pas +2708 -0
data/vendor/pygments-main/tests/examplefiles/example.rb +1852 -0
data/vendor/pygments-main/tests/examplefiles/example.rhtml +561 -0
data/vendor/pygments-main/tests/examplefiles/example.sh-session +19 -0
data/vendor/pygments-main/tests/examplefiles/example.sml +156 -0
data/vendor/pygments-main/tests/examplefiles/example.snobol +15 -0
data/vendor/pygments-main/tests/examplefiles/example.tea +34 -0
data/vendor/pygments-main/tests/examplefiles/example.u +548 -0
data/vendor/pygments-main/tests/examplefiles/example.weechatlog +9 -0
data/vendor/pygments-main/tests/examplefiles/example.xhtml +376 -0
data/vendor/pygments-main/tests/examplefiles/example.yaml +302 -0
data/vendor/pygments-main/tests/examplefiles/example2.aspx +29 -0
data/vendor/pygments-main/tests/examplefiles/example_elixir.ex +363 -0
data/vendor/pygments-main/tests/examplefiles/example_file.fy +128 -0
data/vendor/pygments-main/tests/examplefiles/firefox.mak +586 -0
data/vendor/pygments-main/tests/examplefiles/flipflop.sv +19 -0
data/vendor/pygments-main/tests/examplefiles/foo.sce +6 -0
data/vendor/pygments-main/tests/examplefiles/format.ml +1213 -0
data/vendor/pygments-main/tests/examplefiles/fucked_up.rb +77 -0
data/vendor/pygments-main/tests/examplefiles/function.mu +1 -0
data/vendor/pygments-main/tests/examplefiles/functional.rst +1472 -0
data/vendor/pygments-main/tests/examplefiles/genclass.clj +510 -0
data/vendor/pygments-main/tests/examplefiles/genshi_example.xml+genshi +193 -0
data/vendor/pygments-main/tests/examplefiles/genshitext_example.genshitext +33 -0
data/vendor/pygments-main/tests/examplefiles/glsl.frag +7 -0
data/vendor/pygments-main/tests/examplefiles/glsl.vert +13 -0
data/vendor/pygments-main/tests/examplefiles/html+php_faulty.php +1 -0
data/vendor/pygments-main/tests/examplefiles/http_request_example +14 -0
data/vendor/pygments-main/tests/examplefiles/http_response_example +27 -0
data/vendor/pygments-main/tests/examplefiles/import.hs +4 -0
data/vendor/pygments-main/tests/examplefiles/intro.ik +24 -0
data/vendor/pygments-main/tests/examplefiles/ints.php +10 -0
data/vendor/pygments-main/tests/examplefiles/intsyn.fun +675 -0
data/vendor/pygments-main/tests/examplefiles/intsyn.sig +286 -0
data/vendor/pygments-main/tests/examplefiles/irb_heredoc +8 -0
data/vendor/pygments-main/tests/examplefiles/irc.lsp +214 -0
data/vendor/pygments-main/tests/examplefiles/java.properties +16 -0
data/vendor/pygments-main/tests/examplefiles/jbst_example1.jbst +28 -0
data/vendor/pygments-main/tests/examplefiles/jbst_example2.jbst +45 -0
data/vendor/pygments-main/tests/examplefiles/jinjadesignerdoc.rst +713 -0
data/vendor/pygments-main/tests/examplefiles/lighttpd_config.conf +13 -0
data/vendor/pygments-main/tests/examplefiles/linecontinuation.py +47 -0
data/vendor/pygments-main/tests/examplefiles/ltmain.sh +2849 -0
data/vendor/pygments-main/tests/examplefiles/main.cmake +42 -0
data/vendor/pygments-main/tests/examplefiles/markdown.lsp +679 -0
data/vendor/pygments-main/tests/examplefiles/matlab_noreturn +3 -0
data/vendor/pygments-main/tests/examplefiles/matlab_sample +27 -0
data/vendor/pygments-main/tests/examplefiles/matlabsession_sample.txt +37 -0
data/vendor/pygments-main/tests/examplefiles/minimal.ns2 +4 -0
data/vendor/pygments-main/tests/examplefiles/moin_SyntaxReference.txt +340 -0
data/vendor/pygments-main/tests/examplefiles/multiline_regexes.rb +38 -0
data/vendor/pygments-main/tests/examplefiles/nasm_aoutso.asm +96 -0
data/vendor/pygments-main/tests/examplefiles/nasm_objexe.asm +30 -0
data/vendor/pygments-main/tests/examplefiles/nemerle_sample.n +87 -0
data/vendor/pygments-main/tests/examplefiles/nginx_nginx.conf +118 -0
data/vendor/pygments-main/tests/examplefiles/numbers.c +12 -0
data/vendor/pygments-main/tests/examplefiles/objc_example.m +25 -0
data/vendor/pygments-main/tests/examplefiles/objc_example2.m +24 -0
data/vendor/pygments-main/tests/examplefiles/perl_misc +62 -0
data/vendor/pygments-main/tests/examplefiles/perl_perl5db +998 -0
data/vendor/pygments-main/tests/examplefiles/perl_regex-delims +120 -0
data/vendor/pygments-main/tests/examplefiles/perlfunc.1 +856 -0
data/vendor/pygments-main/tests/examplefiles/phpcomplete.vim +567 -0
data/vendor/pygments-main/tests/examplefiles/pleac.in.rb +1223 -0
data/vendor/pygments-main/tests/examplefiles/postgresql_test.txt +47 -0
data/vendor/pygments-main/tests/examplefiles/pppoe.applescript +10 -0
data/vendor/pygments-main/tests/examplefiles/psql_session.txt +122 -0
data/vendor/pygments-main/tests/examplefiles/py3_test.txt +2 -0
data/vendor/pygments-main/tests/examplefiles/pycon_test.pycon +14 -0
data/vendor/pygments-main/tests/examplefiles/pytb_test2.pytb +2 -0
data/vendor/pygments-main/tests/examplefiles/python25-bsd.mak +234 -0
data/vendor/pygments-main/tests/examplefiles/qsort.prolog +13 -0
data/vendor/pygments-main/tests/examplefiles/r-console-transcript.Rout +38 -0
data/vendor/pygments-main/tests/examplefiles/ragel-cpp_rlscan +280 -0
data/vendor/pygments-main/tests/examplefiles/ragel-cpp_snippet +2 -0
data/vendor/pygments-main/tests/examplefiles/regex.js +22 -0
data/vendor/pygments-main/tests/examplefiles/reversi.lsp +427 -0
data/vendor/pygments-main/tests/examplefiles/ruby_func_def.rb +11 -0
data/vendor/pygments-main/tests/examplefiles/scilab.sci +30 -0
data/vendor/pygments-main/tests/examplefiles/sibling.prolog +19 -0
data/vendor/pygments-main/tests/examplefiles/simple.md +747 -0
data/vendor/pygments-main/tests/examplefiles/smarty_example.html +209 -0
data/vendor/pygments-main/tests/examplefiles/source.lgt +343 -0
data/vendor/pygments-main/tests/examplefiles/sources.list +62 -0
data/vendor/pygments-main/tests/examplefiles/sphere.pov +18 -0
data/vendor/pygments-main/tests/examplefiles/sqlite3.sqlite3-console +27 -0
data/vendor/pygments-main/tests/examplefiles/squid.conf +30 -0
data/vendor/pygments-main/tests/examplefiles/string.jl +1031 -0
data/vendor/pygments-main/tests/examplefiles/string_delimiters.d +21 -0
data/vendor/pygments-main/tests/examplefiles/stripheredoc.sh +3 -0
data/vendor/pygments-main/tests/examplefiles/test.R +119 -0
data/vendor/pygments-main/tests/examplefiles/test.adb +211 -0
data/vendor/pygments-main/tests/examplefiles/test.asy +131 -0
data/vendor/pygments-main/tests/examplefiles/test.awk +121 -0
data/vendor/pygments-main/tests/examplefiles/test.bas +29 -0
data/vendor/pygments-main/tests/examplefiles/test.bmx +145 -0
data/vendor/pygments-main/tests/examplefiles/test.boo +39 -0
data/vendor/pygments-main/tests/examplefiles/test.bro +250 -0
data/vendor/pygments-main/tests/examplefiles/test.cs +374 -0
data/vendor/pygments-main/tests/examplefiles/test.css +54 -0
data/vendor/pygments-main/tests/examplefiles/test.d +135 -0
data/vendor/pygments-main/tests/examplefiles/test.dart +23 -0
data/vendor/pygments-main/tests/examplefiles/test.dtd +89 -0
data/vendor/pygments-main/tests/examplefiles/test.ec +605 -0
data/vendor/pygments-main/tests/examplefiles/test.ecl +58 -0
data/vendor/pygments-main/tests/examplefiles/test.eh +315 -0
data/vendor/pygments-main/tests/examplefiles/test.erl +169 -0
data/vendor/pygments-main/tests/examplefiles/test.evoque +33 -0
data/vendor/pygments-main/tests/examplefiles/test.fan +818 -0
data/vendor/pygments-main/tests/examplefiles/test.flx +57 -0
data/vendor/pygments-main/tests/examplefiles/test.gdc +13 -0
data/vendor/pygments-main/tests/examplefiles/test.groovy +97 -0
data/vendor/pygments-main/tests/examplefiles/test.html +339 -0
data/vendor/pygments-main/tests/examplefiles/test.ini +10 -0
data/vendor/pygments-main/tests/examplefiles/test.java +653 -0
data/vendor/pygments-main/tests/examplefiles/test.jsp +24 -0
data/vendor/pygments-main/tests/examplefiles/test.maql +45 -0
data/vendor/pygments-main/tests/examplefiles/test.mod +374 -0
data/vendor/pygments-main/tests/examplefiles/test.moo +51 -0
data/vendor/pygments-main/tests/examplefiles/test.myt +166 -0
data/vendor/pygments-main/tests/examplefiles/test.nim +93 -0
data/vendor/pygments-main/tests/examplefiles/test.pas +743 -0
data/vendor/pygments-main/tests/examplefiles/test.php +505 -0
data/vendor/pygments-main/tests/examplefiles/test.plot +333 -0
data/vendor/pygments-main/tests/examplefiles/test.ps1 +108 -0
data/vendor/pygments-main/tests/examplefiles/test.pypylog +1839 -0
data/vendor/pygments-main/tests/examplefiles/test.r3 +94 -0
data/vendor/pygments-main/tests/examplefiles/test.rb +177 -0
data/vendor/pygments-main/tests/examplefiles/test.rhtml +43 -0
data/vendor/pygments-main/tests/examplefiles/test.scaml +8 -0
data/vendor/pygments-main/tests/examplefiles/test.ssp +12 -0
data/vendor/pygments-main/tests/examplefiles/test.tcsh +830 -0
data/vendor/pygments-main/tests/examplefiles/test.vb +407 -0
data/vendor/pygments-main/tests/examplefiles/test.vhdl +161 -0
data/vendor/pygments-main/tests/examplefiles/test.xqy +138 -0
data/vendor/pygments-main/tests/examplefiles/test.xsl +23 -0
data/vendor/pygments-main/tests/examplefiles/truncated.pytb +15 -0
data/vendor/pygments-main/tests/examplefiles/type.lisp +1202 -0
data/vendor/pygments-main/tests/examplefiles/underscore.coffee +603 -0
data/vendor/pygments-main/tests/examplefiles/unicode.applescript +5 -0
data/vendor/pygments-main/tests/examplefiles/unicodedoc.py +11 -0
data/vendor/pygments-main/tests/examplefiles/webkit-transition.css +3 -0
data/vendor/pygments-main/tests/examplefiles/while.pov +13 -0
data/vendor/pygments-main/tests/examplefiles/wiki.factor +384 -0
data/vendor/pygments-main/tests/examplefiles/xml_example +1897 -0
data/vendor/pygments-main/tests/examplefiles/zmlrpc.f90 +798 -0
data/vendor/pygments-main/tests/old_run.py +138 -0
data/vendor/pygments-main/tests/run.py +48 -0
data/vendor/pygments-main/tests/support.py +15 -0
data/vendor/pygments-main/tests/test_basic_api.py +294 -0
data/vendor/pygments-main/tests/test_clexer.py +31 -0
data/vendor/pygments-main/tests/test_cmdline.py +105 -0
data/vendor/pygments-main/tests/test_examplefiles.py +97 -0
data/vendor/pygments-main/tests/test_html_formatter.py +162 -0
data/vendor/pygments-main/tests/test_latex_formatter.py +55 -0
data/vendor/pygments-main/tests/test_perllexer.py +137 -0
data/vendor/pygments-main/tests/test_regexlexer.py +47 -0
data/vendor/pygments-main/tests/test_token.py +46 -0
data/vendor/pygments-main/tests/test_using_api.py +40 -0
data/vendor/pygments-main/tests/test_util.py +116 -0
data/vendor/simplejson/.gitignore +10 -0
data/vendor/simplejson/.travis.yml +5 -0
data/vendor/simplejson/CHANGES.txt +291 -0
data/vendor/simplejson/LICENSE.txt +19 -0
data/vendor/simplejson/MANIFEST.in +5 -0
data/vendor/simplejson/README.rst +19 -0
data/vendor/simplejson/conf.py +179 -0
data/vendor/simplejson/index.rst +628 -0
data/vendor/simplejson/scripts/make_docs.py +18 -0
data/vendor/simplejson/setup.py +104 -0
data/vendor/simplejson/simplejson/__init__.py +510 -0
data/vendor/simplejson/simplejson/_speedups.c +2745 -0
data/vendor/simplejson/simplejson/decoder.py +425 -0
data/vendor/simplejson/simplejson/encoder.py +567 -0
data/vendor/simplejson/simplejson/ordered_dict.py +119 -0
data/vendor/simplejson/simplejson/scanner.py +77 -0
data/vendor/simplejson/simplejson/tests/__init__.py +67 -0
data/vendor/simplejson/simplejson/tests/test_bigint_as_string.py +55 -0
data/vendor/simplejson/simplejson/tests/test_check_circular.py +30 -0
data/vendor/simplejson/simplejson/tests/test_decimal.py +66 -0
data/vendor/simplejson/simplejson/tests/test_decode.py +83 -0
data/vendor/simplejson/simplejson/tests/test_default.py +9 -0
data/vendor/simplejson/simplejson/tests/test_dump.py +67 -0
data/vendor/simplejson/simplejson/tests/test_encode_basestring_ascii.py +46 -0
data/vendor/simplejson/simplejson/tests/test_encode_for_html.py +32 -0
data/vendor/simplejson/simplejson/tests/test_errors.py +34 -0
data/vendor/simplejson/simplejson/tests/test_fail.py +91 -0
data/vendor/simplejson/simplejson/tests/test_float.py +19 -0
data/vendor/simplejson/simplejson/tests/test_indent.py +86 -0
data/vendor/simplejson/simplejson/tests/test_item_sort_key.py +20 -0
data/vendor/simplejson/simplejson/tests/test_namedtuple.py +121 -0
data/vendor/simplejson/simplejson/tests/test_pass1.py +76 -0
data/vendor/simplejson/simplejson/tests/test_pass2.py +14 -0
data/vendor/simplejson/simplejson/tests/test_pass3.py +20 -0
data/vendor/simplejson/simplejson/tests/test_recursion.py +67 -0
data/vendor/simplejson/simplejson/tests/test_scanstring.py +117 -0
data/vendor/simplejson/simplejson/tests/test_separators.py +42 -0
data/vendor/simplejson/simplejson/tests/test_speedups.py +20 -0
data/vendor/simplejson/simplejson/tests/test_tuple.py +49 -0
data/vendor/simplejson/simplejson/tests/test_unicode.py +109 -0
data/vendor/simplejson/simplejson/tool.py +39 -0
metadata +492 -0

data/vendor/pygments-main/tests/examplefiles/cheetah_example.html ADDED Viewed

@@ -0,0 +1,13 @@
+<html>
+  <head><title>$title</title></head>
+  <body>
+    <table>
+      #for $client in $clients
+      <tr>
+        <td>$client.surname, $client.firstname</td>
+        <td><a href="mailto:$client.email">$client.email</a></td>
+      </tr>
+      #end for
+    </table>
+  </body>
+</html>

data/vendor/pygments-main/tests/examplefiles/classes.dylan ADDED Viewed

@@ -0,0 +1,40 @@
+define class <car> (<object>)
+  slot serial-number :: <integer> = unique-serial-number();
+  slot model-name :: <string>,
+    required-init-keyword: model:;
+  slot has-sunroof? :: <boolean>,
+    init-keyword: sunroof?:,
+    init-value: #f;
+end class <car>;
+define constant $empty-string = "";
+define constant $escaped-backslash = '\\';
+define constant $escaped-single-quote = '\'';
+define variable *unique-serial-number* = 0;
+define function unique-serial-number() => (usn :: <integer>)
+  let serial = *unique-serial-number*;
+  *unique-serial-number* := *unique-serial-number* + 1;
+  serial;
+end function;
+define constant $blue-car = make(<car>, model: "Viper");
+define constant $black-car = make(<car>, model: "Town Car", sunroof?: #t);
+define constant $red-car = make(<car>, model: "F40", sunroof?: #f);
+define method foo() => _ :: <boolean>
+  #t
+end method;
+define method foo() => _ :: <boolean>;
+  #t
+end method;
+define method \+()
+end;
+define constant $symbol = #"hello";
+define variable *vector* = #[3.5, 5]
+define constant $list = #(1, 2);
+define constant $pair = #(1 . "foo")

data/vendor/pygments-main/tests/examplefiles/condensed_ruby.rb ADDED Viewed

@@ -0,0 +1,10 @@
+# Server: ruby p2p.rb password server server-uri merge-servers
+# Sample: ruby p2p.rb foobar server druby://localhost:1337 druby://foo.bar:1337
+# Client: ruby p2p.rb password client server-uri download-pattern
+# Sample: ruby p2p.rb foobar client druby://localhost:1337 *.rb
+require'drb';F,D,C,P,M,U,*O=File,Class,Dir,*ARGV;def s(p)F.split(p[/[^|].*/])[-1
+]end;def c(u);DRbObject.new((),u)end;def x(u)[P,u].hash;end;M=="client"&&c(U).f(
+x(U)).each{|n|p,c=x(n),c(n);(c.f(p,O[0],0).map{|f|s f}-D["*"]).each{|f|F.open(f,
+"w"){|o|o<<c.f(p,f,1)}}}||(DRb.start_service U,C.new{def f(c,a=[],t=2)c==x(U)&&(
+t==0&&D[s(a)]||t==1&&F.read(s(a))||p(a))end;def y()(p(U)+p).each{|u|c(u).f(x(u),
+p(U))rescue()};self;end;private;def p(x=[]);O.push(*x).uniq!;O;end}.new.y;sleep)

data/vendor/pygments-main/tests/examplefiles/coq_RelationClasses ADDED Viewed

@@ -0,0 +1,447 @@
+(* -*- coding: utf-8 -*- *)
+(************************************************************************)
+(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
+(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2011     *)
+(*   \VV/  **************************************************************)
+(*    //   *      This file is distributed under the terms of the       *)
+(*         *       GNU Lesser General Public License Version 2.1        *)
+(************************************************************************)
+(** *  Typeclass-based relations, tactics and standard instances
+   This is the basic theory needed to formalize morphisms and setoids.
+   Author: Matthieu Sozeau
+   Institution: LRI, CNRS UMR 8623 - University Paris Sud
+*)
+(* $Id: RelationClasses.v 14641 2011-11-06 11:59:10Z herbelin $ *)
+Require Export Coq.Classes.Init.
+Require Import Coq.Program.Basics.
+Require Import Coq.Program.Tactics.
+Require Import Coq.Relations.Relation_Definitions.
+(** We allow to unfold the [relation] definition while doing morphism search. *)
+Notation inverse R := (flip (R:relation _) : relation _).
+Definition complement {A} (R : relation A) : relation A := fun x y => R x y -> False.
+(** Opaque for proof-search. *)
+Typeclasses Opaque complement.
+(** These are convertible. *)
+Lemma complement_inverse : forall A (R : relation A), complement (inverse R) = inverse (complement R).
+Proof. reflexivity. Qed.
+(** We rebind relations in separate classes to be able to overload each proof. *)
+Set Implicit Arguments.
+Unset Strict Implicit.
+Class Reflexive {A} (R : relation A) :=
+  reflexivity : forall x, R x x.
+Class Irreflexive {A} (R : relation A) :=
+  irreflexivity : Reflexive (complement R).
+Hint Extern 1 (Reflexive (complement _)) => class_apply @irreflexivity : typeclass_instances.
+Class Symmetric {A} (R : relation A) :=
+  symmetry : forall x y, R x y -> R y x.
+Class Asymmetric {A} (R : relation A) :=
+  asymmetry : forall x y, R x y -> R y x -> False.
+Class Transitive {A} (R : relation A) :=
+  transitivity : forall x y z, R x y -> R y z -> R x z.
+Hint Resolve @irreflexivity : ord.
+Unset Implicit Arguments.
+(** A HintDb for relations. *)
+Ltac solve_relation :=
+  match goal with
+  | [ |- ?R ?x ?x ] => reflexivity
+  | [ H : ?R ?x ?y |- ?R ?y ?x ] => symmetry ; exact H
+  end.
+Hint Extern 4 => solve_relation : relations.
+(** We can already dualize all these properties. *)
+Generalizable Variables A B C D R S T U l eqA eqB eqC eqD.
+Lemma flip_Reflexive `{Reflexive A R} : Reflexive (flip R).
+Proof. tauto. Qed.
+Hint Extern 3 (Reflexive (flip _)) => apply flip_Reflexive : typeclass_instances.
+Program Definition flip_Irreflexive `(Irreflexive A R) : Irreflexive (flip R) :=
+  irreflexivity (R:=R).
+Program Definition flip_Symmetric `(Symmetric A R) : Symmetric (flip R) :=
+  fun x y H => symmetry (R:=R) H.
+Program Definition flip_Asymmetric `(Asymmetric A R) : Asymmetric (flip R) :=
+  fun x y H H' => asymmetry (R:=R) H H'.
+Program Definition flip_Transitive `(Transitive A R) : Transitive (flip R) :=
+  fun x y z H H' => transitivity (R:=R) H' H.
+Hint Extern 3 (Irreflexive (flip _)) => class_apply flip_Irreflexive : typeclass_instances.
+Hint Extern 3 (Symmetric (flip _)) => class_apply flip_Symmetric : typeclass_instances.
+Hint Extern 3 (Asymmetric (flip _)) => class_apply flip_Asymmetric : typeclass_instances.
+Hint Extern 3 (Transitive (flip _)) => class_apply flip_Transitive : typeclass_instances.
+Definition Reflexive_complement_Irreflexive `(Reflexive A (R : relation A))
+   : Irreflexive (complement R).
+Proof. firstorder. Qed.
+Definition complement_Symmetric `(Symmetric A (R : relation A)) : Symmetric (complement R).
+Proof. firstorder. Qed.
+Hint Extern 3 (Symmetric (complement _)) => class_apply complement_Symmetric : typeclass_instances.
+Hint Extern 3 (Irreflexive (complement _)) => class_apply Reflexive_complement_Irreflexive : typeclass_instances.
+(** * Standard instances. *)
+Ltac reduce_hyp H :=
+  match type of H with
+    | context [ _ <-> _ ] => fail 1
+    | _ => red in H ; try reduce_hyp H
+  end.
+Ltac reduce_goal :=
+  match goal with
+    | [ |- _ <-> _ ] => fail 1
+    | _ => red ; intros ; try reduce_goal
+  end.
+Tactic Notation "reduce" "in" hyp(Hid) := reduce_hyp Hid.
+Ltac reduce := reduce_goal.
+Tactic Notation "apply" "*" constr(t) :=
+  first [ refine t | refine (t _) | refine (t _ _) | refine (t _ _ _) | refine (t _ _ _ _) |
+    refine (t _ _ _ _ _) | refine (t _ _ _ _ _ _) | refine (t _ _ _ _ _ _ _) ].
+Ltac simpl_relation :=
+  unfold flip, impl, arrow ; try reduce ; program_simpl ;
+    try ( solve [ intuition ]).
+Local Obligation Tactic := simpl_relation.
+(** Logical implication. *)
+Program Instance impl_Reflexive : Reflexive impl.
+Program Instance impl_Transitive : Transitive impl.
+(** Logical equivalence. *)
+Program Instance iff_Reflexive : Reflexive iff.
+Program Instance iff_Symmetric : Symmetric iff.
+Program Instance iff_Transitive : Transitive iff.
+(** Leibniz equality. *)
+Instance eq_Reflexive {A} : Reflexive (@eq A) := @eq_refl A.
+Instance eq_Symmetric {A} : Symmetric (@eq A) := @eq_sym A.
+Instance eq_Transitive {A} : Transitive (@eq A) := @eq_trans A.
+(** Various combinations of reflexivity, symmetry and transitivity. *)
+(** A [PreOrder] is both Reflexive and Transitive. *)
+Class PreOrder {A} (R : relation A) : Prop := {
+  PreOrder_Reflexive :> Reflexive R ;
+  PreOrder_Transitive :> Transitive R }.
+(** A partial equivalence relation is Symmetric and Transitive. *)
+Class PER {A} (R : relation A) : Prop := {
+  PER_Symmetric :> Symmetric R ;
+  PER_Transitive :> Transitive R }.
+(** Equivalence relations. *)
+Class Equivalence {A} (R : relation A) : Prop := {
+  Equivalence_Reflexive :> Reflexive R ;
+  Equivalence_Symmetric :> Symmetric R ;
+  Equivalence_Transitive :> Transitive R }.
+(** An Equivalence is a PER plus reflexivity. *)
+Instance Equivalence_PER `(Equivalence A R) : PER R | 10 :=
+  { PER_Symmetric := Equivalence_Symmetric ;
+    PER_Transitive := Equivalence_Transitive }.
+(** We can now define antisymmetry w.r.t. an equivalence relation on the carrier. *)
+Class Antisymmetric A eqA `{equ : Equivalence A eqA} (R : relation A) :=
+  antisymmetry : forall {x y}, R x y -> R y x -> eqA x y.
+Program Definition flip_antiSymmetric `(Antisymmetric A eqA R) :
+  Antisymmetric A eqA (flip R).
+Proof. firstorder. Qed.
+(** Leibinz equality [eq] is an equivalence relation.
+   The instance has low priority as it is always applicable
+   if only the type is constrained. *)
+Program Instance eq_equivalence : Equivalence (@eq A) | 10.
+(** Logical equivalence [iff] is an equivalence relation. *)
+Program Instance iff_equivalence : Equivalence iff.
+(** We now develop a generalization of results on relations for arbitrary predicates.
+   The resulting theory can be applied to homogeneous binary relations but also to
+   arbitrary n-ary predicates. *)
+Local Open Scope list_scope.
+(* Notation " [ ] " := nil : list_scope. *)
+(* Notation " [ x ; .. ; y ] " := (cons x .. (cons y nil) ..) (at level 1) : list_scope. *)
+(** A compact representation of non-dependent arities, with the codomain singled-out. *)
+Fixpoint arrows (l : list Type) (r : Type) : Type :=
+  match l with
+    | nil => r
+    | A :: l' => A -> arrows l' r
+  end.
+(** We can define abbreviations for operation and relation types based on [arrows]. *)
+Definition unary_operation A := arrows (A::nil) A.
+Definition binary_operation A := arrows (A::A::nil) A.
+Definition ternary_operation A := arrows (A::A::A::nil) A.
+(** We define n-ary [predicate]s as functions into [Prop]. *)
+Notation predicate l := (arrows l Prop).
+(** Unary predicates, or sets. *)
+Definition unary_predicate A := predicate (A::nil).
+(** Homogeneous binary relations, equivalent to [relation A]. *)
+Definition binary_relation A := predicate (A::A::nil).
+(** We can close a predicate by universal or existential quantification. *)
+Fixpoint predicate_all (l : list Type) : predicate l -> Prop :=
+  match l with
+    | nil => fun f => f
+    | A :: tl => fun f => forall x : A, predicate_all tl (f x)
+  end.
+Fixpoint predicate_exists (l : list Type) : predicate l -> Prop :=
+  match l with
+    | nil => fun f => f
+    | A :: tl => fun f => exists x : A, predicate_exists tl (f x)
+  end.
+(** Pointwise extension of a binary operation on [T] to a binary operation
+   on functions whose codomain is [T].
+   For an operator on [Prop] this lifts the operator to a binary operation. *)
+Fixpoint pointwise_extension {T : Type} (op : binary_operation T)
+  (l : list Type) : binary_operation (arrows l T) :=
+  match l with
+    | nil => fun R R' => op R R'
+    | A :: tl => fun R R' =>
+      fun x => pointwise_extension op tl (R x) (R' x)
+  end.
+(** Pointwise lifting, equivalent to doing [pointwise_extension] and closing using [predicate_all]. *)
+Fixpoint pointwise_lifting (op : binary_relation Prop)  (l : list Type) : binary_relation (predicate l) :=
+  match l with
+    | nil => fun R R' => op R R'
+    | A :: tl => fun R R' =>
+      forall x, pointwise_lifting op tl (R x) (R' x)
+  end.
+(** The n-ary equivalence relation, defined by lifting the 0-ary [iff] relation. *)
+Definition predicate_equivalence {l : list Type} : binary_relation (predicate l) :=
+  pointwise_lifting iff l.
+(** The n-ary implication relation, defined by lifting the 0-ary [impl] relation. *)
+Definition predicate_implication {l : list Type} :=
+  pointwise_lifting impl l.
+(** Notations for pointwise equivalence and implication of predicates. *)
+Infix "<∙>" := predicate_equivalence (at level 95, no associativity) : predicate_scope.
+Infix "-∙>" := predicate_implication (at level 70, right associativity) : predicate_scope.
+Open Local Scope predicate_scope.
+(** The pointwise liftings of conjunction and disjunctions.
+   Note that these are [binary_operation]s, building new relations out of old ones. *)
+Definition predicate_intersection := pointwise_extension and.
+Definition predicate_union := pointwise_extension or.
+Infix "/∙\" := predicate_intersection (at level 80, right associativity) : predicate_scope.
+Infix "\∙/" := predicate_union (at level 85, right associativity) : predicate_scope.
+(** The always [True] and always [False] predicates. *)
+Fixpoint true_predicate {l : list Type} : predicate l :=
+  match l with
+    | nil => True
+    | A :: tl => fun _ => @true_predicate tl
+  end.
+Fixpoint false_predicate {l : list Type} : predicate l :=
+  match l with
+    | nil => False
+    | A :: tl => fun _ => @false_predicate tl
+  end.
+Notation "∙⊤∙" := true_predicate : predicate_scope.
+Notation "∙⊥∙" := false_predicate : predicate_scope.
+(** Predicate equivalence is an equivalence, and predicate implication defines a preorder. *)
+Program Instance predicate_equivalence_equivalence : Equivalence (@predicate_equivalence l).
+  Next Obligation.
+    induction l ; firstorder.
+  Qed.
+  Next Obligation.
+    induction l ; firstorder.
+  Qed.
+  Next Obligation.
+    fold pointwise_lifting.
+    induction l. firstorder.
+    intros. simpl in *. pose (IHl (x x0) (y x0) (z x0)).
+    firstorder.
+  Qed.
+Program Instance predicate_implication_preorder :
+  PreOrder (@predicate_implication l).
+  Next Obligation.
+    induction l ; firstorder.
+  Qed.
+  Next Obligation.
+    induction l. firstorder.
+    unfold predicate_implication in *. simpl in *.
+    intro. pose (IHl (x x0) (y x0) (z x0)). firstorder.
+  Qed.
+(** We define the various operations which define the algebra on binary relations,
+   from the general ones. *)
+Definition relation_equivalence {A : Type} : relation (relation A) :=
+  @predicate_equivalence (_::_::nil).
+Class subrelation {A:Type} (R R' : relation A) : Prop :=
+  is_subrelation : @predicate_implication (A::A::nil) R R'.
+Implicit Arguments subrelation [[A]].
+Definition relation_conjunction {A} (R : relation A) (R' : relation A) : relation A :=
+  @predicate_intersection (A::A::nil) R R'.
+Definition relation_disjunction {A} (R : relation A) (R' : relation A) : relation A :=
+  @predicate_union (A::A::nil) R R'.
+(** Relation equivalence is an equivalence, and subrelation defines a partial order. *)
+Set Automatic Introduction.
+Instance relation_equivalence_equivalence (A : Type) :
+  Equivalence (@relation_equivalence A).
+Proof. exact (@predicate_equivalence_equivalence (A::A::nil)). Qed.
+Instance relation_implication_preorder A : PreOrder (@subrelation A).
+Proof. exact (@predicate_implication_preorder (A::A::nil)). Qed.
+(** *** Partial Order.
+   A partial order is a preorder which is additionally antisymmetric.
+   We give an equivalent definition, up-to an equivalence relation
+   on the carrier. *)
+Class PartialOrder {A} eqA `{equ : Equivalence A eqA} R `{preo : PreOrder A R} :=
+  partial_order_equivalence : relation_equivalence eqA (relation_conjunction R (inverse R)).
+(** The equivalence proof is sufficient for proving that [R] must be a morphism
+   for equivalence (see Morphisms).
+   It is also sufficient to show that [R] is antisymmetric w.r.t. [eqA] *)
+Instance partial_order_antisym `(PartialOrder A eqA R) : ! Antisymmetric A eqA R.
+Proof with auto.
+  reduce_goal.
+  pose proof partial_order_equivalence as poe. do 3 red in poe.
+  apply <- poe. firstorder.
+Qed.
+(** The partial order defined by subrelation and relation equivalence. *)
+Program Instance subrelation_partial_order :
+  ! PartialOrder (relation A) relation_equivalence subrelation.
+  Next Obligation.
+  Proof.
+    unfold relation_equivalence in *. firstorder.
+  Qed.
+Typeclasses Opaque arrows predicate_implication predicate_equivalence
+  relation_equivalence pointwise_lifting.
+(** Rewrite relation on a given support: declares a relation as a rewrite
+   relation for use by the generalized rewriting tactic.
+   It helps choosing if a rewrite should be handled
+   by the generalized or the regular rewriting tactic using leibniz equality.
+   Users can declare an [RewriteRelation A RA] anywhere to declare default
+   relations. This is also done automatically by the [Declare Relation A RA]
+   commands. *)
+Class RewriteRelation {A : Type} (RA : relation A).
+Instance: RewriteRelation impl.
+Instance: RewriteRelation iff.
+Instance: RewriteRelation (@relation_equivalence A).
+(** Any [Equivalence] declared in the context is automatically considered
+   a rewrite relation. *)
+Instance equivalence_rewrite_relation `(Equivalence A eqA) : RewriteRelation eqA.
+(** Strict Order *)
+Class StrictOrder {A : Type} (R : relation A) := {
+  StrictOrder_Irreflexive :> Irreflexive R ;
+  StrictOrder_Transitive :> Transitive R
+}.
+Instance StrictOrder_Asymmetric `(StrictOrder A R) : Asymmetric R.
+Proof. firstorder. Qed.
+(** Inversing a [StrictOrder] gives another [StrictOrder] *)
+Lemma StrictOrder_inverse `(StrictOrder A R) : StrictOrder (inverse R).
+Proof. firstorder. Qed.
+(** Same for [PartialOrder]. *)
+Lemma PreOrder_inverse `(PreOrder A R) : PreOrder (inverse R).
+Proof. firstorder. Qed.
+Hint Extern 3 (StrictOrder (inverse _)) => class_apply StrictOrder_inverse : typeclass_instances.
+Hint Extern 3 (PreOrder (inverse _)) => class_apply PreOrder_inverse : typeclass_instances.
+Lemma PartialOrder_inverse `(PartialOrder A eqA R) : PartialOrder eqA (inverse R).
+Proof. firstorder. Qed.
+Hint Extern 3 (PartialOrder (inverse _)) => class_apply PartialOrder_inverse : typeclass_instances.