implementation module SaplHtml
import StdEnv, Void
:: HtmlDocument :== Void
:: HtmlObject :== Void
handleJSEvent :: (HtmlEventHandlerFunc a) !TaskSID *HtmlObject -> Void
handleJSEvent origHandler taskId event = undef
createEventHandler :: (HtmlEventHandlerFunc a) !TaskSID -> HtmlObject
createEventHandler origHandler taskId = undef
getDomElement :: !*HtmlDocument !HtmlElementId -> *(!*HtmlDocument, !HtmlObject)
getDomElement document id = undef
getObjectAttr :: !*HtmlDocument !HtmlObject !HtmlObjAttr -> *(!*HtmlDocument, !HtmlObject, !HtmlObject)
getObjectAttr d object attr = undef
setObjectAttr :: !*HtmlDocument !HtmlObject !HtmlObjAttr !a -> *(!*HtmlDocument, !HtmlObject, !HtmlObject)
setObjectAttr d object attr value = undef
runObjectMethod :: !*HtmlDocument !HtmlObject !String ![HtmlObject] -> *(!*HtmlDocument, !HtmlObject, !HtmlObject)
runObjectMethod d object method args = undef
getDomAttr :: !*HtmlDocument !HtmlElementId !HtmlObjAttr -> *(!*HtmlDocument, !String)
getDomAttr document id attr = undef
setDomAttr :: !*HtmlDocument !HtmlElementId !HtmlObjAttr !a -> *(!*HtmlDocument, !a)
setDomAttr document id attr value = undef
findObject :: !*HtmlDocument !String -> *(!*HtmlDocument, !HtmlObject)
findObject document objname = undef
createObject :: !*HtmlDocument !String ![HtmlObject] -> *(!*HtmlDocument, !HtmlObject)
createObject document objname args = undef
loadExternalJS :: !*HtmlDocument !String !HtmlObject -> *HtmlDocument
loadExternalJS document url continuation = undef
isUndefined :: !HtmlObject -> Bool
isUndefined object = undef
toHtmlObject :: !a -> HtmlObject
toHtmlObject a = undef
fromHtmlObject :: HtmlObject -> a
fromHtmlObject obj = undef