Split brought to the personoj tool

proofs/psnj_toolbox/bin/dune

 (executable
  (public_name psnj)
  (name main)
- (modules main dopth chainprops appaxiom autosolve qfo)
+ (modules main dopth chainprops appaxiom autosolve qfo split)
  (libraries
+  ezjsonm
   personoj
   personoj.qfo
   cmdliner

proofs/psnj_toolbox/bin/main.ml

@@ -5,5 +5,7 @@ let default_cmd =
   let exits = Term.default_exits in
   (Term.(ret @@ const @@ `Help (`Pager, None)), Term.info "psnj" ~doc ~exits)
 
-let cmds = [ Dopth.cmd; Chainprops.cmd; Appaxiom.cmd; Autosolve.cmd; Qfo.cmd ]
+let cmds =
+  [ Dopth.cmd; Chainprops.cmd; Appaxiom.cmd; Autosolve.cmd; Qfo.cmd; Split.cmd ]
+
 let () = Term.(exit @@ eval_choice default_cmd cmds)

proofs/psnj_toolbox/bin/split.ml

+let split prefix =
+  try
+    while true do
+      let line = input_line stdin in
+      let json = Ezjsonm.from_string line in
+      let name = Ezjsonm.(find json [ "name" ] |> get_string) in
+      let fname = String.concat "_" [ prefix; name ] in
+      let oc = open_out fname in
+      at_exit (fun () -> close_out oc);
+      output_string oc line;
+      output_char oc '\n'
+    done
+  with End_of_file -> ()
+
+open Cmdliner
+
+let prefix =
+  let doc = "Prepend file names with string $(docv)" in
+  Arg.(value & opt string "" & info [ "p" ] ~doc ~docv:"STR")
+
+let cmd =
+  let exits = Term.default_exits in
+  let doc = "Split a list of JSON objects across multiple files" in
+  let man =
+    [
+      `S Manpage.s_description;
+      `P
+        "$(tname) reads a newline-seprated list of json objects on its \
+         standard input and copies each object to a file $(i,pr)_$(i,n).json \
+         where $(i,n) is the value associated to the (json) name $(b,name) and \
+         $(i,pr) is a chosen prefix.";
+      `S Manpage.s_examples;
+      `P "Faced with input";
+      `Pre
+        {|{ "name": "foo", "bar": "lorem ipsum dolor" }
+{ "name": "bar", "bar": "dolor sit amet" }
+{ "name": "foo", "bar": "consectetur" }|};
+      `P "$(tname) -p frobnify produces two files: $(b,frobnify_foo.json) with";
+      `Pre
+        {|{ "name": "foo", "bar": "lorem ipsum dolor" }
+{ "name": "foo", "bar": "consectetur" }|};
+      `P "and a file $(b,frobnify_bar.json) with";
+      `Pre {|{ "name": "bar", "bar": "dolor sit amet" }|};
+    ]
+  in
+  (Term.(const split $ prefix), Term.info "jsplit" ~doc ~exits ~man)

proofs/psnj_toolbox/dune-project

@@ -7,4 +7,4 @@
 (package
  (name personoj)
  (synopsis "todo")
- (depends cmdliner angstrom lambdapi))
+ (depends cmdliner angstrom ezjsonm lambdapi))

proofs/psnj_toolbox/personoj.opam

@@ -5,6 +5,7 @@ depends: [
   "dune" {>= "2.9"}
   "cmdliner"
   "angstrom"
+  "ezjsonm"
   "lambdapi"
   "odoc" {with-doc}
 ]

proofs/psnj_toolbox/test/jsplit/dune

+(cram
+ (deps input.json))

proofs/psnj_toolbox/test/jsplit/input.json

+{ "name": "foo", "attr": "baz"   }
+{ "name": "bar", "attr": "frobz" }
+{ "name": "foo", "attr": "nitz"  }

proofs/psnj_toolbox/test/jsplit/jsplit.t

+  $ psnj jsplit -p ff < input.json; find . -type f -printf "\n%p\n" -exec cat {} \;
+  
+  ./ff_bar
+  { "name": "bar", "attr": "frobz" }
+  
+  ./ff_foo
+  { "name": "foo", "attr": "baz"   }