: 'a list -> (('a * int) -> bool) -> 'a list
val Core.List.filteri : 'a list -> f:(int -> 'a -> bool) -> 'a list
val Hack_core_list.filteri : 'a list -> f:(int -> 'b -> bool) -> 'c list
val Nonstd.List.filteri : 'a list -> f:(int -> 'a -> bool) -> 'a list
val Hack_core.List.filteri : 'a list -> f:(int -> 'b -> bool) -> 'c list
val Stdlib.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Stdlib.ListLabels.filteri : f:(int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val CList.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Like List.filter
but with an index starting from 0
val BatList.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
filteri p [a0; a1; ...; an]
returns all the elements ai
of index i
that satisfy the predicate p i ai
. The order of the elements in the input list is preserved.
val Util.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Like List.filter
but with an index starting from 0
val Cpm.MyList.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
filteri p [a0; a1; ...; an]
returns all the elements ai
of index i
that satisfy the predicate p i ai
. The order of the elements in the input list is preserved.
val B00_std.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val ExtList.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Exifutil.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Molenc.MyList.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
filteri p [a0; a1; ...; an]
returns all the elements ai
of index i
that satisfy the predicate p i ai
. The order of the elements in the input list is preserved.
val Ocsigen_lib.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Ppxx.Utils.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Ocsigen_lib_base.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Spotlib.Spot.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Alcotest_stdlib_ext.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val BatteriesExceptionless.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
filteri p [a0; a1; ...; an]
returns all the elements ai
of index i
that satisfy the predicate p i ai
. The order of the elements in the input list is preserved.
val Links_lens.Utility.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Links_core.Notfound.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Ppx_deriving_cmdliner_runtime.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Irmin.Export_for_backends.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Links_core.Lens.Utility.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val Links_core.Notfound.ListLabels.filteri : f:(int -> 'a -> bool) -> 'a list -> 'a list
Same as filter
, but the predicate is applied to the index of the element as first argument (counting from 0), and the element itself as second argument.
val CCList.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val List_ext.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Common.filter_index : (int -> 'a -> bool) -> 'a list -> 'a list
val Common2.filter_index : (int -> 'a -> bool) -> 'a list -> 'a list
val More.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val CCListLabels.filteri : f:(int -> 'a -> bool) -> 'a list -> 'a list
val Lplib.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Ofullcommon.filter_index : (int -> 'a -> bool) -> 'a list -> 'a list
val Piqirun.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Spin_std.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Eliom_lib.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Stdppx.List.filteri : f:(int -> 'a -> bool) -> 'a list -> 'a list
val Ppx_regexp.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Parser_shims.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Piqi_piqirun.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Atd.Import.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Binsec.List_utils.take_while : (int -> 'a -> bool) -> 'a list -> 'a list
val Coccilib.Common.filter_index : (int -> 'a -> bool) -> 'a list -> 'a list
val Oml.Util.List.filteri : f:(int -> 'a -> bool) -> 'a list -> 'a list
val Caqti_common_priv.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Mm.ImageBase.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Ocamlbuild_plugin.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Ocamlbuild_plugin.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Sek.Emulated.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Piqi_util.Std.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Solidity_common.ExtList.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Yices2_ext_bindings.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Exposed_modules.Common.filter_index : (int -> 'a -> bool) -> 'a list -> 'a list
val Mm_image.ImageBase.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Irmin_graphql.Import.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Rmlbuild_pack.My_std.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Ocamlbuild_pack.My_std.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Sek.Make.Emulated.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Plebeia.Internal.Utils.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Sek.SupplyDefault.Emulated.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Plebeia.Internal.Test_utils.List.filteri : (int -> 'a -> bool) -> 'a list -> 'a list
val Core.List.groupi : 'a list -> break:(int -> 'a -> 'a -> bool) -> 'a list list
This is just like group
, except that you get the index in the original list of the current element along with the two elements.
val Parany.Parmap.parmap : ?init:(int -> unit) -> ?finalize:(unit -> unit) -> ?preserve:bool -> ?core_pin:bool -> ?csize:int -> int -> ('a -> 'b) -> 'a list -> 'b list
Parallel List.map
val Parany.Parmap.parmapi : ?init:(int -> unit) -> ?finalize:(unit -> unit) -> ?preserve:bool -> ?core_pin:bool -> ?csize:int -> int -> (int -> 'a -> 'b) -> 'a list -> 'b list
Parallel List.mapi
val Hack_core_list.groupi : 'a list -> break:(int -> 'b -> 'c -> bool) -> 'd list list
val Hack_core.List.groupi : 'a list -> break:(int -> 'b -> 'c -> bool) -> 'd list list
val CList.partitioni : (int -> 'a -> bool) -> 'a list -> ('a list * 'a list)
Like List.partition
but with an index starting from 0
val Util.List.partitioni : (int -> 'a -> bool) -> 'a list -> ('a list * 'a list)
Like List.partition
but with an index starting from 0
val Elpi_util.Util.partition_i : (int -> 'a -> bool) -> 'a list -> ('a list * 'a list)
val Listext.List.rle_eq : ('a -> 'a -> bool) -> 'a list -> ('a * int) list
Run-length encode the given list using the given equality function.
val Xapi_stdext_std.Listext.List.rle_eq : ('a -> 'a -> bool) -> 'a list -> ('a * int) list
rle_eq eq l
run-length encodes l
using eq