package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.9.0.tar.gz
md5=8f891209d18b6540df9c34b2d1a6a783
sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2
doc/src/catala.literate/pygment_lexers.ml.html
Source file pygment_lexers.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
(* Generated by: ocaml-crunch Creation date: Mon, 9 Jun 2025 07:17:13 GMT *) module Internal = struct let d_2a5391cc14b27a41d17f55351fff261c = " (u'(.)', bygroups(Generic.Heading)),\n ('(\\n|\\r|\\r\\n)', Text),\n ('.', Text),\n ]\n }\n\n" let d_33557966ab956284b130c4778dda8cc3 = "from pygments.lexer import RegexLexer, bygroups\nfrom pygments.token import *\n\nimport re\n\n__all__=['CustomLexer']\n\nclass CustomLexer(RegexLexer):\n name = 'CatalaPl'\n aliases = ['catala_pl']\n filenames = ['*.catala_pl']\n flags = re.MULTILINE | re.UNICODE\n\n tokens = {\n 'root' : [\n (u'(^\\s*[\\#]+)', bygroups(Generic.Heading), 'main__1'),\n (u'(^\\s*[\\#]+\\s*\\[[^\\]]\\s*])', bygroups(Generic.Heading), 'main__2'),\n (u'([^`\\\\n\\\\r])', bygroups(Text)),\n (u'(```catala-metadata)', bygroups(Text), 'code'),\n (u'(```catala)', bygroups(Text), 'code'),\n ('(\\n|\\r|\\r\\n)', Text),\n ('.', Text),\n ],\n 'code' : [\n (u'(```)', bygroups(Text), 'root'),\n (u'(\\\\s*\\\\#.*$)', bygroups(Comment.Single)),\n (u'(kontekst|wej\\u015bcie|wyj\\u015bcie|wewn\\u0119trzny)(\\\\s*)(|wyj\\u015bcie)(\\\\s+)([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)', bygroups(Keyword.Declaration, Text, Keyword.Declaration, Text, Name.Variable)),\n (u'\\\\b(pasuje|ze\\\\s+wzorem|staloprzecinkowa|przez|malejacy|rosnacy|rozna|wraz z|mamy|w|takich ze|istnieje|dla|wszystkie|z|jezeli|wtedy|inaczej|poczatkowy)\\\\b', bygroups(Keyword.Reserved)),\n (u'\\\\b(zakres|zalezy\\\\s+od|deklaracja|kolekcja|typu|opcjonalny|struktura|enumeracja|kontekst|wej\\u015bcie|wyj\\u015bcie|wewn\\u0119trzny|zasada|pod\\\\s+warunkuem|czas|konsekwencja|spelnione|wynosi|asercja|definicja|stan|etykieta|wyj\\u0105tek|cokolwiek)\\\\b', bygroups(Keyword.Declaration)),\n (u'(\\\\|[0-9]+\\\\-[0-9]+\\\\-[0-9]+\\\\|)', bygroups(Number.Integer)),\n (u'\\\\b(prawda|falsz)\\\\b', bygroups(Keyword.Constant)),\n (u'\\\\b([0-9]+(,[0-9]*|))\\\\b', bygroups(Number.Integer)),\n (u'(\\\\-\\\\-|\\\\;|\\\\.|\\\\,|\\\\:|\\\\(|\\\\)|\\\\[|\\\\]|\\\\{|\\\\})', bygroups(Operator)),\n (u'(\\\\-\\\\>|\\\\+\\\\.|\\\\+\\\\@|\\\\+\\\\^|\\\\+\\\\$|\\\\+|\\\\-\\\\.|\\\\-\\\\@|\\\\-\\\\^|\\\\-\\\\$|\\\\-|\\\\*\\\\.|\\\\*\\\\@|\\\\*\\\\^|\\\\*\\\\$|\\\\*|/\\\\.|/\\\\@|/\\\\^|/\\\\$|/|\\\\!|>\\\\.|>=\\\\.|<=\\\\.|<\\\\.|>\\\\@|>=\\\\@|<=\\\\@|<\\\\@|>\\\\$|>=\\\\$|<=\\\\$|<\\\\$|>\\\\^|>=\\\\^|<=\\\\^|<\\\\^|>|>=|<=|<|=|nie|lub|xor|i|\\\\$|%|rok|miesiac|dzien)', bygroups(Operator)),\n (u'\\\\b(calkowita|zerojedynkowy|czas|czas trwania|pieni\196\133dze|warunek|tekst|dziesi\\u0119tny|suma)\\\\b', bygroups(Keyword.Type)),\n (u'\\\\b([A-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u0179][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)(\\\\.)([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)\\\\b', bygroups(Name.Class, Operator, Name.Variable)),\n (u'\\\\b([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)(\\\\.)([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\'\\\\.]*)\\\\b', bygroups(Name.Variable, Operator, Text)),\n (u'\\\\b([a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017a][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)\\\\b', bygroups(Name.Variable)),\n (u'\\\\b([A-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u0179][a-z\\u0105\\u0107\\u0119\\u0142\\u0144\\xf3\\u015b\\u017c\\u017aA-Z\\u0104\\u0106\\u0118\\u0141\\u0143\\xd3\\u015a\\u017b\\u01790-9_\\\\\\']*)\\\\b', bygroups(Name.Class)),\n ('(\\n|\\r|\\r\\n)', Text),\n ('.', Text),\n ],\n 'main__1': [\n (u'(\\n)', bygroups(Generic.Heading), 'root'),\n (u'(.)', bygroups(Generic.Heading)),\n ('(\\n|\\r|\\r\\n)', Text),\n ('.', Text),\n ],\n 'main__2': [\n (u'(\\n)', bygroups(Generic.Heading), 'root'),\n " let d_62187416aeb46a611c06af8a0b0d4a7f = "from pygments.lexer import RegexLexer, bygroups\nfrom pygments.token import *\n\nimport re\n\n__all__=['CustomLexer']\n\nclass CustomLexer(RegexLexer):\n name = 'CatalaEn'\n aliases = ['catala_en']\n filenames = ['*.catala_en']\n flags = re.MULTILINE | re.UNICODE\n\n tokens = {\n 'root' : [\n (u'(^\\\\s*[\\\\#]+.*)', bygroups(Generic.Heading)),\n (u'(^\\\\s*[\\\\#]+\\\\s*\\\\[[^\\\\]\\\\n\\\\r]\\\\s*].*)', bygroups(Generic.Heading)),\n (u'([^`\\\\n\\\\r])', bygroups(String)),\n (u'(^```catala$)', bygroups(String), 'code'),\n (u'(^```catala-metadata$)', bygroups(String), 'code'),\n (u'(^```catala-test-inline$)', bygroups(String), 'test'),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ], \n 'code' : [\n (u'(^```$)', bygroups(String), 'root'),\n (u'(\\\\s*\\\\#.*$)', bygroups(Comment.Single)),\n (u'(context|input|output|internal)(\\\\s*)(|output)(\\\\s+)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)', bygroups(Keyword.Declaration, String, Keyword.Declaration, String, Name.Variable)),\n (u'\\\\b(match|with\\\\s+pattern|fixed|by|decreasing|increasing|varies|with|we\\\\s+have|let|in|scope|depends\\\\s+on|declaration|includes|content|rule|under\\\\s+condition|condition|data|consequence|fulfilled|equals|assertion|definition|state|label|exception)\\\\b', bygroups(Keyword.Reserved)),\n (u'\\\\b(contains|number|sum|such\\\\s+that|exists|for|all|of|if|then|else|is|list\\\\s+empty|among|maximum|minimum|round)\\\\b', bygroups(Keyword.Declaration)),\n (u'(\\\\|[0-9]+\\\\-[0-9]+\\\\-[0-9]+\\\\|)', bygroups(Number.Integer)),\n (u'\\\\b(true|false)\\\\b', bygroups(Keyword.Constant)),\n (u'\\\\b([0-9]+(,[0-9]*|))\\\\b', bygroups(Number.Integer)),\n (u'(\\\\-\\\\-|\\\\;|\\\\.|\\\\,|\\\\:|\\\\(|\\\\)|\\\\[|\\\\]|\\\\{|\\\\})', bygroups(Operator)),\n (u'(\\\\-\\\\>|\\\\+\\\\.|\\\\+\\\\@|\\\\+\\\\^|\\\\+\\\\$|\\\\+|\\\\-\\\\.|\\\\-\\\\@|\\\\-\\\\^|\\\\-\\\\$|\\\\-|\\\\*\\\\.|\\\\*\\\\@|\\\\*\\\\^|\\\\*\\\\$|\\\\*|/\\\\.|/\\\\@|/\\\\$|/|\\\\!|>\\\\.|>=\\\\.|<=\\\\.|<\\\\.|>\\\\@|>=\\\\@|<=\\\\@|<\\\\@|>\\\\$|>=\\\\$|<=\\\\$|<\\\\$|>\\\\^|>=\\\\^|<=\\\\^|<\\\\^|>|>=|<=|<|=|not|or|xor|and|\\\\$|\\u20ac|%|year|month|day)', bygroups(Operator)),\n (u'\\\\b(structure|enumeration|list\\\\s+of|integer|boolean|date|duration|money|text|decimal)\\\\b', bygroups(Keyword.Type)),\n (u'\\\\b([A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)(\\\\.)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Class, Operator, Name.Variable)),\n (u'\\\\b([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)(\\\\.)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\'\\\\.]*)\\\\b', bygroups(Name.Variable, Operator, String)),\n (u'\\\\b([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Variable)),\n (u'\\\\b([A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Class)),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ], \n 'test' : [\n (u'(^```$)', bygroups(String), 'root'),\n (u'(^[$] catala \\\\S*)', bygroups(Keyword.Constant)),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ]\n }\n" let d_cb40ca1fcb6595be22ee20cf20d5fbab = "from pygments.lexer import RegexLexer, bygroups\nfrom pygments.token import *\n\nimport re\n\n__all__=['CustomLexer']\n\nclass CustomLexer(RegexLexer):\n name = 'CatalaFr'\n aliases = ['catala_fr']\n filenames = ['*.catala_fr']\n flags = re.MULTILINE | re.UNICODE\n\n tokens = {\n 'root' : [\n (u'(^\\\\s*[\\\\#]+.*)', bygroups(Generic.Heading)),\n (u'(^\\\\s*[\\\\#]+\\\\s*\\\\[[^\\\\]\\\\n\\\\r]\\\\s*].*)', bygroups(Generic.Heading)),\n (u'([^`\\\\n\\\\r])', bygroups(String)),\n (u'(^```catala$)', bygroups(String), 'code'),\n (u'(^```catala-metadata$)', bygroups(String), 'code'),\n (u'(^```catala-test-inline$)', bygroups(String), 'test'),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ], \n 'code' : [\n (u'(^```$)', bygroups(String), 'root'),\n (u'(\\\\s*\\\\#.*$)', bygroups(Comment.Single)),\n (u'(contexte|entr\\xe9e|r\\xe9sultat|interne)(\\\\s*)(|r\\xe9sultat)(\\\\s+)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)', bygroups(Keyword.Declaration, String, Keyword.Declaration, String, Name.Variable)),\n (u'\\\\b(selon|sous\\\\s+forme|fix\\xe9|par|d\\xe9croissante|croissante|varie|avec|on\\\\s+a|soit|dans|champ\\\\s+d\\'application|d\\xe9pend\\\\s+de|d\\xe9claration|inclusion|contenu|r\\xe8gle|sous\\\\s+condition|condition|donn\\xe9e|cons\\xe9quence|rempli|\\xe9gal\\\\s+\\xe0|assertion|d\\xe9finition|\\xe9tat|\\xe9tiquette|exception)\\\\b', bygroups(Keyword.Reserved)),\n (u'\\\\b(contient|nombre|somme|tel\\\\s+que|existe|pour|tout|de|si|alors|sinon|est|liste\\\\s+vide|parmi|maximum|minimum|arrondi)\\\\b', bygroups(Keyword.Declaration)),\n (u'(\\\\|[0-9]+\\\\-[0-9]+\\\\-[0-9]+\\\\|)', bygroups(Number.Integer)),\n (u'\\\\b(vrai|faux)\\\\b', bygroups(Keyword.Constant)),\n (u'\\\\b([0-9]+(,[0-9]*|))\\\\b', bygroups(Number.Integer)),\n (u'(\\\\-\\\\-|\\\\;|\\\\.|\\\\,|\\\\:|\\\\(|\\\\)|\\\\[|\\\\]|\\\\{|\\\\})', bygroups(Operator)),\n (u'(\\\\-\\\\>|\\\\+\\\\.|\\\\+\\\\@|\\\\+\\\\^|\\\\+\\u20ac|\\\\+|\\\\-\\\\.|\\\\-\\\\@|\\\\-\\\\^|\\\\-\\u20ac|\\\\-|\\\\*\\\\.|\\\\*\\\\@|\\\\*\\\\^|\\\\*\\u20ac|\\\\*|/\\\\.|/\\\\@|/\\u20ac|/|\\\\!|>\\\\.|>=\\\\.|<=\\\\.|<\\\\.|>\\\\@|>=\\\\@|<=\\\\@|<\\\\@|>\\u20ac|>=\\u20ac|<=\\u20ac|<\\u20ac|>\\\\^|>=\\\\^|<=\\\\^|<\\\\^|>|>=|<=|<|=|\\u20ac|%)', bygroups(Operator)),\n (u'\\\\b(non|ou\\\\s+bien|ou|et|an|mois|jour)\\\\b', bygroups(Operator)),\n (u'\\\\b(structure|\\xe9num\\xe9ration|liste\\\\s+de|entier|bool\\xe9en|date|dur\\xe9e|argent|texte|d\\xe9cimal|d\\xe9cret|loi|nombre|somme)\\\\b', bygroups(Keyword.Type)),\n (u'\\\\b([A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)(\\\\.)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Class, Operator, Name.Variable)),\n (u'\\\\b([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)(\\\\.)([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\'\\\\.]*)\\\\b', bygroups(Name.Variable, Operator, String)),\n (u'\\\\b([a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Variable)),\n (u'\\\\b([A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc7][a-z\\xe9\\xe8\\xe0\\xe2\\xf9\\xee\\xf4\\xea\\u0153\\xe7A-Z\\xc9\\xc8\\xc0\\xc2\\xd9\\xce\\xd4\\xca\\u0152\\xc70-9_\\\\\\']*)\\\\b', bygroups(Name.Class)),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ], \n 'test' : [\n (u'(^```$)', bygroups(String), 'root'),\n (u'(^[$] catala \\\\S*)', bygroups(Keyword.Constant)),\n ('(\\n|\\r|\\r\\n)', String),\n ('.', String),\n ]\n }\n" let file_chunks = function | "lexer_en.py" | "/lexer_en.py" -> Some [ d_62187416aeb46a611c06af8a0b0d4a7f; ] | "lexer_fr.py" | "/lexer_fr.py" -> Some [ d_cb40ca1fcb6595be22ee20cf20d5fbab; ] | "lexer_pl.py" | "/lexer_pl.py" -> Some [ d_33557966ab956284b130c4778dda8cc3; d_2a5391cc14b27a41d17f55351fff261c; ] | _ -> None let file_list = [ "lexer_en.py"; "lexer_fr.py"; "lexer_pl.py"; ] end let file_list = Internal.file_list let read name = match Internal.file_chunks name with | None -> None | Some c -> Some (String.concat "" c) let hash = function | "lexer_en.py" | "/lexer_en.py" -> Some "62187416aeb46a611c06af8a0b0d4a7f" | "lexer_fr.py" | "/lexer_fr.py" -> Some "cb40ca1fcb6595be22ee20cf20d5fbab" | "lexer_pl.py" | "/lexer_pl.py" -> Some "35bc560aab2202611043ab5ce17682b3" | _ -> None let size = function | "lexer_en.py" | "/lexer_en.py" -> Some 3759 | "lexer_fr.py" | "/lexer_fr.py" -> Some 4032 | "lexer_pl.py" | "/lexer_pl.py" -> Some 4218 | _ -> None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>