Gets an attribute value from a html element
Maybe<String> getAttribute( ElementTree element, String name )
element The HTML element
name The attribute name
Gets an attribute value from a HTML element, or nothing if the attribute is not set.
case getAttribute(el,"class") of {
nothing -> setClass(el,"recentchange");
| just(c) -> setClass(el,c+" recentchange");
}
Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see http://kayalang.org/
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.
HTMLDocument.setAttribute (3kaya)