package core

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

Signature for a 3-tuple module

type ('a, 'b, 'c) t = 'a * 'b * 'c
include Sexplib0.Sexpable.S3 with type ('a, 'b, 'c) t := ('a, 'b, 'c) t
val t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> (Sexplib0.Sexp.t -> 'c) -> Sexplib0.Sexp.t -> ('a, 'b, 'c) t
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('a, 'b, 'c) t -> Sexplib0.Sexp.t
val create : 'a -> 'b -> 'c -> ('a, 'b, 'c) t
val curry : (('a, 'b, 'c) t -> 'd) -> 'a -> 'b -> 'c -> 'd
val uncurry : ('a -> 'b -> 'c -> 'd) -> ('a, 'b, 'c) t -> 'd
val equal : eq1:('a -> 'a -> Base.Bool.t) -> eq2:('b -> 'b -> Base.Bool.t) -> eq3:('c -> 'c -> Base.Bool.t) -> ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> Base.Bool.t
val compare : cmp1:('a -> 'a -> Base.Int.t) -> cmp2:('b -> 'b -> Base.Int.t) -> cmp3:('c -> 'c -> Base.Int.t) -> ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> Base.Int.t
val get1 : ('a, _, _) t -> 'a
val get2 : (_, 'a, _) t -> 'a
val get3 : (_, _, 'a) t -> 'a
val map : ('a, 'a, 'a) t -> f:('a -> 'b) -> ('b, 'b, 'b) t
val map_fst : ('a, 'b, 'c) t -> f:('a -> 'd) -> ('d, 'b, 'c) t
val map_snd : ('a, 'b, 'c) t -> f:('b -> 'd) -> ('a, 'd, 'c) t
val map_trd : ('a, 'b, 'c) t -> f:('c -> 'd) -> ('a, 'b, 'd) t
val map2 : ('a, 'a, 'a) t -> ('b, 'b, 'b) t -> f:('a -> 'b -> 'c) -> ('c, 'c, 'c) t