package catala

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
OCaml

Innovation. Community. Security.