package batteries

  1. Overview
  2. Docs
package batteries
Legend:
Library
Module
Module type
Parameter
Class
Class type

5-Tuples.

  • author Ashish Agarwal
type ('a, 'b, 'c, 'd, 'e) t = 'a * 'b * 'c * 'd * 'e
val make : 'a -> 'b -> 'c -> 'd -> 'e -> 'a * 'b * 'c * 'd * 'e
val first : ('a * 'b * 'c * 'd * 'e) -> 'a
val second : ('a * 'b * 'c * 'd * 'e) -> 'b
val third : ('a * 'b * 'c * 'd * 'e) -> 'c
val fourth : ('a * 'b * 'c * 'd * 'e) -> 'd
val fifth : ('a * 'b * 'c * 'd * 'e) -> 'e
val get12 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'b
val get13 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'c
val get14 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'd
val get15 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'e
val get23 : ('a * 'b * 'c * 'd * 'e) -> 'b * 'c
val get24 : ('a * 'b * 'c * 'd * 'e) -> 'b * 'd
val get25 : ('a * 'b * 'c * 'd * 'e) -> 'b * 'e
val get34 : ('a * 'b * 'c * 'd * 'e) -> 'c * 'd
val get35 : ('a * 'b * 'c * 'd * 'e) -> 'c * 'e
val get45 : ('a * 'b * 'c * 'd * 'e) -> 'd * 'e
val get123 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'c
val get124 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'd
val get125 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'e
val get134 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'c * 'd
val get135 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'c * 'e
val get145 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'd * 'e
val get234 : ('a * 'b * 'c * 'd * 'e) -> 'b * 'c * 'd
val get235 : ('a * 'b * 'c * 'd * 'e) -> 'b * 'c * 'e
val get245 : ('a * 'b * 'c * 'd * 'e) -> 'b * 'd * 'e
val get345 : ('a * 'b * 'c * 'd * 'e) -> 'c * 'd * 'e
val get1234 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'c * 'd
val get1235 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'c * 'e
val get1245 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'd * 'e
val get1345 : ('a * 'b * 'c * 'd * 'e) -> 'a * 'c * 'd * 'e
val get2345 : ('a * 'b * 'c * 'd * 'e) -> 'b * 'c * 'd * 'e
val map : ('a -> 'f) -> ('b -> 'g) -> ('c -> 'h) -> ('d -> 'i) -> ('e -> 'j) -> ('a * 'b * 'c * 'd * 'e) -> 'f * 'g * 'h * 'i * 'j
val mapn : ('a -> 'b) -> ('a * 'a * 'a * 'a * 'a) -> 'b * 'b * 'b * 'b * 'b

Like map but specialized for tuples with elements of the same type.

mapn f is equivalent to map f f f f f.

val map1 : ('a -> 'f) -> ('a * 'b * 'c * 'd * 'e) -> 'f * 'b * 'c * 'd * 'e
val map2 : ('b -> 'f) -> ('a * 'b * 'c * 'd * 'e) -> 'a * 'f * 'c * 'd * 'e
val map3 : ('c -> 'f) -> ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'f * 'd * 'e
val map4 : ('d -> 'f) -> ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'c * 'f * 'e
val map5 : ('e -> 'f) -> ('a * 'b * 'c * 'd * 'e) -> 'a * 'b * 'c * 'd * 'f
val curry : (('a * 'b * 'c * 'd * 'e) -> 'f) -> 'a -> 'b -> 'c -> 'd -> 'e -> 'f
val uncurry : ('a -> 'b -> 'c -> 'd -> 'e -> 'f) -> ('a * 'b * 'c * 'd * 'e) -> 'f
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 -> 'e -> unit) -> 'o BatIO.output -> ('a * 'b * 'c * 'd * 'e) -> unit
val printn : ?first:string -> ?sep:string -> ?last:string -> ('o BatIO.output -> 'a -> unit) -> 'o BatIO.output -> ('a * 'a * 'a * 'a * 'a) -> unit
val compare : ?cmp1:('a -> 'a -> int) -> ?cmp2:('b -> 'b -> int) -> ?cmp3:('c -> 'c -> int) -> ?cmp4:('d -> 'd -> int) -> ?cmp5:('e -> 'e -> int) -> ('a * 'b * 'c * 'd * 'e) -> ('a * 'b * 'c * 'd * 'e) -> int
include BatEnum.Enumerable with type 'a enumerable = 'a * 'a * 'a * 'a * 'a
type 'a enumerable = 'a * 'a * 'a * 'a * 'a

The data structure, e.g. 'a List.t

val enum : 'a enumerable -> 'a BatEnum.t

Return an enumeration of the elements of the data structure

val of_enum : 'a BatEnum.t -> 'a enumerable

Build a data structure from an enumeration

val eq : 'a BatOrd.eq -> 'b BatOrd.eq -> 'c BatOrd.eq -> 'd BatOrd.eq -> 'e BatOrd.eq -> ('a * 'b * 'c * 'd * 'e) BatOrd.eq
val ord : 'a BatOrd.ord -> 'b BatOrd.ord -> 'c BatOrd.ord -> 'd BatOrd.ord -> 'e BatOrd.ord -> ('a * 'b * 'c * 'd * 'e) BatOrd.ord
val comp : 'a BatOrd.comp -> 'b BatOrd.comp -> 'c BatOrd.comp -> 'd BatOrd.comp -> 'e BatOrd.comp -> ('a * 'b * 'c * 'd * 'e) BatOrd.comp
module Eq (T1 : BatOrd.Eq) (T2 : BatOrd.Eq) (T3 : BatOrd.Eq) (T4 : BatOrd.Eq) (T5 : BatOrd.Eq) : BatOrd.Eq with type t = T1.t * T2.t * T3.t * T4.t * T5.t
module Ord (T1 : BatOrd.Ord) (T2 : BatOrd.Ord) (T3 : BatOrd.Ord) (T4 : BatOrd.Ord) (T5 : BatOrd.Ord) : BatOrd.Ord with type t = T1.t * T2.t * T3.t * T4.t * T5.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct