Dict.delete(3kaya)
NAME
Dict::delete - Remove an entry from a tiny dictionary
SYNOPSIS
Void delete( TinyDict<a, b> dict, a key )
ARGUMENTS
dict A tiny dictionary
a The key of the entry to remove.
DESCRIPTION
Remove the entry with the given key from the tiny dictionary.
AUTHORS
Kaya standard library by Edwin Brady, Chris Morris and others
(kaya@kayalang.org). For further information see http://kayalang.org/
LICENSE
The Kaya standard library is free software; you can redistribute it
and/or modify it under the terms of the GNU Lesser General Public
License (version 2.1 or any later version) as published by the Free
Software Foundation.
RELATED
- Dict.TinyDict (3kaya)
Dict.add_1 (3kaya)
Dict.empty_1 (3kaya)
Dict.entries_1 (3kaya)
Dict.exists_1 (3kaya)
Dict.keys_1 (3kaya)
Dict.lookup_1 (3kaya)
Dict.newTiny (3kaya)
Dict.vals_1 (3kaya)