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