Module `Granular_map.Make`Source

Parameters

module Ord : Map.OrderedType

Sourcetype key = Ord.t

Sourcetype 'a t

Sourceval empty : unit -> 'a t

Sourceval bindings : 'a t -> (key * 'a) list

Sourceval add : key -> 'a -> 'a t -> 'a t

Sourceval singleton : key -> 'a -> 'a t

Sourceval remove : key -> 'a t -> 'a t

Sourceval union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t

Sourceval cardinal : 'a t -> int

Sourceval find : key -> 'a t -> 'a

Sourceval find_opt : key -> 'a t -> 'a option

Sourceval choose_opt : 'a t -> (key * 'a) option

Sourceval iter : (key -> 'a -> unit) -> 'a t -> unit

Sourceval iter_in_memory : (key -> 'a -> unit) -> 'a t -> unit

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

Sourceval map : ('a -> 'b) -> 'a t -> 'b t

Sourceval is_empty : 'a t -> bool

Sourceval mem : key -> 'a t -> bool

Sourceval update : key -> ('a option -> 'a option) -> 'a t -> 'a t

val schema : 
  'a t Type.Id.t ->
  Granular_marshal.iter ->
  (Granular_marshal.iter -> key -> 'a -> unit) ->
  'a t ->
  unit