Merkle_ledger: mv Graphviz_intf to Intf

src/lib/merkle_ledger/dune

@@ -14,7 +14,6 @@
   (:standard -w +a-40..42-44 -warn-error +a-70 -open Core))
  (library_flags -linkall)
  (modules_without_implementation
-   graphviz_intf
    location_intf)
  (libraries
    ;; opam libraries

src/lib/merkle_ledger/graphviz.ml

@@ -1,8 +1,8 @@
 open Core
 open Async
 
-module Make (Inputs : Graphviz_intf.Inputs_intf) :
-  Graphviz_intf.S
+module Make (Inputs : Intf.Graphviz.I) :
+  Intf.Graphviz.S
     with type addr := Inputs.Location.Addr.t
      and type ledger := Inputs.Ledger.t = struct
   open Inputs

src/lib/merkle_ledger/graphviz.mli

@@ -1,6 +1,6 @@
 (** Visualizable_ledger shows a subgraph of a merkle_ledger using Graphviz *)
 
-module Make (Inputs : Graphviz_intf.Inputs_intf) :
-  Graphviz_intf.S
+module Make (Inputs : Intf.Graphviz.I) :
+  Intf.Graphviz.S
     with type addr := Inputs.Location.Addr.t
      and type ledger := Inputs.Ledger.t

src/lib/merkle_ledger/intf.ml

@@ -440,3 +440,35 @@ module Ledger = struct
     end
   end
 end
+
+module Graphviz = struct
+  module type S = sig
+    type addr
+
+    type ledger
+
+    type t
+
+    (* Visualize will enumerate through all edges of a subtree with a
+       initial_address. It will then interpret all of the edges and nodes into an
+       intermediate form that will be easy to write into a dot file *)
+    val visualize : ledger -> initial_address:addr -> t
+
+    (* Write will transform the intermediate form generate by visualize and save
+       the results into a dot file *)
+    val write : path:string -> name:string -> t -> unit Async.Deferred.t
+  end
+
+  module type I = sig
+    include Inputs.Intf
+
+    module Ledger :
+      Ledger.S
+        with module Addr = Location.Addr
+         and module Location = Location
+         and type account_id := Account_id.t
+         and type account_id_set := Account_id.Set.t
+         and type hash := Hash.t
+         and type account := Account.t
+  end
+end