Module `Dict.Make`Source

Parameters

module P : sig ... end

Signature

Sourcetype t

Sourceval empty : 'a Stdlib__Map.Make(String).t

Sourceval is_empty : 'a Stdlib__Map.Make(String).t -> bool

Sourceval mem : String.t -> 'a Stdlib__Map.Make(String).t -> bool

val add : 
  String.t ->
  'a ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t

Sourceval singleton : String.t -> 'a -> 'a Stdlib__Map.Make(String).t

Source

val remove : 
  String.t ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t

Source

val merge : 
  (String.t -> 'a option -> 'b option -> 'c option) ->
  'a Stdlib__Map.Make(String).t ->
  'b Stdlib__Map.Make(String).t ->
  'c Stdlib__Map.Make(String).t

Source

val union : 
  (String.t -> 'a -> 'a -> 'a option) ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t

Source

val compare : 
  ('a -> 'a -> int) ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t ->
  int

Source

val equal : 
  ('a -> 'a -> bool) ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t ->
  bool

Sourceval iter : (String.t -> 'a -> unit) -> 'a Stdlib__Map.Make(String).t -> unit

Source

val fold : 
  (String.t -> 'a -> 'b -> 'b) ->
  'a Stdlib__Map.Make(String).t ->
  'b ->
  'b

Sourceval for_all : (String.t -> 'a -> bool) -> 'a Stdlib__Map.Make(String).t -> bool

Sourceval exists : (String.t -> 'a -> bool) -> 'a Stdlib__Map.Make(String).t -> bool

Source

val filter : 
  (String.t -> 'a -> bool) ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t

Source

val partition : 
  (String.t -> 'a -> bool) ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t * 'a Stdlib__Map.Make(String).t

Sourceval cardinal : 'a Stdlib__Map.Make(String).t -> int

Sourceval bindings : 'a Stdlib__Map.Make(String).t -> (String.t * 'a) list

Sourceval min_binding : 'a Stdlib__Map.Make(String).t -> String.t * 'a

Sourceval max_binding : 'a Stdlib__Map.Make(String).t -> String.t * 'a

Sourceval choose : 'a Stdlib__Map.Make(String).t -> String.t * 'a

Source

val split : 
  String.t ->
  'a Stdlib__Map.Make(String).t ->
  'a Stdlib__Map.Make(String).t * 'a option * 'a Stdlib__Map.Make(String).t

Sourceval find : String.t -> 'a Stdlib__Map.Make(String).t -> 'a

Source

val map : 
  ('a -> 'b) ->
  'a Stdlib__Map.Make(String).t ->
  'b Stdlib__Map.Make(String).t

Source

val mapi : 
  (String.t -> 'a -> 'b) ->
  'a Stdlib__Map.Make(String).t ->
  'b Stdlib__Map.Make(String).t

Source

val of_yojson : 
  [> `Assoc of (String.t * Yojson.Safe.t) list ] ->
  (P.t Stdlib__Map.Make(String).t, string) result

Source

val to_yojson : 
  P.t Stdlib__Map.Make(String).t ->
  [> `Assoc of (String.t * Yojson.Safe.t) list ]

package dap

Module Dict.MakeSource

Parameters

Signature

Module `Dict.Make`Source