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

more general types for CCArray.{for_all2,exists2}

Browse source
This commit is contained in:
Simon Cruanes 2016-10-13 10:04:23 +02:00
parent a99720945b
commit 53030c4c29
2 changed files with 12 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/core/CCArray.ml
View file

@ -94,15 +94,17 @@ module type S = sig
val for_all : ('a -> bool) -> 'a t -> bool
val for_all2 : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val for_all2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
(** Forall on pairs of arrays.
@raise Invalid_argument if they have distinct lengths *)
@raise Invalid_argument if they have distinct lengths
allow different types @since NEXT_RELEASE *)
val exists : ('a -> bool) -> 'a t -> bool
val exists2 : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val exists2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
(** Exists on pairs of arrays.
@raise Invalid_argument if they have distinct lengths *)
@raise Invalid_argument if they have distinct lengths
allow different types @since NEXT_RELEASE *)
val shuffle : 'a t -> unit
(** shuffle randomly the array, in place *)

10
src/core/CCArray.mli
View file

@ -96,15 +96,17 @@ module type S = sig
val for_all : ('a -> bool) -> 'a t -> bool
val for_all2 : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val for_all2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
(** Forall on pairs of arrays.
@raise Invalid_argument if they have distinct lengths *)
@raise Invalid_argument if they have distinct lengths
allow different types @since NEXT_RELEASE *)
val exists : ('a -> bool) -> 'a t -> bool
val exists2 : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val exists2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
(** Exists on pairs of arrays.
@raise Invalid_argument if they have distinct lengths *)
@raise Invalid_argument if they have distinct lengths
allow different types @since NEXT_RELEASE *)
val shuffle : 'a t -> unit
(** Shuffle randomly the array, in place *)