package core

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

Functors and signatures for dealing with modules for tuples.

module T2 : sig ... end

Signature for a 2-tuple module

module T3 : sig ... end

Signature for a 3-tuple module

These functors allow users to write:

module Foo = struct
  include Tuple.Make       (String) (Int)
  include Tuple.Comparator (String) (Int)
  include Tuple.Comparable (String) (Int)
  include Tuple.Hashable   (String) (Int)
  include Tuple.Binable    (String) (Int)
end
module Make (T1 : sig ... end) (T2 : sig ... end) : sig ... end
module type Comparable_sexpable = sig ... end
module type Hashable_sexpable = sig ... end

The difference between Hashable and Hashable_t functors is that the former's result type doesn't contain type t and the latter does. Therefore, Hashable can't be used to combine two pairs into 4-tuple. but Hashable_t can. On the other hand result of Hashable_t cannot be combined with Comparable.

module Sexpable (S1 : Sexpable.S) (S2 : Sexpable.S) : sig ... end
module Binable (B1 : Binable.S) (B2 : Binable.S) : sig ... end
module Hasher (H1 : sig ... end) (H2 : sig ... end) : Hashable_sexpable with type t := Make(H1)(H2).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