package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

md5=00995ebead339d6ec1ba7859c3fc3a58

sha256=5ad39c7fa1a966a2f0a7f6dbb7e82c787439c73482f5f44b3c9fb54b040d36eb

sha512=8dd3f7d4aaabae9aa9ede13edee2b22214c0d2e2780bb08b2ca8ed588d74fc6d9b1908bb31dfee49c949c7cc425fb98897b8e0f11280070ebd99b965908ea133

One-to-one associations

Sourcetype ('a, 'b) t

Sourceval create : unit -> ('a, 'b) t

Sourceval add : ('a, 'b) t -> 'a -> 'b -> unit

Add association, assert on duplicate key

Sourceval get : ('a, 'b) t -> 'a -> 'b

Get associated value,

Sourceval try_get : ('a, 'b) t -> 'a -> 'b option

Get associated value

Sourceval del : ('a, 'b) t -> 'a -> 'b

Delete association, assert if key is not present,

Sourceval remove : ('a, 'b) t -> 'a -> unit

Delete association, assert if key is not present

Sourceval size : ('a, 'b) t -> int

Sourceval fold : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) t -> 'c -> 'c