package batteries
A community-maintained standard library extension
Install
dune-project
Dependency
Authors
Maintainers
Sources
v3.8.0.tar.gz
md5=b691e5870f876c6e590d6aa51b4c5457
sha512=3b0643ff337cd70da8c4b77887d212e82d043a7163fca36588be12186bc86bbcf0d56b13349325f12eabb96c846204c88560786342f50af7bf4e20b9480d3964
doc/batteries.unthreaded/BatTuple/Tuple4/index.html
Module BatTuple.Tuple4Source
4-Tuples.
Source
val map :
('a -> 'e) ->
('b -> 'f) ->
('c -> 'g) ->
('d -> 'h) ->
('a * 'b * 'c * 'd) ->
'e * 'f * 'g * 'hLike map but specialized for tuples with elements of the same type.
mapn f is equivalent to map f f f f.
Source
val print :
?first:string ->
?sep:string ->
?last:string ->
('o BatIO.output -> 'a -> unit) ->
('o BatIO.output -> 'b -> unit) ->
('o BatIO.output -> 'c -> unit) ->
('o BatIO.output -> 'd -> unit) ->
'o BatIO.output ->
('a * 'b * 'c * 'd) ->
unitSource
val printn :
?first:string ->
?sep:string ->
?last:string ->
('o BatIO.output -> 'a -> unit) ->
'o BatIO.output ->
('a * 'a * 'a * 'a) ->
unitSource
val compare :
?cmp1:('a -> 'a -> int) ->
?cmp2:('b -> 'b -> int) ->
?cmp3:('c -> 'c -> int) ->
?cmp4:('d -> 'd -> int) ->
('a * 'b * 'c * 'd) ->
('a * 'b * 'c * 'd) ->
intinclude BatEnum.Enumerable with type 'a enumerable = 'a * 'a * 'a * 'a
The data structure, e.g. 'a List.t
Return an enumeration of the elements of the data structure
Build a data structure from an enumeration
Source
val ord :
'a BatOrd.ord ->
'b BatOrd.ord ->
'c BatOrd.ord ->
'd BatOrd.ord ->
('a * 'b * 'c * 'd) BatOrd.ordSource
val comp :
'a BatOrd.comp ->
'b BatOrd.comp ->
'c BatOrd.comp ->
'd BatOrd.comp ->
('a * 'b * 'c * 'd) BatOrd.compSource
module Ord
(T1 : BatOrd.Ord)
(T2 : BatOrd.Ord)
(T3 : BatOrd.Ord)
(T4 : BatOrd.Ord) :
BatOrd.Ord with type t = T1.t * T2.t * T3.t * T4.tSource
module Comp
(T1 : BatOrd.Comp)
(T2 : BatOrd.Comp)
(T3 : BatOrd.Comp)
(T4 : BatOrd.Comp) :
BatOrd.Comp with type t = T1.t * T2.t * T3.t * T4.t