Is the database empty?

The number of entries in the database.

Is the key a member of the database? See also notMember.

Is the key not a member of the database? See also member.

Lookup the value at a key in the database.

The function will return the corresponding value as (Just value), or Nothing if the key isn't in the database.

The expression (findWithDefault def k db) returns the value at key k or returns default value def when the key is not in the database.

Insert a new key and value in the database. If the key is already present in the database, the associated value is replaced with the supplied value. insert is equivalent to insertWith const.

Insert with a function, combining new value and old value. insertWith f key value db will insert the pair (key, value) into db if key does not exist in the database. If the key does exist, the function will insert the pair (key, f new_value old_value).

Insert with a function, combining key, new value and old value. insertWithKey f key value db will insert the pair (key, value) into db if key does not exist in the database. If the key does exist, the function will insert the pair (key, f key new_value old_value). Note that the key passed to f is the same key passed to insertWithKey.

Combines insert operation with old value retrieval. The monadic action (insertLookupWithKey f k x db) returns the same value as (lookup k db) but has the same effect as (insertWithKey f k x db).

Delete a key and its value from the database. If the key was not present in the database, this returns False; otherwise it returns True.

Update a value at a specific key with the result of the provided function. When the key is not a member of the database, this returns False; otherwise it returns True.

Adjust a value at a specific key. When the key is not a member of the database, this returns False; otherwise it returns True.

The monadic action (update f k db) updates the value x at k (if it is in the database). If (f x) is Nothing, the element is deleted. If it is (Just y), the key k is bound to the new value y.

The monadic action (updateWithKey f k db) updates the value x at k (if it is in the database). If (f k x) is Nothing, the element is deleted. If it is (Just y), the key k is bound to the new value y.

Lookup and update. See also updateWithKey. The function returns changed value, if it is updated. Returns the original key value if the database entry is deleted.

The monadic action (alter f k db) alters the value x at k, or absence thereof. alter can be used to insert, delete, or update a value in a database.

Fold the values in the database using the given right-associative binary operator.

Fold the values in the database using the given left-associative binary operator.

Fold the keys and values in the database using the given right-associative binary operator.

Fold the keys and values in the database using the given left-associative binary operator.

Fold the keys and values in the database using the given monoid.

Return all elements of the database in the order of their keys.

Return all keys of the database in the order they are stored on disk.

Convert the database to a list of key/value pairs. Note that this will make a copy of the entire database in memory.