package ocaml-protoc
Pure OCaml compiler for .proto files
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-protoc-3.0.2.tbz
sha256=eb3ca953610cc0766b2a89dcb201d49372949458b7d3cb826e15a5ab35205fec
sha512=8db991f12d3a02f226fb7cf3e99ca02d907497d8b4f48f1393d396594868e25a9fa0e4a3e73322bda8d65e690754b73d2523abf8236e47b77fc0c059f2244e3a
doc/ocaml-protoc.compiler-lib/Ocaml_protoc_compiler_lib/Pb_typing_recursion/index.html
Module Ocaml_protoc_compiler_lib.Pb_typing_recursionSource
Mutually recursive type resolution
The protobuf syntax allows the definition of mutually recursive types, however this declaration is implicit (ie no dedicated syntax to group together types which are mutually recursive).
OCaml requires mutually recursive types to be defined with an explicit syntax (using the and keyword), therefore it is necessary to find all the mutually recursive protobuf types.
This module performs the recursion analysis using the Tarjan graph algorithm to find all the Strongly Connnected Components.
Source
val group :
Pb_field_type.resolved Tt.proto_type list ->
Pb_field_type.resolved Tt.proto_type list listgroup types returns the list of all the mutually recursive group of types in reverse order of dependency. In other the last group of types of the returned list don't depend on any other types.