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=ec7dda88c5f7f371d2a35874cdae2a10

sha512=7cedccfbe5330992d5730441d6ba7b97446237ff5bb4579498a167f2319ec03e8fae50b7f80e3abe96833744b61ffd10719ce0c3e4c144893a4b7adc77e91b56

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.AbstractType.Set.t ->
  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