marionnet-dev team mailing list archive
-
marionnet-dev team
-
Mailing list archive
-
Message #00950
[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 514: Added several functions in ListExtra and StringExtra, some related to the lexicographic order on ...
------------------------------------------------------------
revno: 514
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: WORKING
timestamp: Tue 2020-05-12 21:15:26 +0000
message:
Added several functions in ListExtra and StringExtra, some related to the lexicographic order on strings or lists (i.e. the order based on prefixes):
val group_by : ('a -> 'b) -> 'a list -> ('b * 'a list) list
val partition : ('a -> 'b) -> 'a list -> ('a list) list
val is_prefix : ?equality:('a -> 'a -> bool) (*(=)*) -> 'a list -> 'a list -> bool
val absorption : ?equality:('a -> 'a -> bool) (*(=)*) -> ('a list) list -> ('a list) list
val is_prefix : string -> string -> bool
val absorption : string list -> string list
modified:
BASE/sugar.ml
BASE/sugar.mli
EXTRA/listExtra.ml
EXTRA/listExtra.mli
EXTRA/stringExtra.ml
EXTRA/stringExtra.mli
SHELL/shell.ml
SHELL/wrapper.ml
STRUCTURES/lazy_perishable.ml
STRUCTURES/lazy_perishable.mli
STRUCTURES/pred.ml
STRUCTURES/pred.mli
WIDGETS/widget.ml
--
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