Module `Stable.V1`Source

Sourcetype nonrec ('a, 'b, 'c) t = ('a, 'b, 'c) Core.Map.t

Sourcemodule type S = sig ... end

include Core.Map_intf.For_deriving
  with type ('a, 'b, 'c) t := ('a, 'b, 'c) Core.Map.Stable.V1.t

include Base.Map.For_deriving
  with type ('a, 'b, 'c) t := ('a, 'b, 'c) Core.Map.Stable.V1.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

Source

val sexp_of_m__t : 
  (module Core.Map.Stable.V1.Sexp_of_m with type t = 'k) ->
  ('v -> Base.Sexp.t) ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t ->
  Base.Sexp.t

Source

val m__t_of_sexp : 
  (module Core.Map.Stable.V1.M_of_sexp
    with type comparator_witness = 'cmp
     and type t = 'k) ->
  (Base.Sexp.t -> 'v) ->
  Base.Sexp.t ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t

Source

val m__t_sexp_grammar : 
  (module Core.Map.Stable.V1.M_sexp_grammar with type t = 'k) ->
  'v Sexplib0.Sexp_grammar.t ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t Sexplib0.Sexp_grammar.t

Source

val compare_m__t : 
  (module Core.Map.Stable.V1.Compare_m) ->
  ('v -> 'v -> int) ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t ->
  int

Source

val equal_m__t : 
  (module Core.Map.Stable.V1.Equal_m) ->
  ('v -> 'v -> bool) ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t ->
  bool

Source

val hash_fold_m__t : 
  (module Core.Map.Stable.V1.Hash_fold_m with type t = 'k) ->
  (Base.Hash.state -> 'v -> Base.Hash.state) ->
  Base.Hash.state ->
  ('k, 'v, _) Core.Map.Stable.V1.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]

Source

val bin_shape_m__t : 
  ('a, 'c) Core.Map_intf.Key_bin_io.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t

Source

val bin_size_m__t : 
  ('a, 'c) Core.Map_intf.Key_bin_io.t ->
  'b Bin_prot.Size.sizer ->
  ('a, 'b, 'c) Core.Map.Stable.V1.t Bin_prot.Size.sizer

Source

val bin_write_m__t : 
  ('a, 'c) Core.Map_intf.Key_bin_io.t ->
  'b Bin_prot.Write.writer ->
  ('a, 'b, 'c) Core.Map.Stable.V1.t Bin_prot.Write.writer

Source

val bin_read_m__t : 
  ('a, 'c) Core.Map_intf.Key_bin_io.t ->
  'b Bin_prot.Read.reader ->
  ('a, 'b, 'c) Core.Map.Stable.V1.t Bin_prot.Read.reader

Source

val __bin_read_m__t__ : 
  ('a, 'c) Core.Map_intf.Key_bin_io.t ->
  'b Bin_prot.Read.reader ->
  (Base.Int.t -> ('a, 'b, 'c) Core.Map.Stable.V1.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

Source

val quickcheck_generator_m__t : 
  (module Core.Map.Stable.V1.Quickcheck_generator_m
    with type comparator_witness = 'cmp
     and type t = 'k) ->
  'v Core.Quickcheck.Generator.t ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t Core.Quickcheck.Generator.t

Source

val quickcheck_observer_m__t : 
  (module Core.Map.Stable.V1.Quickcheck_observer_m
    with type comparator_witness = 'cmp
     and type t = 'k) ->
  'v Core.Quickcheck.Observer.t ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t Core.Quickcheck.Observer.t

Source

val quickcheck_shrinker_m__t : 
  (module Core.Map.Stable.V1.Quickcheck_shrinker_m
    with type comparator_witness = 'cmp
     and type t = 'k) ->
  'v Core.Quickcheck.Shrinker.t ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t Core.Quickcheck.Shrinker.t

include Core.Map_intf.For_deriving_stable
  with type ('a, 'b, 'c) t := ('a, 'b, 'c) Core.Map.Stable.V1.t

Sourcemodule type Stable_witness_m = sig ... end

Source

val stable_witness_m__t : 
  (module Core.Map.Stable.V1.Stable_witness_m
    with type comparator_witness = 'cmp
     and type t = 'k) ->
  'v Stable_witness.t ->
  ('k, 'v, 'cmp) Core.Map.Stable.V1.t Stable_witness.t

Source

module Make
  (Key : sig ... end) : 
  Core.Map.Stable.V1.S
    with type key := Key.t
    with type comparator_witness := Key.comparator_witness

Sourcemodule With_stable_witness : sig ... end

Module Stable.V1Source

Module `Stable.V1`Source