package cps_toolbox

You can search for identifiers within the package.

in-package search v0.2.0

Module `Cps_toolbox.Map`Source

Sourcetype ('key, 'value) t

Sourceval empty : ('key, 'value) t

Sourceval size : ('key, 'value) t -> int

Sourceval fold : ('key, 'value) t -> 'r -> ('key -> 'value -> 'r -> 'r) -> 'r

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

val contains : 
  'key Order.total ->
  'key ->
  ('key, 'value) t ->
  (unit -> 'r) ->
  (unit -> 'r) ->
  'r

val insert : 
  'key Order.total ->
  'key ->
  'value ->
  ('key, 'value) t ->
  ('key, 'value) t

Sourceval remove : 'key Order.total -> 'key -> ('key, 'value) t -> ('key, 'value) t

val lookup : 
  'key Order.total ->
  'key ->
  ('key, 'value) t ->
  (unit -> 'r) ->
  ('value -> 'r) ->
  'r

Sourceval lookup_unsafe : 'key Order.total -> 'key -> ('key, 'value) t -> 'value

Sourceval entries : ('key, 'value) t -> ('key * 'value) list

Sourceval keys : ('key, 'value) t -> 'key list

Sourceval values : ('key, 'value) t -> 'value list

Sourceval from_entries : ('key * 'value) list -> ('key, 'value) t