package catala

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Compiler and library for the literate programming language for tax code specification

Install

dune-project

Dependency

md5=42196e9a9c5e12839b38cb3da935f10c

sha512=ede2d8c17dcb936c1c8c596f1453bf89370a2f824a190efe74e438d7d7f7f83875c1ecbc18219c6a8a3e98b3ab4da1c3a6cc4e534687dbc90f3dca8230f43f7b

Graph representation of the dependencies between scopes in the Catala program. Vertices are functions, x -> y if x is used in the definition of y.

Sourcetype vertex =

module SDependencies : 
  Graph.Sig.P with type V.t = vertex and type E.label = Catala_utils.Pos.t

On the edges, the label is the expression responsible for the use of the function

Sourceval build_program_dep_graph : 'm Ast.program -> SDependencies.t

Sourceval check_for_cycle_in_defs : SDependencies.t -> unit

Sourceval get_defs_ordering : SDependencies.t -> vertex list

Sourceval inter_scope_dependencies_graph_to_json : SDependencies.t -> Yojson.Safe.t

module TDependencies : 
  Graph.Sig.P
    with type V.t = Shared_ast.TypeIdent.t
     and type E.label = Catala_utils.Pos.t

On the edges, the label is the expression responsible for the use of the function

Sourceval get_structs_or_enums_in_type : Shared_ast.typ -> Shared_ast.TypeIdent.Set.t

val build_type_graph : 
  Shared_ast.struct_ctx ->
  Shared_ast.enum_ctx ->
  TDependencies.t

val check_type_cycles : 
  Shared_ast.struct_ctx ->
  Shared_ast.enum_ctx ->
  Shared_ast.TypeIdent.t list

Sourceval type_dependencies_graph_to_json : TDependencies.t -> Yojson.Safe.t

On This Page