Set.delete(3kaya)
NAME
Set::delete - Remove an element from a HashSet.
SYNOPSIS
Void delete( HashSet<a> set, a key )
ARGUMENTS
set The set to delete from
val The value to delete
DESCRIPTION
Remove an element from a HashSet. If the value is not in the set, does
nothing.
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
- Set.HashSet (3kaya)
Set.add (3kaya)
Set.array (3kaya)
Set.elem (3kaya)
Set.empty (3kaya)
Set.newHashSet (3kaya)