package batteries
A community-maintained standard library extension
Install
dune-project
Dependency
Authors
Maintainers
Sources
v3.7.2.tar.gz
md5=1fd7bddce07cf5d244fc9427f7b5e4d4
sha512=c0f2a0fdc8253e0ea999d8d4c58bfbf32b18d251a2e1d9656bf279de5f01a33e9aabac3af4d95f465f8b671e7711ebd37218043face233340a0c11b08fa62f78
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