concat map : _
val Stdlib.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Stdlib.ListLabels.concat_map : f:('a -> 'b list) -> 'a list -> 'b list
concat_map ~f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val BatSeq.concat_map : ('a -> 'b t) -> 'a t -> 'b t
Alias for flat_map
.
val BatEnum.concat_map : ('a -> 'b t) -> 'a t -> 'b t
Synonym of bind
, with flipped arguments. concat_map f e
is the same as concat (map f e)
.
val IStream.concat_map : ('a -> 'b t) -> 'a t -> 'b t
concat_map f l
is the same as concat (map f l)
.
val LazyList.concat_map : ('a -> 'b t) -> 'a t -> 'b t
As fun f xss -> concat (map f xs)
val BatStream.concat_map : ('a -> 'b t) -> 'a t -> 'b t
Composition of concat
and map
. concat_map f e
is the same as concat (map f e)
.
val PPrint.concat_map : ('a -> document) -> 'a list -> document
concat_map f xs
is equivalent to concat (List.map f xs)
.
val Base.List.concat_map : 'a t -> f:('a -> 'b t) -> 'b t
concat_map t ~f
is concat (map t ~f)
, except that there is no guarantee about the order in which f
is applied to the elements of t
.
val Non_empty_list.concat_map : 'a t -> f:('a -> 'b t) -> 'b t
concat_map t ~f
is equivalent to concat (map t ~f)
.
val Zed_utf8.map_concat : (CamomileLibrary.UChar.t -> t) -> t -> t
map f str
maps all characters of str
with f
and concatenate the result.
val Base.Queue.concat_map : 'a t -> f:('a -> 'b list) -> 'b t
Creates a new queue with elements equal to List.concat_map ~f (to_list t)
.
val Base.Sequence.concat_map : 'a t -> f:('a -> 'b t) -> 'b t
concat_map t ~f
is concat (map t ~f)
.
val Base.String.concat_map : ?sep:t -> t -> f:(char -> t) -> t
Like map
, but allows the replacement of a single character with zero or two or more characters.
val Core.Queue.concat_map : 'a t -> f:('a -> 'b list) -> 'b t
Creates a new queue with elements equal to List.concat_map ~f (to_list t)
.
val Lplib.List.concat_map : ('a -> 'b list) -> 'a t -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Zed_utf8.rev_map_concat : (CamomileLibrary.UChar.t -> t) -> t -> t
rev_map f str
maps all characters of str
with f
in reverse order and concatenate the result.
val Cpm.MyList.concat_map : ('a -> 'b list) -> 'a list -> 'b list
List.concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Pp.concat_map : ?sep:'a t -> 'b list -> f:('b -> 'a t) -> 'a t
Convenience function for List.map
followed by concat
val B00_std.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
maps l
with f
and concatenates the result. Tail recursive.
val Base.Array.concat_map : 'a t -> f:('a -> 'b array) -> 'b array
Like List.concat_map
, List.concat_mapi
.
val Core.Array.concat_map : 'a t -> f:('a -> 'b array) -> 'b array
Like List.concat_map
, List.concat_mapi
.
val Core.List.concat_map : 'a list -> f:('a -> 'b list) -> 'b list
concat_map t ~f
is concat (map t ~f)
, except that there is no guarantee about the order in which f
is applied to the elements of t
.
val Exifutil.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Molenc.MyList.concat_map : ('a -> 'b list) -> 'a list -> 'b list
List.concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Spotlib.Xlist.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f xs = concat @@ map f xs
but much faster.
val Base.Linked_queue.concat_map : 'a t -> f:('a -> 'b list) -> 'b t
Creates a new queue with elements equal to List.concat_map ~f (to_list t)
.
val Core.Linked_queue.concat_map : 'a t -> f:('a -> 'b list) -> 'b t
Creates a new queue with elements equal to List.concat_map ~f (to_list t)
.
val Base.List.concat_mapi : 'a t -> f:(int -> 'a -> 'b t) -> 'b t
concat_mapi t ~f
is like concat_map, but passes the index as an argument
val Ocsigen_lib.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val BatteriesExceptionless.Seq.concat_map : ('a -> 'b t) -> 'a t -> 'b t
Alias for flat_map
.
val Ocamlformat_stdlib.List.concat_map : 'a t -> f:('a -> 'b t) -> 'b t
concat_map t ~f
is concat (map t ~f)
, except that there is no guarantee about the order in which f
is applied to the elements of t
.
val BatteriesExceptionless.Enum.concat_map : ('a -> 'b t) -> 'a t -> 'b t
Synonym of bind
, with flipped arguments. concat_map f e
is the same as concat (map f e)
.
val Spotlib.Xlist.rev_concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f xs = rev @@ concat @@ map f xs
but much faster.
val Base.Sequence.concat_mapi : 'a t -> f:(int -> 'a -> 'b t) -> 'b t
concat_mapi t ~f
is like concat_map, but passes the index as an argument.
val Zed_utf8.filter_map_concat : (CamomileLibrary.UChar.t -> t option) -> t -> t
filter_map f str
filters and maps characters of str
with f
and concatenate the result.
val Ocamlformat_stdlib.String.concat_map : ?sep:t -> t -> f:(char -> t) -> t
Like map
, but allows the replacement of a single character with zero or two or more characters.
val Ocsigen_lib_base.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Nanocaml.Pass_codegen.Enum.concat_map : ('a -> 'b t) -> 'a t -> 'b t
Synonym of bind
, with flipped arguments. concat_map f e
is the same as concat (map f e)
.
val SCamlc.Tools.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f xs = concat @@ map f xs
but much faster.
val Spotlib.Spot.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f xs = concat @@ map f xs
but much faster.
val Zed_utf8.rev_filter_map_concat : (CamomileLibrary.UChar.t -> t option) -> t -> t
rev_filter_map f str
filters and maps characters of str
with f
in reverse order and concatenate the result.
val Core.List.concat_mapi : 'a list -> f:(int -> 'a -> 'b list) -> 'b list
concat_mapi t ~f
is like concat_map, but passes the index as an argument
val Core.String.concat_map : ?sep:string -> string -> f:(char -> string) -> string
Like map
, but allows the replacement of a single character with zero or two or more characters.
val Links_lens.Utility.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val SCamlc.Tools.List.rev_concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f xs = rev @@ concat @@ map f xs
but much faster.
val Spotlib.Spot.List.rev_concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f xs = rev @@ concat @@ map f xs
but much faster.
val Links_core.Notfound.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Ocamlformat_stdlib.List.concat_mapi : 'a t -> f:(int -> 'a -> 'b t) -> 'b t
concat_mapi t ~f
is like concat_map, but passes the index as an argument
val Ppx_deriving_cmdliner_runtime.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val GTCommon.HelpersBase.List.concat_mapi : 'a t -> f:(int -> 'a -> 'b t) -> 'b t
concat_mapi t ~f
is like concat_map, but passes the index as an argument
val Ppx_deriving_hardcaml_runtime.Array.concat_map : 'a t -> f:('a -> 'b array) -> 'b array
Like List.concat_map
, List.concat_mapi
.
val Links_core.Lens.Utility.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
concat_map f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Links_core.Notfound.ListLabels.concat_map : f:('a -> 'b list) -> 'a list -> 'b list
concat_map ~f l
gives the same result as concat
(
map
f l)
. Tail-recursive.
val Bap.Std.Term.concat_map : ('a, 'b) Bap.Std.cls -> 'a t -> f:('b t -> 'b t list) -> 'a t
concat_map t p ~f
substitute subterm c
of type t
in parent term p
with f c
. If f c
is an empty list, then c
doesn't occur in a new parent term, if f c
is a singleton list, then c
is substituted with the f c
, like in map
. If f c
is a list of n
elements, then in the place of c
this n
elements are inserted.
val Core.Sequence.concat_map : 'a Base.Sequence.t -> f:('a -> 'b Base.Sequence.t) -> 'b Base.Sequence.t
concat_map t ~f
is concat (map t ~f)
.
val Bap.Std.Seq.concat_map : 'a Base.Sequence.t -> f:('a -> 'b Base.Sequence.t) -> 'b Base.Sequence.t
concat_map t ~f
is concat (map t ~f)
.
val Regular.Std.Seq.concat_map : 'a Base.Sequence.t -> f:('a -> 'b Base.Sequence.t) -> 'b Base.Sequence.t
concat_map t ~f
is concat (map t ~f)
.
val Core.Sequence.concat_mapi : 'a Base.Sequence.t -> f:(int -> 'a -> 'b Base.Sequence.t) -> 'b Base.Sequence.t
concat_mapi t ~f
is like concat_map, but passes the index as an argument.
val Bap.Std.Seq.concat_mapi : 'a Base.Sequence.t -> f:(int -> 'a -> 'b Base.Sequence.t) -> 'b Base.Sequence.t
concat_mapi t ~f
is like concat_map, but passes the index as an argument.
val Regular.Std.Seq.concat_mapi : 'a Base.Sequence.t -> f:(int -> 'a -> 'b Base.Sequence.t) -> 'b Base.Sequence.t
concat_mapi t ~f
is like concat_map, but passes the index as an argument.
val OpamStd.List.concat_map : ?left:string -> ?right:string -> ?nil:string -> string -> ('a -> string) -> 'a list -> string
Convert list items to string and concat. sconcat_map sep f x
is equivalent to String.concat sep (List.map f x) but tail-rec.
val OpamStd.List.concat_map : ?left:string -> ?right:string -> ?nil:string -> ?last_sep:string -> string -> ('a -> string) -> 'a list -> string
Convert list items to string and concat. sconcat_map sep f x
is equivalent to String.concat sep (List.map f x) but tail-rec.
val Patience_diff_lib.Patience_diff.Hunk.concat_map : 'a t -> f:('a Patience_diff_lib__.Range.t -> 'b Patience_diff_lib__.Range.t list) -> 'b t
concat_map t ~f
applies List.concat_map
on t.ranges
.
val OSeq.concat_map : ('a -> 'b t) -> 'a t -> 'b t
val Parmap_utils.concat_tr : 'a list list -> 'a list
val CList.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val CCList.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val List_ext.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Stdcompat.Seq.concat_map : ('a -> 'b t) -> 'a t -> 'b t
val Stdune.List.concat_map : 'a t -> f:('a -> 'b t) -> 'b t
val FStar_Pprint.concat_map : ('a -> document) -> 'a list -> document
val Shcaml.Shtream.concat_map : ('a -> 'b list) -> 'a t -> 'b t
val CFStream.Stream.concat_map : 'a t -> f:('a -> 'b t) -> 'b t
val More.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Util.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val CCListLabels.concat_map : f:('a -> 'b list) -> 'a list -> 'b list
val FStar_List.concatMap : ('a -> 'b list) -> 'a list -> 'b list
val Utils.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Stdppx.List.concat_map : 'a list -> f:('a -> 'b list) -> 'b t
val ExtList.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Hack_core_list.concat_map : 'a list -> f:('b -> 'c list) -> 'd list
val Piqirun.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Shcaml.LineShtream.concat_map : ('a -> 'b list) -> 'a t -> 'b t
val Spin_std.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Eliom_lib.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Nonstd.List.concat_map : 'a list -> f:('a -> 'b list) -> 'b list
val Pa_sql_.Pa_sql.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Shcaml.StringShtream.concat_map : ('a -> 'b list) -> 'a t -> 'b t
val Ppx_regexp.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Hack_core.List.concat_map : 'a list -> f:('b -> 'c list) -> 'd list
val Parser_shims.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Piqi_piqirun.List.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Links_core.Utility.concat_map : ('a -> 'b list) -> 'a list -> 'b list
val FStar_Compiler_List.concatMap : ('a -> 'b list) -> 'a list -> 'b list
val FStar_List_Tot_Base.concatMap : ('a -> 'b list) -> 'a list -> 'b list
val Base.Queue.concat_mapi : 'a t -> f:(int -> 'a -> 'b list) -> 'b t
val Core.Queue.concat_mapi : 'a t -> f:(int -> 'a -> 'b list) -> 'b t
val Missing_pervasives.list_concat_map : ('a -> 'b list) -> 'a list -> 'b list
val Non_empty_list.concat_mapi : 'a t -> f:(Base.int -> 'a -> 'b t) -> 'b t