package catala

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

dune-project

Dependency

md5=2615968670ac21b1d00386a9b04b3843

sha512=eff292fdd75012f26ce7b17020f5a8374eef37cd4dd6ba60338dfbe89fbcad3443d1b409e44c182b740da9f58dff7e76dcb8ddefe47f9b2b160666d1c6930143

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