Module `FixHCMemoizerOf.ResultDict`Source

Sourcetype key = F.Arg.t

Sourceval compare_key : key -> key -> Ppx_deriving_runtime.int

val pp_key : 
  Ppx_deriving_runtime.Format.formatter ->
  key ->
  Ppx_deriving_runtime.unit

Sourceval show_key : key -> Ppx_deriving_runtime.string

Sourceval equal_key : key -> key -> Ppx_deriving_runtime.bool

val hash_fold_key : 
  Ppx_hash_lib.Std.Hash.state ->
  key ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_key : key -> Ppx_hash_lib.Std.Hash.hash_value

Sourcetype value = F.Result.t

Sourceval compare_value : value -> value -> Ppx_deriving_runtime.int

val pp_value : 
  Ppx_deriving_runtime.Format.formatter ->
  value ->
  Ppx_deriving_runtime.unit

Sourceval show_value : value -> Ppx_deriving_runtime.string

Sourceval equal_value : value -> value -> Ppx_deriving_runtime.bool

val hash_fold_value : 
  Ppx_hash_lib.Std.Hash.state ->
  value ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_value : value -> Ppx_hash_lib.Std.Hash.hash_value

Sourcemodule CompareDict : sig ... end

Sourcetype t =

Sourceval compare : t -> t -> Ppx_deriving_runtime.int

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash : t -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval empty : t

Sourceval mk_leaf : key -> value -> t

Sourceval mk_branch : int -> int -> t -> t -> t

Sourceval zero_bit : int -> int -> bool

Sourceval contains_key : t -> F.Arg.t -> bool

Sourceval lookup : t -> F.Arg.t -> value option

Sourceval lowest_bit : int -> int

Sourceval branching_bit : int -> int -> int

Sourceval mask : int -> int -> int

Sourceval unsigned_lt : Core_kernel__Int.t -> Core_kernel__Int.t -> bool

Sourceval join : (int * t * int * t) -> t

Sourceval match_prefix : int -> int -> int -> bool

val insert_or_combine : 
  combiner:(value -> value -> value) ->
  t ->
  key ->
  value ->
  t

Sourceval insert : t -> key -> value -> t

Sourceval remove : F.Arg.t -> t -> t

Sourceval as_kvp_list : t -> (key * value) list

Sourceval merge_to_dict : combiner:(value -> value -> value) -> t -> t -> t

val merge : 
  combiner:(value -> value -> 'a) ->
  only_d1_fn:(value -> 'a) ->
  only_d2_fn:(value -> 'a) ->
  t ->
  t ->
  (key * 'a) list

Sourceval iter : f:(key -> value -> unit) -> t -> unit

Sourceval map : f:(value -> value) -> t -> t

Sourceval mapi : f:(key -> value -> value) -> t -> t

Sourceval fold : (key -> value -> 'a -> 'a) -> t -> 'a -> 'a

package core-and-more