marionnet-dev team mailing list archive

[noreply@xxxxxxxxxxxxx]

------------------------------------------------------------
revno: 543
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Tue 2020-06-23 20:18:19 +0000
message:
  In module Directory_tree, added the possibility to redefine operations on "files" making products (times) or extracting projections (split, fst, snd). By default these values are taken by the module (File: ZIPPED_FUNCTOR) argument of the functor MAKE. So, the new interface of multiplicative tools is:
       val times     : ?file_zip   :('x File.t * 'y File.t -> ('x * 'y) File.t) -> (**) ('a,'x) t -> ('a,'y) t -> ('a, 'x * 'y) t
       val split     : ?file_unzip :(('x * 'y) File.t -> 'x File.t * 'y File.t) -> (**) ('a, 'x * 'y) t -> ('a,'x) t * ('a,'y) t
       val fst       : ?file_fst   :(('x * 'y) File.t -> 'x File.t)             -> (**) ('a, 'x * 'y) t -> ('a,'x) t
       val snd       : ?file_snd   :(('x * 'y) File.t -> 'y File.t)             -> (**) ('a, 'x * 'y) t -> ('a,'y) t
modified:
  STRUCTURES/directory_tree.ml
  STRUCTURES/directory_tree.mli


--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk

Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription