package catala
Compiler and library for the literate programming language for tax code specification
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.0.0-alpha.tar.gz
md5=2615968670ac21b1d00386a9b04b3843
sha512=eff292fdd75012f26ce7b17020f5a8374eef37cd4dd6ba60338dfbe89fbcad3443d1b409e44c182b740da9f58dff7e76dcb8ddefe47f9b2b160666d1c6930143
doc/catala.shared_ast/Shared_ast/Print/index.html
Module Shared_ast.Print
Source
Printing functions for the default calculus AST
Common syntax highlighting helpers
The argument is assumed to be 1-column wide (but can be a multi-char utf8 character)
Some basic stringifiers
Prints the operator symbols with kind suffixes, as expected by the OCaml backend (e.g. "+^", "+$", etc.)
Formatters
Source
val external_ref :
Format.formatter ->
Shared_ast__.Definitions.external_ref Catala_utils.Mark.pos ->
unit
Source
val typ :
Format.formatter ->
Shared_ast__.Definitions.naked_typ Catala_utils.Mark.pos ->
unit
Source
val expr :
?debug:bool ->
unit ->
Format.formatter ->
(('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed ->
unit
Expression printer.
Source
val s_expr :
Format.formatter ->
((_, _, _) Shared_ast__.Definitions.base_gexpr,
_ Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed ->
unit
S-expression printer for all AST nodes.
Generic expression printer interface
Source
val scope :
?debug:bool ->
Format.formatter ->
(string
* (('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed
Shared_ast__.Definitions.scope_body) ->
unit
Source
val program :
?debug:bool ->
Format.formatter ->
(('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed
Shared_ast__.Definitions.program ->
unit
User-facing, localised printer
/
Source
val skip_wrappers :
(('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed ->
(('a, 'a, 'm) Shared_ast__.Definitions.base_gexpr,
'm Shared_ast__.Definitions.mark)
Catala_utils.Mark.ed
This is exported from Expr
, but first defined here for dependency reasons
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page