package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Desugared.DependencySource

Scope dependencies computations using OCamlgraph

Sourcemodule Pos = Utils.Pos
Sourcemodule Errors = Utils.Errors

Graph declaration

Sourcemodule Vertex : sig ... end

Vertices: scope variables or subscopes.

Sourcemodule Edge : sig ... end

On the edges, the label is the position of the expression responsible for the use of the variable. In the graph, x -> y if x is used in the definition of y.

Sourcemodule ScopeDependencies : sig ... end

Module of the graph, provided by OCamlGraph

Sourcemodule TopologicalTraversal : sig ... end

Module of the topological traversal of the graph, provided by OCamlGraph

Sourcemodule SCC : sig ... end

Tarjan's stongly connected components algorithm, provided by OCamlGraph

Graph computations

Sourceval correct_computation_ordering : ScopeDependencies.t -> Vertex.t list

Returns an ordering of the scope variables and subscope compatible with the dependencies of the computation

Sourceval check_for_cycle : Ast.scope -> ScopeDependencies.t -> unit

Outputs an error in case of cycles.

Sourceval build_scope_dependencies : Ast.scope -> ScopeDependencies.t

Builds the dependency graph of a particular scope

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct