package catala

  1. Overview
  2. Docs
Low-level language for tax code specification

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (11)

Authors

  1. D
    Denis Merigoux

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.3.0.tar.gz
md5=4a2c5495f30d8fc2e3bf977df6e602f9
sha512=8dcc404b6068b9dbd76982ade60d8fba1950fdd0a8a626db17429120483367dce1f51997e96d7b8ee5308f305c3bcbb897ef85336f25e9ef3681f4cb9237f56a

doc/catala.surface/Surface/Parser/index.html

Module Surface.ParserSource

Sourcetype token =
  1. | YEAR
  2. | WITH_V
  3. | WITH
  4. | WE_HAVE
  5. | VERTICAL
  6. | VARIES
  7. | UNDER_CONDITION
  8. | TRUE
  9. | THEN
  10. | THAT
  11. | TEXT
  12. | SUM
  13. | SUCH
  14. | STRUCT
  15. | SEMICOLON
  16. | SCOPE
  17. | RULE
  18. | RSQUARE
  19. | RPAREN
  20. | RBRACKET
  21. | PLUSMONEY
  22. | PLUSDURATION
  23. | PLUSDEC
  24. | PLUSDATE
  25. | PLUS
  26. | PERCENT
  27. | OR
  28. | OF
  29. | NOT_EQUAL
  30. | NOT
  31. | MULTMONEY
  32. | MULTDEC
  33. | MULT
  34. | MONTH
  35. | MONEY_AMOUNT of Runtime.integer * Runtime.integer
  36. | MONEY
  37. | MINUSMONEY
  38. | MINUSDURATION
  39. | MINUSDEC
  40. | MINUSDATE
  41. | MINUS
  42. | MINIMUM
  43. | MAXIMUM
  44. | MATCH
  45. | MASTER_FILE
  46. | MAP
  47. | LSQUARE
  48. | LPAREN
  49. | LESSER_MONEY
  50. | LESSER_EQUAL_MONEY
  51. | LESSER_EQUAL_DURATION
  52. | LESSER_EQUAL_DEC
  53. | LESSER_EQUAL_DATE
  54. | LESSER_EQUAL
  55. | LESSER_DURATION
  56. | LESSER_DEC
  57. | LESSER_DATE
  58. | LESSER
  59. | LBRACKET
  60. | LAW_TEXT of string
  61. | LAW_INCLUDE of Ast.law_include
  62. | LAW_HEADING of string * int
  63. | LAW_ARTICLE of string * string option * string option * int
  64. | LABEL
  65. | INT_TO_DEC
  66. | INT_LITERAL of Runtime.integer
  67. | INTEGER
  68. | INIT
  69. | INCREASING
  70. | IN
  71. | IF
  72. | IDENT of string
  73. | GREATER_MONEY
  74. | GREATER_EQUAL_MONEY
  75. | GREATER_EQUAL_DURATION
  76. | GREATER_EQUAL_DEC
  77. | GREATER_EQUAL_DATE
  78. | GREATER_EQUAL
  79. | GREATER_DURATION
  80. | GREATER_DEC
  81. | GREATER_DATE
  82. | GREATER
  83. | GET_YEAR
  84. | GET_MONTH
  85. | GET_DAY
  86. | FOR
  87. | FIXED
  88. | FILTER
  89. | FILLED
  90. | FALSE
  91. | EXISTS
  92. | EXCEPTION
  93. | EQUAL
  94. | EOF
  95. | ENUM
  96. | END_METADATA
  97. | END_CODE of string
  98. | ELSE
  99. | DURATION
  100. | DOT
  101. | DIVMONEY
  102. | DIVDEC
  103. | DIV
  104. | DEPENDS
  105. | DEFINITION
  106. | DEFINED_AS
  107. | DECREASING
  108. | DECLARATION
  109. | DECIMAL_LITERAL of Runtime.integer * Runtime.integer
  110. | DECIMAL
  111. | DAY
  112. | DATE
  113. | DATA
  114. | CONTEXT
  115. | CONTENT
  116. | CONSTRUCTOR of string
  117. | CONSEQUENCE
  118. | CONDITION
  119. | COLON
  120. | COLLECTION
  121. | CARDINAL
  122. | BY
  123. | BOOLEAN
  124. | BEGIN_METADATA
  125. | BEGIN_CODE
  126. | ASSERTION
  127. | AND
  128. | ALT
  129. | ALL
Sourceexception Error
Sourceval source_file_or_master : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.source_file_or_master
Sourcemodule MenhirInterpreter : sig ... end
Sourcemodule Incremental : sig ... end