1Dict.delete(3kaya) Kaya module reference Dict.delete(3kaya)
2
3
4
6 Dict::delete - Remove an entry from a tiny dictionary
7
9 Void delete( TinyDict<a, b> dict, a key )
10
12 dict A tiny dictionary
13
14 a The key of the entry to remove.
15
17 Remove the entry with the given key from the tiny dictionary.
18
20 Kaya standard library by Edwin Brady, Chris Morris and others
21 (kaya@kayalang.org). For further information see http://kayalang.org/
22
24 The Kaya standard library is free software; you can redistribute it
25 and/or modify it under the terms of the GNU Lesser General Public
26 License (version 2.1 or any later version) as published by the Free
27 Software Foundation.
28
30 Dict.TinyDict (3kaya)
31 Dict.add_1 (3kaya)
32 Dict.empty_1 (3kaya)
33 Dict.entries_1 (3kaya)
34 Dict.exists_1 (3kaya)
35 Dict.keys_1 (3kaya)
36 Dict.lookup_1 (3kaya)
37 Dict.newTiny (3kaya)
38 Dict.vals_1 (3kaya)
39
40
41
42Kaya December 2010 Dict.delete(3kaya)