{-# LANGUAGE CPP #-} #if (defined(ghcjs_HOST_OS) && defined(USE_JAVASCRIPTFFI)) || !defined(USE_WEBKIT) {-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-} module GHCJS.DOM.HTMLMediaElement (ghcjs_dom_html_media_element_load, htmlMediaElementLoad, ghcjs_dom_html_media_element_can_play_type, htmlMediaElementCanPlayType, ghcjs_dom_html_media_element_play, htmlMediaElementPlay, ghcjs_dom_html_media_element_pause, htmlMediaElementPause, cNETWORK_EMPTY, cNETWORK_IDLE, cNETWORK_LOADING, cNETWORK_NO_SOURCE, cHAVE_NOTHING, cHAVE_METADATA, cHAVE_CURRENT_DATA, cHAVE_FUTURE_DATA, cHAVE_ENOUGH_DATA, ghcjs_dom_html_media_element_get_error, htmlMediaElementGetError, ghcjs_dom_html_media_element_set_src, htmlMediaElementSetSrc, ghcjs_dom_html_media_element_get_src, htmlMediaElementGetSrc, ghcjs_dom_html_media_element_get_current_src, htmlMediaElementGetCurrentSrc, ghcjs_dom_html_media_element_get_network_state, htmlMediaElementGetNetworkState, ghcjs_dom_html_media_element_set_preload, htmlMediaElementSetPreload, ghcjs_dom_html_media_element_get_preload, htmlMediaElementGetPreload, ghcjs_dom_html_media_element_get_buffered, htmlMediaElementGetBuffered, ghcjs_dom_html_media_element_get_ready_state, htmlMediaElementGetReadyState, ghcjs_dom_html_media_element_get_seeking, htmlMediaElementGetSeeking, ghcjs_dom_html_media_element_set_current_time, htmlMediaElementSetCurrentTime, ghcjs_dom_html_media_element_get_current_time, htmlMediaElementGetCurrentTime, ghcjs_dom_html_media_element_get_initial_time, htmlMediaElementGetInitialTime, ghcjs_dom_html_media_element_get_start_time, htmlMediaElementGetStartTime, ghcjs_dom_html_media_element_get_duration, htmlMediaElementGetDuration, ghcjs_dom_html_media_element_get_paused, htmlMediaElementGetPaused, ghcjs_dom_html_media_element_set_default_playback_rate, htmlMediaElementSetDefaultPlaybackRate, ghcjs_dom_html_media_element_get_default_playback_rate, htmlMediaElementGetDefaultPlaybackRate, ghcjs_dom_html_media_element_set_playback_rate, htmlMediaElementSetPlaybackRate, ghcjs_dom_html_media_element_get_playback_rate, htmlMediaElementGetPlaybackRate, ghcjs_dom_html_media_element_get_played, htmlMediaElementGetPlayed, ghcjs_dom_html_media_element_get_seekable, htmlMediaElementGetSeekable, ghcjs_dom_html_media_element_get_ended, htmlMediaElementGetEnded, ghcjs_dom_html_media_element_set_autoplay, htmlMediaElementSetAutoplay, ghcjs_dom_html_media_element_get_autoplay, htmlMediaElementGetAutoplay, ghcjs_dom_html_media_element_set_loop, htmlMediaElementSetLoop, ghcjs_dom_html_media_element_get_loop, htmlMediaElementGetLoop, ghcjs_dom_html_media_element_set_controls, htmlMediaElementSetControls, ghcjs_dom_html_media_element_get_controls, htmlMediaElementGetControls, ghcjs_dom_html_media_element_set_volume, htmlMediaElementSetVolume, ghcjs_dom_html_media_element_get_volume, htmlMediaElementGetVolume, ghcjs_dom_html_media_element_set_muted, htmlMediaElementSetMuted, ghcjs_dom_html_media_element_get_muted, htmlMediaElementGetMuted, ghcjs_dom_html_media_element_set_default_muted, htmlMediaElementSetDefaultMuted, ghcjs_dom_html_media_element_get_default_muted, htmlMediaElementGetDefaultMuted, ghcjs_dom_html_media_element_set_webkit_preserves_pitch, htmlMediaElementSetWebkitPreservesPitch, ghcjs_dom_html_media_element_get_webkit_preserves_pitch, htmlMediaElementGetWebkitPreservesPitch, ghcjs_dom_html_media_element_get_webkit_has_closed_captions, htmlMediaElementGetWebkitHasClosedCaptions, ghcjs_dom_html_media_element_set_webkit_closed_captions_visible, htmlMediaElementSetWebkitClosedCaptionsVisible, ghcjs_dom_html_media_element_get_webkit_closed_captions_visible, htmlMediaElementGetWebkitClosedCaptionsVisible, ghcjs_dom_html_media_element_get_webkit_audio_decoded_byte_count, htmlMediaElementGetWebkitAudioDecodedByteCount, ghcjs_dom_html_media_element_get_webkit_video_decoded_byte_count, htmlMediaElementGetWebkitVideoDecodedByteCount, htmlMediaElementOnwebkitneedkey, ghcjs_dom_html_media_element_set_media_group, htmlMediaElementSetMediaGroup, ghcjs_dom_html_media_element_get_media_group, htmlMediaElementGetMediaGroup, HTMLMediaElement, IsHTMLMediaElement, castToHTMLMediaElement, gTypeHTMLMediaElement, toHTMLMediaElement) where import GHCJS.Types import GHCJS.Foreign import Data.Word import GHCJS.DOM.Types import Control.Applicative ((<$>)) import GHCJS.DOM.EventM import GHCJS.Types import GHCJS.Foreign import Data.Word import GHCJS.DOM.Types import Control.Applicative ((<$>)) import GHCJS.DOM.EventM #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"load\"]()" ghcjs_dom_html_media_element_load :: JSRef HTMLMediaElement -> IO () #else ghcjs_dom_html_media_element_load :: JSRef HTMLMediaElement -> IO () ghcjs_dom_html_media_element_load = undefined #endif htmlMediaElementLoad :: (IsHTMLMediaElement self) => self -> IO () htmlMediaElementLoad self = ghcjs_dom_html_media_element_load (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"canPlayType\"]($2)" ghcjs_dom_html_media_element_can_play_type :: JSRef HTMLMediaElement -> JSString -> IO JSString #else ghcjs_dom_html_media_element_can_play_type :: JSRef HTMLMediaElement -> JSString -> IO JSString ghcjs_dom_html_media_element_can_play_type = undefined #endif htmlMediaElementCanPlayType :: (IsHTMLMediaElement self, ToJSString type', FromJSString result) => self -> type' -> IO result htmlMediaElementCanPlayType self type' = fromJSString <$> (ghcjs_dom_html_media_element_can_play_type (unHTMLMediaElement (toHTMLMediaElement self)) (toJSString type')) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"play\"]()" ghcjs_dom_html_media_element_play :: JSRef HTMLMediaElement -> IO () #else ghcjs_dom_html_media_element_play :: JSRef HTMLMediaElement -> IO () ghcjs_dom_html_media_element_play = undefined #endif htmlMediaElementPlay :: (IsHTMLMediaElement self) => self -> IO () htmlMediaElementPlay self = ghcjs_dom_html_media_element_play (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"pause\"]()" ghcjs_dom_html_media_element_pause :: JSRef HTMLMediaElement -> IO () #else ghcjs_dom_html_media_element_pause :: JSRef HTMLMediaElement -> IO () ghcjs_dom_html_media_element_pause = undefined #endif htmlMediaElementPause :: (IsHTMLMediaElement self) => self -> IO () htmlMediaElementPause self = ghcjs_dom_html_media_element_pause (unHTMLMediaElement (toHTMLMediaElement self)) cNETWORK_EMPTY = 0 cNETWORK_IDLE = 1 cNETWORK_LOADING = 2 cNETWORK_NO_SOURCE = 3 cHAVE_NOTHING = 0 cHAVE_METADATA = 1 cHAVE_CURRENT_DATA = 2 cHAVE_FUTURE_DATA = 3 cHAVE_ENOUGH_DATA = 4 #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"error\"]" ghcjs_dom_html_media_element_get_error :: JSRef HTMLMediaElement -> IO (JSRef MediaError) #else ghcjs_dom_html_media_element_get_error :: JSRef HTMLMediaElement -> IO (JSRef MediaError) ghcjs_dom_html_media_element_get_error = undefined #endif htmlMediaElementGetError :: (IsHTMLMediaElement self) => self -> IO (Maybe MediaError) htmlMediaElementGetError self = fmap MediaError . maybeJSNull <$> (ghcjs_dom_html_media_element_get_error (unHTMLMediaElement (toHTMLMediaElement self))) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"src\"] = $2;" ghcjs_dom_html_media_element_set_src :: JSRef HTMLMediaElement -> JSString -> IO () #else ghcjs_dom_html_media_element_set_src :: JSRef HTMLMediaElement -> JSString -> IO () ghcjs_dom_html_media_element_set_src = undefined #endif htmlMediaElementSetSrc :: (IsHTMLMediaElement self, ToJSString val) => self -> val -> IO () htmlMediaElementSetSrc self val = ghcjs_dom_html_media_element_set_src (unHTMLMediaElement (toHTMLMediaElement self)) (toJSString val) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"src\"]" ghcjs_dom_html_media_element_get_src :: JSRef HTMLMediaElement -> IO JSString #else ghcjs_dom_html_media_element_get_src :: JSRef HTMLMediaElement -> IO JSString ghcjs_dom_html_media_element_get_src = undefined #endif htmlMediaElementGetSrc :: (IsHTMLMediaElement self, FromJSString result) => self -> IO result htmlMediaElementGetSrc self = fromJSString <$> (ghcjs_dom_html_media_element_get_src (unHTMLMediaElement (toHTMLMediaElement self))) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"currentSrc\"]" ghcjs_dom_html_media_element_get_current_src :: JSRef HTMLMediaElement -> IO JSString #else ghcjs_dom_html_media_element_get_current_src :: JSRef HTMLMediaElement -> IO JSString ghcjs_dom_html_media_element_get_current_src = undefined #endif htmlMediaElementGetCurrentSrc :: (IsHTMLMediaElement self, FromJSString result) => self -> IO result htmlMediaElementGetCurrentSrc self = fromJSString <$> (ghcjs_dom_html_media_element_get_current_src (unHTMLMediaElement (toHTMLMediaElement self))) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"networkState\"]" ghcjs_dom_html_media_element_get_network_state :: JSRef HTMLMediaElement -> IO Word #else ghcjs_dom_html_media_element_get_network_state :: JSRef HTMLMediaElement -> IO Word ghcjs_dom_html_media_element_get_network_state = undefined #endif htmlMediaElementGetNetworkState :: (IsHTMLMediaElement self) => self -> IO Word htmlMediaElementGetNetworkState self = ghcjs_dom_html_media_element_get_network_state (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"preload\"] = $2;" ghcjs_dom_html_media_element_set_preload :: JSRef HTMLMediaElement -> JSString -> IO () #else ghcjs_dom_html_media_element_set_preload :: JSRef HTMLMediaElement -> JSString -> IO () ghcjs_dom_html_media_element_set_preload = undefined #endif htmlMediaElementSetPreload :: (IsHTMLMediaElement self, ToJSString val) => self -> val -> IO () htmlMediaElementSetPreload self val = ghcjs_dom_html_media_element_set_preload (unHTMLMediaElement (toHTMLMediaElement self)) (toJSString val) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"preload\"]" ghcjs_dom_html_media_element_get_preload :: JSRef HTMLMediaElement -> IO JSString #else ghcjs_dom_html_media_element_get_preload :: JSRef HTMLMediaElement -> IO JSString ghcjs_dom_html_media_element_get_preload = undefined #endif htmlMediaElementGetPreload :: (IsHTMLMediaElement self, FromJSString result) => self -> IO result htmlMediaElementGetPreload self = fromJSString <$> (ghcjs_dom_html_media_element_get_preload (unHTMLMediaElement (toHTMLMediaElement self))) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"buffered\"]" ghcjs_dom_html_media_element_get_buffered :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges) #else ghcjs_dom_html_media_element_get_buffered :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges) ghcjs_dom_html_media_element_get_buffered = undefined #endif htmlMediaElementGetBuffered :: (IsHTMLMediaElement self) => self -> IO (Maybe TimeRanges) htmlMediaElementGetBuffered self = fmap TimeRanges . maybeJSNull <$> (ghcjs_dom_html_media_element_get_buffered (unHTMLMediaElement (toHTMLMediaElement self))) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"readyState\"]" ghcjs_dom_html_media_element_get_ready_state :: JSRef HTMLMediaElement -> IO Word #else ghcjs_dom_html_media_element_get_ready_state :: JSRef HTMLMediaElement -> IO Word ghcjs_dom_html_media_element_get_ready_state = undefined #endif htmlMediaElementGetReadyState :: (IsHTMLMediaElement self) => self -> IO Word htmlMediaElementGetReadyState self = ghcjs_dom_html_media_element_get_ready_state (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"seeking\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_seeking :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_seeking :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_seeking = undefined #endif htmlMediaElementGetSeeking :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetSeeking self = ghcjs_dom_html_media_element_get_seeking (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"currentTime\"] = $2;" ghcjs_dom_html_media_element_set_current_time :: JSRef HTMLMediaElement -> Double -> IO () #else ghcjs_dom_html_media_element_set_current_time :: JSRef HTMLMediaElement -> Double -> IO () ghcjs_dom_html_media_element_set_current_time = undefined #endif htmlMediaElementSetCurrentTime :: (IsHTMLMediaElement self) => self -> Double -> IO () htmlMediaElementSetCurrentTime self val = ghcjs_dom_html_media_element_set_current_time (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"currentTime\"]" ghcjs_dom_html_media_element_get_current_time :: JSRef HTMLMediaElement -> IO Double #else ghcjs_dom_html_media_element_get_current_time :: JSRef HTMLMediaElement -> IO Double ghcjs_dom_html_media_element_get_current_time = undefined #endif htmlMediaElementGetCurrentTime :: (IsHTMLMediaElement self) => self -> IO Double htmlMediaElementGetCurrentTime self = ghcjs_dom_html_media_element_get_current_time (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"initialTime\"]" ghcjs_dom_html_media_element_get_initial_time :: JSRef HTMLMediaElement -> IO Double #else ghcjs_dom_html_media_element_get_initial_time :: JSRef HTMLMediaElement -> IO Double ghcjs_dom_html_media_element_get_initial_time = undefined #endif htmlMediaElementGetInitialTime :: (IsHTMLMediaElement self) => self -> IO Double htmlMediaElementGetInitialTime self = ghcjs_dom_html_media_element_get_initial_time (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"startTime\"]" ghcjs_dom_html_media_element_get_start_time :: JSRef HTMLMediaElement -> IO Double #else ghcjs_dom_html_media_element_get_start_time :: JSRef HTMLMediaElement -> IO Double ghcjs_dom_html_media_element_get_start_time = undefined #endif htmlMediaElementGetStartTime :: (IsHTMLMediaElement self) => self -> IO Double htmlMediaElementGetStartTime self = ghcjs_dom_html_media_element_get_start_time (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"duration\"]" ghcjs_dom_html_media_element_get_duration :: JSRef HTMLMediaElement -> IO Double #else ghcjs_dom_html_media_element_get_duration :: JSRef HTMLMediaElement -> IO Double ghcjs_dom_html_media_element_get_duration = undefined #endif htmlMediaElementGetDuration :: (IsHTMLMediaElement self) => self -> IO Double htmlMediaElementGetDuration self = ghcjs_dom_html_media_element_get_duration (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"paused\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_paused :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_paused :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_paused = undefined #endif htmlMediaElementGetPaused :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetPaused self = ghcjs_dom_html_media_element_get_paused (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"defaultPlaybackRate\"] = $2;" ghcjs_dom_html_media_element_set_default_playback_rate :: JSRef HTMLMediaElement -> Double -> IO () #else ghcjs_dom_html_media_element_set_default_playback_rate :: JSRef HTMLMediaElement -> Double -> IO () ghcjs_dom_html_media_element_set_default_playback_rate = undefined #endif htmlMediaElementSetDefaultPlaybackRate :: (IsHTMLMediaElement self) => self -> Double -> IO () htmlMediaElementSetDefaultPlaybackRate self val = ghcjs_dom_html_media_element_set_default_playback_rate (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"defaultPlaybackRate\"]" ghcjs_dom_html_media_element_get_default_playback_rate :: JSRef HTMLMediaElement -> IO Double #else ghcjs_dom_html_media_element_get_default_playback_rate :: JSRef HTMLMediaElement -> IO Double ghcjs_dom_html_media_element_get_default_playback_rate = undefined #endif htmlMediaElementGetDefaultPlaybackRate :: (IsHTMLMediaElement self) => self -> IO Double htmlMediaElementGetDefaultPlaybackRate self = ghcjs_dom_html_media_element_get_default_playback_rate (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"playbackRate\"] = $2;" ghcjs_dom_html_media_element_set_playback_rate :: JSRef HTMLMediaElement -> Double -> IO () #else ghcjs_dom_html_media_element_set_playback_rate :: JSRef HTMLMediaElement -> Double -> IO () ghcjs_dom_html_media_element_set_playback_rate = undefined #endif htmlMediaElementSetPlaybackRate :: (IsHTMLMediaElement self) => self -> Double -> IO () htmlMediaElementSetPlaybackRate self val = ghcjs_dom_html_media_element_set_playback_rate (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"playbackRate\"]" ghcjs_dom_html_media_element_get_playback_rate :: JSRef HTMLMediaElement -> IO Double #else ghcjs_dom_html_media_element_get_playback_rate :: JSRef HTMLMediaElement -> IO Double ghcjs_dom_html_media_element_get_playback_rate = undefined #endif htmlMediaElementGetPlaybackRate :: (IsHTMLMediaElement self) => self -> IO Double htmlMediaElementGetPlaybackRate self = ghcjs_dom_html_media_element_get_playback_rate (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"played\"]" ghcjs_dom_html_media_element_get_played :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges) #else ghcjs_dom_html_media_element_get_played :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges) ghcjs_dom_html_media_element_get_played = undefined #endif htmlMediaElementGetPlayed :: (IsHTMLMediaElement self) => self -> IO (Maybe TimeRanges) htmlMediaElementGetPlayed self = fmap TimeRanges . maybeJSNull <$> (ghcjs_dom_html_media_element_get_played (unHTMLMediaElement (toHTMLMediaElement self))) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"seekable\"]" ghcjs_dom_html_media_element_get_seekable :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges) #else ghcjs_dom_html_media_element_get_seekable :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges) ghcjs_dom_html_media_element_get_seekable = undefined #endif htmlMediaElementGetSeekable :: (IsHTMLMediaElement self) => self -> IO (Maybe TimeRanges) htmlMediaElementGetSeekable self = fmap TimeRanges . maybeJSNull <$> (ghcjs_dom_html_media_element_get_seekable (unHTMLMediaElement (toHTMLMediaElement self))) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"ended\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_ended :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_ended :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_ended = undefined #endif htmlMediaElementGetEnded :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetEnded self = ghcjs_dom_html_media_element_get_ended (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"autoplay\"] = $2;" ghcjs_dom_html_media_element_set_autoplay :: JSRef HTMLMediaElement -> Bool -> IO () #else ghcjs_dom_html_media_element_set_autoplay :: JSRef HTMLMediaElement -> Bool -> IO () ghcjs_dom_html_media_element_set_autoplay = undefined #endif htmlMediaElementSetAutoplay :: (IsHTMLMediaElement self) => self -> Bool -> IO () htmlMediaElementSetAutoplay self val = ghcjs_dom_html_media_element_set_autoplay (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"autoplay\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_autoplay :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_autoplay :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_autoplay = undefined #endif htmlMediaElementGetAutoplay :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetAutoplay self = ghcjs_dom_html_media_element_get_autoplay (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"loop\"] = $2;" ghcjs_dom_html_media_element_set_loop :: JSRef HTMLMediaElement -> Bool -> IO () #else ghcjs_dom_html_media_element_set_loop :: JSRef HTMLMediaElement -> Bool -> IO () ghcjs_dom_html_media_element_set_loop = undefined #endif htmlMediaElementSetLoop :: (IsHTMLMediaElement self) => self -> Bool -> IO () htmlMediaElementSetLoop self val = ghcjs_dom_html_media_element_set_loop (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"loop\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_loop :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_loop :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_loop = undefined #endif htmlMediaElementGetLoop :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetLoop self = ghcjs_dom_html_media_element_get_loop (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"controls\"] = $2;" ghcjs_dom_html_media_element_set_controls :: JSRef HTMLMediaElement -> Bool -> IO () #else ghcjs_dom_html_media_element_set_controls :: JSRef HTMLMediaElement -> Bool -> IO () ghcjs_dom_html_media_element_set_controls = undefined #endif htmlMediaElementSetControls :: (IsHTMLMediaElement self) => self -> Bool -> IO () htmlMediaElementSetControls self val = ghcjs_dom_html_media_element_set_controls (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"controls\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_controls :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_controls :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_controls = undefined #endif htmlMediaElementGetControls :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetControls self = ghcjs_dom_html_media_element_get_controls (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"volume\"] = $2;" ghcjs_dom_html_media_element_set_volume :: JSRef HTMLMediaElement -> Double -> IO () #else ghcjs_dom_html_media_element_set_volume :: JSRef HTMLMediaElement -> Double -> IO () ghcjs_dom_html_media_element_set_volume = undefined #endif htmlMediaElementSetVolume :: (IsHTMLMediaElement self) => self -> Double -> IO () htmlMediaElementSetVolume self val = ghcjs_dom_html_media_element_set_volume (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"volume\"]" ghcjs_dom_html_media_element_get_volume :: JSRef HTMLMediaElement -> IO Double #else ghcjs_dom_html_media_element_get_volume :: JSRef HTMLMediaElement -> IO Double ghcjs_dom_html_media_element_get_volume = undefined #endif htmlMediaElementGetVolume :: (IsHTMLMediaElement self) => self -> IO Double htmlMediaElementGetVolume self = ghcjs_dom_html_media_element_get_volume (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"muted\"] = $2;" ghcjs_dom_html_media_element_set_muted :: JSRef HTMLMediaElement -> Bool -> IO () #else ghcjs_dom_html_media_element_set_muted :: JSRef HTMLMediaElement -> Bool -> IO () ghcjs_dom_html_media_element_set_muted = undefined #endif htmlMediaElementSetMuted :: (IsHTMLMediaElement self) => self -> Bool -> IO () htmlMediaElementSetMuted self val = ghcjs_dom_html_media_element_set_muted (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"muted\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_muted :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_muted :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_muted = undefined #endif htmlMediaElementGetMuted :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetMuted self = ghcjs_dom_html_media_element_get_muted (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"defaultMuted\"] = $2;" ghcjs_dom_html_media_element_set_default_muted :: JSRef HTMLMediaElement -> Bool -> IO () #else ghcjs_dom_html_media_element_set_default_muted :: JSRef HTMLMediaElement -> Bool -> IO () ghcjs_dom_html_media_element_set_default_muted = undefined #endif htmlMediaElementSetDefaultMuted :: (IsHTMLMediaElement self) => self -> Bool -> IO () htmlMediaElementSetDefaultMuted self val = ghcjs_dom_html_media_element_set_default_muted (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"defaultMuted\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_default_muted :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_default_muted :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_default_muted = undefined #endif htmlMediaElementGetDefaultMuted :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetDefaultMuted self = ghcjs_dom_html_media_element_get_default_muted (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"webkitPreservesPitch\"] = $2;" ghcjs_dom_html_media_element_set_webkit_preserves_pitch :: JSRef HTMLMediaElement -> Bool -> IO () #else ghcjs_dom_html_media_element_set_webkit_preserves_pitch :: JSRef HTMLMediaElement -> Bool -> IO () ghcjs_dom_html_media_element_set_webkit_preserves_pitch = undefined #endif htmlMediaElementSetWebkitPreservesPitch :: (IsHTMLMediaElement self) => self -> Bool -> IO () htmlMediaElementSetWebkitPreservesPitch self val = ghcjs_dom_html_media_element_set_webkit_preserves_pitch (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"webkitPreservesPitch\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_webkit_preserves_pitch :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_webkit_preserves_pitch :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_webkit_preserves_pitch = undefined #endif htmlMediaElementGetWebkitPreservesPitch :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetWebkitPreservesPitch self = ghcjs_dom_html_media_element_get_webkit_preserves_pitch (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"webkitHasClosedCaptions\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_webkit_has_closed_captions :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_webkit_has_closed_captions :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_webkit_has_closed_captions = undefined #endif htmlMediaElementGetWebkitHasClosedCaptions :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetWebkitHasClosedCaptions self = ghcjs_dom_html_media_element_get_webkit_has_closed_captions (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"webkitClosedCaptionsVisible\"] = $2;" ghcjs_dom_html_media_element_set_webkit_closed_captions_visible :: JSRef HTMLMediaElement -> Bool -> IO () #else ghcjs_dom_html_media_element_set_webkit_closed_captions_visible :: JSRef HTMLMediaElement -> Bool -> IO () ghcjs_dom_html_media_element_set_webkit_closed_captions_visible = undefined #endif htmlMediaElementSetWebkitClosedCaptionsVisible :: (IsHTMLMediaElement self) => self -> Bool -> IO () htmlMediaElementSetWebkitClosedCaptionsVisible self val = ghcjs_dom_html_media_element_set_webkit_closed_captions_visible (unHTMLMediaElement (toHTMLMediaElement self)) val #ifdef ghcjs_HOST_OS foreign import javascript unsafe "($1[\"webkitClosedCaptionsVisible\"] ? 1 : 0)" ghcjs_dom_html_media_element_get_webkit_closed_captions_visible :: JSRef HTMLMediaElement -> IO Bool #else ghcjs_dom_html_media_element_get_webkit_closed_captions_visible :: JSRef HTMLMediaElement -> IO Bool ghcjs_dom_html_media_element_get_webkit_closed_captions_visible = undefined #endif htmlMediaElementGetWebkitClosedCaptionsVisible :: (IsHTMLMediaElement self) => self -> IO Bool htmlMediaElementGetWebkitClosedCaptionsVisible self = ghcjs_dom_html_media_element_get_webkit_closed_captions_visible (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"webkitAudioDecodedByteCount\"]" ghcjs_dom_html_media_element_get_webkit_audio_decoded_byte_count :: JSRef HTMLMediaElement -> IO Word #else ghcjs_dom_html_media_element_get_webkit_audio_decoded_byte_count :: JSRef HTMLMediaElement -> IO Word ghcjs_dom_html_media_element_get_webkit_audio_decoded_byte_count = undefined #endif htmlMediaElementGetWebkitAudioDecodedByteCount :: (IsHTMLMediaElement self) => self -> IO Word htmlMediaElementGetWebkitAudioDecodedByteCount self = ghcjs_dom_html_media_element_get_webkit_audio_decoded_byte_count (unHTMLMediaElement (toHTMLMediaElement self)) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"webkitVideoDecodedByteCount\"]" ghcjs_dom_html_media_element_get_webkit_video_decoded_byte_count :: JSRef HTMLMediaElement -> IO Word #else ghcjs_dom_html_media_element_get_webkit_video_decoded_byte_count :: JSRef HTMLMediaElement -> IO Word ghcjs_dom_html_media_element_get_webkit_video_decoded_byte_count = undefined #endif htmlMediaElementGetWebkitVideoDecodedByteCount :: (IsHTMLMediaElement self) => self -> IO Word htmlMediaElementGetWebkitVideoDecodedByteCount self = ghcjs_dom_html_media_element_get_webkit_video_decoded_byte_count (unHTMLMediaElement (toHTMLMediaElement self)) htmlMediaElementOnwebkitneedkey :: (IsHTMLMediaElement self) => Signal self (EventM UIEvent self ()) htmlMediaElementOnwebkitneedkey = (connect "webkitneedkey") #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"mediaGroup\"] = $2;" ghcjs_dom_html_media_element_set_media_group :: JSRef HTMLMediaElement -> JSString -> IO () #else ghcjs_dom_html_media_element_set_media_group :: JSRef HTMLMediaElement -> JSString -> IO () ghcjs_dom_html_media_element_set_media_group = undefined #endif htmlMediaElementSetMediaGroup :: (IsHTMLMediaElement self, ToJSString val) => self -> val -> IO () htmlMediaElementSetMediaGroup self val = ghcjs_dom_html_media_element_set_media_group (unHTMLMediaElement (toHTMLMediaElement self)) (toJSString val) #ifdef ghcjs_HOST_OS foreign import javascript unsafe "$1[\"mediaGroup\"]" ghcjs_dom_html_media_element_get_media_group :: JSRef HTMLMediaElement -> IO JSString #else ghcjs_dom_html_media_element_get_media_group :: JSRef HTMLMediaElement -> IO JSString ghcjs_dom_html_media_element_get_media_group = undefined #endif htmlMediaElementGetMediaGroup :: (IsHTMLMediaElement self, FromJSString result) => self -> IO result htmlMediaElementGetMediaGroup self = fromJSString <$> (ghcjs_dom_html_media_element_get_media_group (unHTMLMediaElement (toHTMLMediaElement self))) #else module GHCJS.DOM.HTMLMediaElement ( module Graphics.UI.Gtk.WebKit.DOM.HTMLMediaElement ) where import Graphics.UI.Gtk.WebKit.DOM.HTMLMediaElement #endif