1Set.delete(3kaya) Kaya module reference Set.delete(3kaya)
2
3
4
6 Set::delete - Remove an element from a Set.
7
9 Void delete( var Set<a> set, a val )
10
12 set The set to delete from
13
14 val The value to delete
15
17 Remove an element from a Set. If the value is not in the set, does
18 nothing.
19
21 Kaya standard library by Edwin Brady, Chris Morris and others
22 (kaya@kayalang.org). For further information see http://kayalang.org/
23
25 The Kaya standard library is free software; you can redistribute it
26 and/or modify it under the terms of the GNU Lesser General Public
27 License (version 2.1 or any later version) as published by the Free
28 Software Foundation.
29
31 Set.Set (3kaya)
32 Set.add_1 (3kaya)
33 Set.array_1 (3kaya)
34 Set.elem_1 (3kaya)
35 Set.empty_1 (3kaya)
36 Set.newSet (3kaya)
37
38
39
40Kaya December 2010 Set.delete(3kaya)