package core

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

Module Stable.V1Source

Sourcetype nonrec ('a, 'b, 'c) t = ('a, 'b, 'c) t
Sourcemodule type S = sig ... end
include Map_intf.For_deriving with type ('a, 'b, 'c) t := ('a, 'b, 'c) t
include Base.Map.For_deriving with type ('a, 'b, 'c) t := ('a, 'b, 'c) t
Sourcemodule type Sexp_of_m = sig ... end
Sourcemodule type M_of_sexp = sig ... end
Sourcemodule type M_sexp_grammar = sig ... end
Sourcemodule type Compare_m = sig ... end
Sourcemodule type Equal_m = sig ... end
Sourcemodule type Hash_fold_m = Base.Hasher.S
Sourceval sexp_of_m__t : (module Sexp_of_m with type t = 'k) -> ('v -> Base.Sexp.t) -> ('k, 'v, 'cmp) t -> Base.Sexp.t
Sourceval m__t_of_sexp : (module M_of_sexp with type comparator_witness = 'cmp and type t = 'k) -> (Base.Sexp.t -> 'v) -> Base.Sexp.t -> ('k, 'v, 'cmp) t
Sourceval m__t_sexp_grammar : (module M_sexp_grammar with type t = 'k) -> 'v Sexplib0.Sexp_grammar.t -> ('k, 'v, 'cmp) t Sexplib0.Sexp_grammar.t
Sourceval compare_m__t : (module Compare_m) -> ('v -> 'v -> int) -> ('k, 'v, 'cmp) t -> ('k, 'v, 'cmp) t -> int
Sourceval equal_m__t : (module Equal_m) -> ('v -> 'v -> bool) -> ('k, 'v, 'cmp) t -> ('k, 'v, 'cmp) t -> bool
Sourceval hash_fold_m__t : (module Hash_fold_m with type t = 'k) -> (Base.Hash.state -> 'v -> Base.Hash.state) -> Base.Hash.state -> ('k, 'v, _) t -> Base.Hash.state
Sourcemodule M = Base.Map.M

The following *bin* functions support bin-io on base-style maps, e.g.:

 type t = int Map.M(String).t [@@deriving bin_io]
Sourceval bin_shape_m__t : ('a, 'c) Map_intf.Key_bin_io.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t
Sourceval bin_size_m__t : ('a, 'c) Map_intf.Key_bin_io.t -> 'b Bin_prot.Size.sizer -> ('a, 'b, 'c) t Bin_prot.Size.sizer
Sourceval bin_write_m__t : ('a, 'c) Map_intf.Key_bin_io.t -> 'b Bin_prot.Write.writer -> ('a, 'b, 'c) t Bin_prot.Write.writer
Sourceval bin_read_m__t : ('a, 'c) Map_intf.Key_bin_io.t -> 'b Bin_prot.Read.reader -> ('a, 'b, 'c) t Bin_prot.Read.reader
Sourceval __bin_read_m__t__ : ('a, 'c) Map_intf.Key_bin_io.t -> 'b Bin_prot.Read.reader -> (Base.Int.t -> ('a, 'b, 'c) t) Bin_prot.Read.reader

The following quickcheck* functions support deriving quickcheck on base-style maps, e.g.:

 type t = int Map.M(String).t [@@deriving quickcheck]
Sourcemodule type Quickcheck_generator_m = sig ... end
Sourcemodule type Quickcheck_observer_m = sig ... end
Sourcemodule type Quickcheck_shrinker_m = sig ... end
Sourceval quickcheck_generator_m__t : (module Quickcheck_generator_m with type comparator_witness = 'cmp and type t = 'k) -> 'v Quickcheck.Generator.t -> ('k, 'v, 'cmp) t Quickcheck.Generator.t
Sourceval quickcheck_observer_m__t : (module Quickcheck_observer_m with type comparator_witness = 'cmp and type t = 'k) -> 'v Quickcheck.Observer.t -> ('k, 'v, 'cmp) t Quickcheck.Observer.t
Sourceval quickcheck_shrinker_m__t : (module Quickcheck_shrinker_m with type comparator_witness = 'cmp and type t = 'k) -> 'v Quickcheck.Shrinker.t -> ('k, 'v, 'cmp) t Quickcheck.Shrinker.t
include Map_intf.For_deriving_stable with type ('a, 'b, 'c) t := ('a, 'b, 'c) t
Sourcemodule type Stable_witness_m = sig ... end
Sourceval stable_witness_m__t : (module Stable_witness_m with type comparator_witness = 'cmp and type t = 'k) -> 'v Stable_witness.t -> ('k, 'v, 'cmp) t Stable_witness.t
Sourcemodule Make (Key : sig ... end) : S with type key := Key.t with type comparator_witness := Key.comparator_witness
Sourcemodule With_stable_witness : sig ... end
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