Function output of function delete_entry where input key is key, map is entries, and processed is processed

Search entries for the entry with the key key, delete this entry. Store the processed entries in processed.

Format:

output of function delete_entry where input key is key, map is entries, and processed is processed

Input:

list entries -

variable key -

list processed -

Output:

list - None

Properties that reference this function:

result of deleting the entry with key key from map entries = output of function delete_entry where input key is key, map is entries, and processed is [ ] (Delete Key Property)

output of function delete_entry where input key is key, map is [ pair (key, value), remaining ], and processed is kvs = output of function delete_entry where input key is key, map is remaining, and processed is kvs (Delete Key Property 2)

output of function delete_entry where input key is key, map is [ pair (lkey, lvalue), remaining ], and processed is kvs = output of function delete_entry where input key is key, map is remaining, and processed is [ pair (lkey, lvalue), kvs ] (Delete Key Property 3)

output of function delete_entry where input key is key, map is [ entry key: value, remaining ], and processed is kvs = output of function delete_entry where input key is key, map is remaining, and processed is kvs (Delete Entry Key Property 2)

output of function delete_entry where input key is key, map is [ entry lkey: lvalue, remaining ], and processed is kvs = output of function delete_entry where input key is key, map is remaining, and processed is [ entry lkey: lvalue, kvs ] (Delete Entry Key Property 3)

output of function delete_entry where input key is key, map is [ ], and processed is kvs = reverse of kvs (Delete Key Property 4)

Conditional properties that reference this function:

if entry_key = key, then output of function delete_entry where input key is key, map is [ pair (entry_key, value), remaining ], and processed is kvs = result of dumping kvs to remaining (link)
if not (entry_key = key), then output of function delete_entry where input key is key, map is [ pair (entry_key, value), remaining ], and processed is kvs = output of function delete_entry where input key is key, map is remaining, and processed is [ pair (entry_key, value), kvs ] (link)

Comments

Please log in to add comments