ghcjs-dom-javascript-0.10.0.0: src/GHCJS/DOM/JSFFI/Generated/HTMLIFrameElement.hs
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-}
{-# LANGUAGE ImplicitParams, ConstraintKinds, KindSignatures #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
-- | Generated by dom-gen from html (webref). Do not edit.
module GHCJS.DOM.JSFFI.Generated.HTMLIFrameElement
(js_getSVGDocument, js_setSrc, js_getSrc, js_setSrcdoc, js_getSrcdoc, js_setName, js_getName, js_getSandbox, js_setAllow, js_getAllow, js_setAllowFullscreen, js_getAllowFullscreen, js_setWidth, js_getWidth, js_setHeight, js_getHeight, js_setReferrerPolicy, js_getReferrerPolicy, js_setLoading, js_getLoading, js_getContentDocument, js_getContentWindow, js_setAlign, js_getAlign, js_setScrolling, js_getScrolling, js_setFrameBorder, js_getFrameBorder, js_setLongDesc, js_getLongDesc, js_setMarginHeight, js_getMarginHeight, js_setMarginWidth, js_getMarginWidth, getSVGDocument, getSVGDocument_, getSVGDocumentUnsafe, getSVGDocumentUnchecked, setSrc, getSrc, setSrcdoc, getSrcdoc, setName, getName, getSandbox, setAllow, getAllow, setAllowFullscreen, getAllowFullscreen, setWidth, getWidth, setHeight, getHeight, setReferrerPolicy, getReferrerPolicy, setLoading, getLoading, getContentDocument, getContentDocumentUnsafe, getContentDocumentUnchecked, getContentWindow, getContentWindowUnsafe, getContentWindowUnchecked, setAlign, getAlign, setScrolling, getScrolling, setFrameBorder, getFrameBorder, setLongDesc, getLongDesc, setMarginHeight, getMarginHeight, setMarginWidth, getMarginWidth, HTMLIFrameElement(..), gTypeHTMLIFrameElement)
where
import Prelude ((.), (==), (>>=), (<$>), (++), Bool(..), Maybe(..), IO, Int, Word, Double, Float)
import qualified Prelude as P
import Control.Monad (void)
import GHCJS.Types (JSVal, JSString)
import GHCJS.Foreign (jsUndefined, jsNull)
import GHCJS.DOM.Types
import qualified GHCJS.DOM.Types as Types
import GHCJS.DOM.EventTargetClosures (EventName, unsafeEventName, unsafeEventNameAsync)
import GHCJS.DOM.JSFFI.Generated.Enums
foreign import javascript safe "(($1) => { return $1[\"getSVGDocument\"](); })"
js_getSVGDocument :: HTMLIFrameElement -> IO JSVal
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/getSVGDocument MDN HTMLIFrameElement.getSVGDocument documentation>
getSVGDocument :: (MonadDOM m) => HTMLIFrameElement -> m (Maybe Document)
getSVGDocument self = liftDOM (((js_getSVGDocument (self)) >>= fromJSValUnchecked))
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/getSVGDocument MDN HTMLIFrameElement.getSVGDocument documentation>
getSVGDocument_ :: (MonadDOM m) => HTMLIFrameElement -> m ()
getSVGDocument_ self = liftDOM (void ((js_getSVGDocument (self))))
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/getSVGDocument MDN HTMLIFrameElement.getSVGDocument documentation>
getSVGDocumentUnsafe :: (MonadDOM m, HasCallStack) => HTMLIFrameElement -> m Document
getSVGDocumentUnsafe self = liftDOM ((((js_getSVGDocument (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/getSVGDocument MDN HTMLIFrameElement.getSVGDocument documentation>
getSVGDocumentUnchecked :: (MonadDOM m) => HTMLIFrameElement -> m Document
getSVGDocumentUnchecked self = liftDOM ((pFromJSVal <$> (js_getSVGDocument (self))))
foreign import javascript safe "(($1, $2) => { $1[\"src\"] = $2; })"
js_setSrc :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/src MDN HTMLIFrameElement.src documentation>
setSrc :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setSrc self val = liftDOM (void ((js_setSrc (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"src\"]; })"
js_getSrc :: HTMLIFrameElement -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/src MDN HTMLIFrameElement.src documentation>
getSrc :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getSrc self = liftDOM ((fromJSString <$> (js_getSrc (self))))
foreign import javascript safe "(($1, $2) => { $1[\"srcdoc\"] = $2; })"
js_setSrcdoc :: HTMLIFrameElement -> TrustedHTMLOrString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/srcdoc MDN HTMLIFrameElement.srcdoc documentation>
setSrcdoc :: (MonadDOM m, IsTrustedHTMLOrString val) => HTMLIFrameElement -> val -> m ()
setSrcdoc self val = liftDOM (void ((js_setSrcdoc (self) (Types.toTrustedHTMLOrString val))))
foreign import javascript unsafe "(($1) => { return $1[\"srcdoc\"]; })"
js_getSrcdoc :: HTMLIFrameElement -> IO TrustedHTMLOrString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/srcdoc MDN HTMLIFrameElement.srcdoc documentation>
getSrcdoc :: (MonadDOM m) => HTMLIFrameElement -> m TrustedHTMLOrString
getSrcdoc self = liftDOM ((js_getSrcdoc (self)))
foreign import javascript safe "(($1, $2) => { $1[\"name\"] = $2; })"
js_setName :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/name MDN HTMLIFrameElement.name documentation>
setName :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setName self val = liftDOM (void ((js_setName (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"name\"]; })"
js_getName :: HTMLIFrameElement -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/name MDN HTMLIFrameElement.name documentation>
getName :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getName self = liftDOM ((fromJSString <$> (js_getName (self))))
foreign import javascript unsafe "(($1) => { return $1[\"sandbox\"]; })"
js_getSandbox :: HTMLIFrameElement -> IO DOMTokenList
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/sandbox MDN HTMLIFrameElement.sandbox documentation>
getSandbox :: (MonadDOM m) => HTMLIFrameElement -> m DOMTokenList
getSandbox self = liftDOM ((js_getSandbox (self)))
foreign import javascript safe "(($1, $2) => { $1[\"allow\"] = $2; })"
js_setAllow :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/allow MDN HTMLIFrameElement.allow documentation>
setAllow :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setAllow self val = liftDOM (void ((js_setAllow (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"allow\"]; })"
js_getAllow :: HTMLIFrameElement -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/allow MDN HTMLIFrameElement.allow documentation>
getAllow :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getAllow self = liftDOM ((fromJSString <$> (js_getAllow (self))))
foreign import javascript safe "(($1, $2) => { $1[\"allowFullscreen\"] = $2; })"
js_setAllowFullscreen :: HTMLIFrameElement -> Bool -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/allowFullscreen MDN HTMLIFrameElement.allowFullscreen documentation>
setAllowFullscreen :: (MonadDOM m) => HTMLIFrameElement -> Bool -> m ()
setAllowFullscreen self val = liftDOM (void ((js_setAllowFullscreen (self) (val))))
foreign import javascript unsafe "(($1) => { return $1[\"allowFullscreen\"]; })"
js_getAllowFullscreen :: HTMLIFrameElement -> IO Bool
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/allowFullscreen MDN HTMLIFrameElement.allowFullscreen documentation>
getAllowFullscreen :: (MonadDOM m) => HTMLIFrameElement -> m Bool
getAllowFullscreen self = liftDOM ((js_getAllowFullscreen (self)))
foreign import javascript safe "(($1, $2) => { $1[\"width\"] = $2; })"
js_setWidth :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/width MDN HTMLIFrameElement.width documentation>
setWidth :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setWidth self val = liftDOM (void ((js_setWidth (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"width\"]; })"
js_getWidth :: HTMLIFrameElement -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/width MDN HTMLIFrameElement.width documentation>
getWidth :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getWidth self = liftDOM ((fromJSString <$> (js_getWidth (self))))
foreign import javascript safe "(($1, $2) => { $1[\"height\"] = $2; })"
js_setHeight :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/height MDN HTMLIFrameElement.height documentation>
setHeight :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setHeight self val = liftDOM (void ((js_setHeight (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"height\"]; })"
js_getHeight :: HTMLIFrameElement -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/height MDN HTMLIFrameElement.height documentation>
getHeight :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getHeight self = liftDOM ((fromJSString <$> (js_getHeight (self))))
foreign import javascript safe "(($1, $2) => { $1[\"referrerPolicy\"] = $2; })"
js_setReferrerPolicy :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/referrerPolicy MDN HTMLIFrameElement.referrerPolicy documentation>
setReferrerPolicy :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setReferrerPolicy self val = liftDOM (void ((js_setReferrerPolicy (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"referrerPolicy\"]; })"
js_getReferrerPolicy :: HTMLIFrameElement -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/referrerPolicy MDN HTMLIFrameElement.referrerPolicy documentation>
getReferrerPolicy :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getReferrerPolicy self = liftDOM ((fromJSString <$> (js_getReferrerPolicy (self))))
foreign import javascript safe "(($1, $2) => { $1[\"loading\"] = $2; })"
js_setLoading :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/loading MDN HTMLIFrameElement.loading documentation>
setLoading :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setLoading self val = liftDOM (void ((js_setLoading (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"loading\"]; })"
js_getLoading :: HTMLIFrameElement -> IO JSString
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/loading MDN HTMLIFrameElement.loading documentation>
getLoading :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getLoading self = liftDOM ((fromJSString <$> (js_getLoading (self))))
foreign import javascript unsafe "(($1) => { return $1[\"contentDocument\"]; })"
js_getContentDocument :: HTMLIFrameElement -> IO JSVal
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentDocument MDN HTMLIFrameElement.contentDocument documentation>
getContentDocument :: (MonadDOM m) => HTMLIFrameElement -> m (Maybe Document)
getContentDocument self = liftDOM (((js_getContentDocument (self)) >>= fromJSValUnchecked))
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentDocument MDN HTMLIFrameElement.contentDocument documentation>
getContentDocumentUnsafe :: (MonadDOM m, HasCallStack) => HTMLIFrameElement -> m Document
getContentDocumentUnsafe self = liftDOM ((((js_getContentDocument (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentDocument MDN HTMLIFrameElement.contentDocument documentation>
getContentDocumentUnchecked :: (MonadDOM m) => HTMLIFrameElement -> m Document
getContentDocumentUnchecked self = liftDOM ((pFromJSVal <$> (js_getContentDocument (self))))
foreign import javascript unsafe "(($1) => { return $1[\"contentWindow\"]; })"
js_getContentWindow :: HTMLIFrameElement -> IO JSVal
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentWindow MDN HTMLIFrameElement.contentWindow documentation>
getContentWindow :: (MonadDOM m) => HTMLIFrameElement -> m (Maybe Window)
getContentWindow self = liftDOM (((js_getContentWindow (self)) >>= fromJSValUnchecked))
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentWindow MDN HTMLIFrameElement.contentWindow documentation>
getContentWindowUnsafe :: (MonadDOM m, HasCallStack) => HTMLIFrameElement -> m Window
getContentWindowUnsafe self = liftDOM ((((js_getContentWindow (self)) >>= fromJSValUnchecked) >>= P.maybe (P.error "Nothing to return") P.return))
-- | <https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentWindow MDN HTMLIFrameElement.contentWindow documentation>
getContentWindowUnchecked :: (MonadDOM m) => HTMLIFrameElement -> m Window
getContentWindowUnchecked self = liftDOM ((pFromJSVal <$> (js_getContentWindow (self))))
foreign import javascript safe "(($1, $2) => { $1[\"align\"] = $2; })"
js_setAlign :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-align HTMLIFrameElement.align specification>
setAlign :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setAlign self val = liftDOM (void ((js_setAlign (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"align\"]; })"
js_getAlign :: HTMLIFrameElement -> IO JSString
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-align HTMLIFrameElement.align specification>
getAlign :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getAlign self = liftDOM ((fromJSString <$> (js_getAlign (self))))
foreign import javascript safe "(($1, $2) => { $1[\"scrolling\"] = $2; })"
js_setScrolling :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-scrolling HTMLIFrameElement.scrolling specification>
setScrolling :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setScrolling self val = liftDOM (void ((js_setScrolling (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"scrolling\"]; })"
js_getScrolling :: HTMLIFrameElement -> IO JSString
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-scrolling HTMLIFrameElement.scrolling specification>
getScrolling :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getScrolling self = liftDOM ((fromJSString <$> (js_getScrolling (self))))
foreign import javascript safe "(($1, $2) => { $1[\"frameBorder\"] = $2; })"
js_setFrameBorder :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-frameborder HTMLIFrameElement.frameBorder specification>
setFrameBorder :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setFrameBorder self val = liftDOM (void ((js_setFrameBorder (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"frameBorder\"]; })"
js_getFrameBorder :: HTMLIFrameElement -> IO JSString
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-frameborder HTMLIFrameElement.frameBorder specification>
getFrameBorder :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getFrameBorder self = liftDOM ((fromJSString <$> (js_getFrameBorder (self))))
foreign import javascript safe "(($1, $2) => { $1[\"longDesc\"] = $2; })"
js_setLongDesc :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-longdesc HTMLIFrameElement.longDesc specification>
setLongDesc :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setLongDesc self val = liftDOM (void ((js_setLongDesc (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"longDesc\"]; })"
js_getLongDesc :: HTMLIFrameElement -> IO JSString
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-longdesc HTMLIFrameElement.longDesc specification>
getLongDesc :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getLongDesc self = liftDOM ((fromJSString <$> (js_getLongDesc (self))))
foreign import javascript safe "(($1, $2) => { $1[\"marginHeight\"] = $2; })"
js_setMarginHeight :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-marginheight HTMLIFrameElement.marginHeight specification>
setMarginHeight :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setMarginHeight self val = liftDOM (void ((js_setMarginHeight (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"marginHeight\"]; })"
js_getMarginHeight :: HTMLIFrameElement -> IO JSString
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-marginheight HTMLIFrameElement.marginHeight specification>
getMarginHeight :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getMarginHeight self = liftDOM ((fromJSString <$> (js_getMarginHeight (self))))
foreign import javascript safe "(($1, $2) => { $1[\"marginWidth\"] = $2; })"
js_setMarginWidth :: HTMLIFrameElement -> JSString -> IO ()
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-marginwidth HTMLIFrameElement.marginWidth specification>
setMarginWidth :: (MonadDOM m, ToJSString val) => HTMLIFrameElement -> val -> m ()
setMarginWidth self val = liftDOM (void ((js_setMarginWidth (self) (toJSString val))))
foreign import javascript unsafe "(($1) => { return $1[\"marginWidth\"]; })"
js_getMarginWidth :: HTMLIFrameElement -> IO JSString
-- | <https://html.spec.whatwg.org/multipage/obsolete.html#dom-iframe-marginwidth HTMLIFrameElement.marginWidth specification>
getMarginWidth :: (MonadDOM m, FromJSString result) => HTMLIFrameElement -> m result
getMarginWidth self = liftDOM ((fromJSString <$> (js_getMarginWidth (self))))