simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 11:15:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

[CCHeap] delete_once -> delete_one

Browse source
This commit is contained in:
Fardale 2018-01-28 12:39:44 +01:00
parent 8ac62ca04b
commit 8c2cb3f244
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/core/CCHeap.ml
View file

@ -118,9 +118,9 @@ module type S = sig
(** Same as {!take}, but can fail.
@raise Empty if the heap is empty *)
val delete_once : (elt -> elt -> bool) -> elt -> t -> t
val delete_one : (elt -> elt -> bool) -> elt -> t -> t
(** Delete one occurence of a value if it exist in the heap.
[delete_once eq x h], use [eq] to find one [x] in [h] and delete it.
[delete_one eq x h], use [eq] to find one [x] in [h] and delete it.
If [h] do not contain [x] then it return [h]. *)
val delete_all : (elt -> elt -> bool) -> elt -> t -> t
@ -255,7 +255,7 @@ module Make(E : PARTIAL_ORD) : S with type elt = E.t = struct
| E -> raise Empty
| N (_, x, l, r) -> merge l r, x
let delete_once eq x h =
let delete_one eq x h =
let rec aux = function
| E -> false, E
| N(_, y, l, r) as h -> begin

4
src/core/CCHeap.mli
View file

@ -55,9 +55,9 @@ module type S = sig
(** Same as {!take}, but can fail.
@raise Empty if the heap is empty *)
val delete_once : (elt -> elt -> bool) -> elt -> t -> t
val delete_one : (elt -> elt -> bool) -> elt -> t -> t
(** Delete one occurence of a value if it exist in the heap.
[delete_once eq x h], use [eq] to find one [x] in [h] and delete it.
[delete_one eq x h], use [eq] to find one [x] in [h] and delete it.
If [h] do not contain [x] then it return [h].
@since NEXT_RELEASE *)