GHCJS.DOM.HTMLMediaElement

Documentation

ghcjs_dom_html_media_element_load :: JSRef HTMLMediaElement -> IO ()

htmlMediaElementLoad :: IsHTMLMediaElement self => self -> IO ()

ghcjs_dom_html_media_element_can_play_type :: JSRef HTMLMediaElement -> JSString -> IO JSString

htmlMediaElementCanPlayType :: (IsHTMLMediaElement self, ToJSString type', FromJSString result) => self -> type' -> IO result

ghcjs_dom_html_media_element_play :: JSRef HTMLMediaElement -> IO ()

htmlMediaElementPlay :: IsHTMLMediaElement self => self -> IO ()

ghcjs_dom_html_media_element_pause :: JSRef HTMLMediaElement -> IO ()

htmlMediaElementPause :: IsHTMLMediaElement self => self -> IO ()

cNETWORK_EMPTY :: Integer

cNETWORK_IDLE :: Integer

cNETWORK_LOADING :: Integer

cNETWORK_NO_SOURCE :: Integer

cHAVE_NOTHING :: Integer

cHAVE_METADATA :: Integer

cHAVE_CURRENT_DATA :: Integer

cHAVE_FUTURE_DATA :: Integer

cHAVE_ENOUGH_DATA :: Integer

ghcjs_dom_html_media_element_get_error :: JSRef HTMLMediaElement -> IO (JSRef MediaError)

htmlMediaElementGetError :: IsHTMLMediaElement self => self -> IO (Maybe MediaError)

ghcjs_dom_html_media_element_set_src :: JSRef HTMLMediaElement -> JSString -> IO ()

htmlMediaElementSetSrc :: (IsHTMLMediaElement self, ToJSString val) => self -> val -> IO ()

ghcjs_dom_html_media_element_get_src :: JSRef HTMLMediaElement -> IO JSString

htmlMediaElementGetSrc :: (IsHTMLMediaElement self, FromJSString result) => self -> IO result

ghcjs_dom_html_media_element_get_current_src :: JSRef HTMLMediaElement -> IO JSString

htmlMediaElementGetCurrentSrc :: (IsHTMLMediaElement self, FromJSString result) => self -> IO result

ghcjs_dom_html_media_element_get_network_state :: JSRef HTMLMediaElement -> IO Word

htmlMediaElementGetNetworkState :: IsHTMLMediaElement self => self -> IO Word

ghcjs_dom_html_media_element_set_preload :: JSRef HTMLMediaElement -> JSString -> IO ()

htmlMediaElementSetPreload :: (IsHTMLMediaElement self, ToJSString val) => self -> val -> IO ()

ghcjs_dom_html_media_element_get_preload :: JSRef HTMLMediaElement -> IO JSString

htmlMediaElementGetPreload :: (IsHTMLMediaElement self, FromJSString result) => self -> IO result

ghcjs_dom_html_media_element_get_buffered :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges)

htmlMediaElementGetBuffered :: IsHTMLMediaElement self => self -> IO (Maybe TimeRanges)

ghcjs_dom_html_media_element_get_ready_state :: JSRef HTMLMediaElement -> IO Word

htmlMediaElementGetReadyState :: IsHTMLMediaElement self => self -> IO Word

ghcjs_dom_html_media_element_get_seeking :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetSeeking :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_current_time :: JSRef HTMLMediaElement -> Double -> IO ()

htmlMediaElementSetCurrentTime :: IsHTMLMediaElement self => self -> Double -> IO ()

ghcjs_dom_html_media_element_get_current_time :: JSRef HTMLMediaElement -> IO Double

htmlMediaElementGetCurrentTime :: IsHTMLMediaElement self => self -> IO Double

ghcjs_dom_html_media_element_get_initial_time :: JSRef HTMLMediaElement -> IO Double

htmlMediaElementGetInitialTime :: IsHTMLMediaElement self => self -> IO Double

ghcjs_dom_html_media_element_get_start_time :: JSRef HTMLMediaElement -> IO Double

htmlMediaElementGetStartTime :: IsHTMLMediaElement self => self -> IO Double

ghcjs_dom_html_media_element_get_duration :: JSRef HTMLMediaElement -> IO Double

htmlMediaElementGetDuration :: IsHTMLMediaElement self => self -> IO Double

ghcjs_dom_html_media_element_get_paused :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetPaused :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_default_playback_rate :: JSRef HTMLMediaElement -> Double -> IO ()

htmlMediaElementSetDefaultPlaybackRate :: IsHTMLMediaElement self => self -> Double -> IO ()

ghcjs_dom_html_media_element_get_default_playback_rate :: JSRef HTMLMediaElement -> IO Double

htmlMediaElementGetDefaultPlaybackRate :: IsHTMLMediaElement self => self -> IO Double

ghcjs_dom_html_media_element_set_playback_rate :: JSRef HTMLMediaElement -> Double -> IO ()

htmlMediaElementSetPlaybackRate :: IsHTMLMediaElement self => self -> Double -> IO ()

ghcjs_dom_html_media_element_get_playback_rate :: JSRef HTMLMediaElement -> IO Double

htmlMediaElementGetPlaybackRate :: IsHTMLMediaElement self => self -> IO Double

ghcjs_dom_html_media_element_get_played :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges)

htmlMediaElementGetPlayed :: IsHTMLMediaElement self => self -> IO (Maybe TimeRanges)

ghcjs_dom_html_media_element_get_seekable :: JSRef HTMLMediaElement -> IO (JSRef TimeRanges)

htmlMediaElementGetSeekable :: IsHTMLMediaElement self => self -> IO (Maybe TimeRanges)

ghcjs_dom_html_media_element_get_ended :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetEnded :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_autoplay :: JSRef HTMLMediaElement -> Bool -> IO ()

htmlMediaElementSetAutoplay :: IsHTMLMediaElement self => self -> Bool -> IO ()

ghcjs_dom_html_media_element_get_autoplay :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetAutoplay :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_loop :: JSRef HTMLMediaElement -> Bool -> IO ()

htmlMediaElementSetLoop :: IsHTMLMediaElement self => self -> Bool -> IO ()

ghcjs_dom_html_media_element_get_loop :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetLoop :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_controls :: JSRef HTMLMediaElement -> Bool -> IO ()

htmlMediaElementSetControls :: IsHTMLMediaElement self => self -> Bool -> IO ()

ghcjs_dom_html_media_element_get_controls :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetControls :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_volume :: JSRef HTMLMediaElement -> Double -> IO ()

htmlMediaElementSetVolume :: IsHTMLMediaElement self => self -> Double -> IO ()

ghcjs_dom_html_media_element_get_volume :: JSRef HTMLMediaElement -> IO Double

htmlMediaElementGetVolume :: IsHTMLMediaElement self => self -> IO Double

ghcjs_dom_html_media_element_set_muted :: JSRef HTMLMediaElement -> Bool -> IO ()

htmlMediaElementSetMuted :: IsHTMLMediaElement self => self -> Bool -> IO ()

ghcjs_dom_html_media_element_get_muted :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetMuted :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_default_muted :: JSRef HTMLMediaElement -> Bool -> IO ()

htmlMediaElementSetDefaultMuted :: IsHTMLMediaElement self => self -> Bool -> IO ()

ghcjs_dom_html_media_element_get_default_muted :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetDefaultMuted :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_webkit_preserves_pitch :: JSRef HTMLMediaElement -> Bool -> IO ()

htmlMediaElementSetWebkitPreservesPitch :: IsHTMLMediaElement self => self -> Bool -> IO ()

ghcjs_dom_html_media_element_get_webkit_preserves_pitch :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetWebkitPreservesPitch :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_get_webkit_has_closed_captions :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetWebkitHasClosedCaptions :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_set_webkit_closed_captions_visible :: JSRef HTMLMediaElement -> Bool -> IO ()

htmlMediaElementSetWebkitClosedCaptionsVisible :: IsHTMLMediaElement self => self -> Bool -> IO ()

ghcjs_dom_html_media_element_get_webkit_closed_captions_visible :: JSRef HTMLMediaElement -> IO Bool

htmlMediaElementGetWebkitClosedCaptionsVisible :: IsHTMLMediaElement self => self -> IO Bool

ghcjs_dom_html_media_element_get_webkit_audio_decoded_byte_count :: JSRef HTMLMediaElement -> IO Word

htmlMediaElementGetWebkitAudioDecodedByteCount :: IsHTMLMediaElement self => self -> IO Word

ghcjs_dom_html_media_element_get_webkit_video_decoded_byte_count :: JSRef HTMLMediaElement -> IO Word

htmlMediaElementGetWebkitVideoDecodedByteCount :: IsHTMLMediaElement self => self -> IO Word

htmlMediaElementOnwebkitneedkey :: IsHTMLMediaElement self => Signal self (EventM UIEvent self ())

ghcjs_dom_html_media_element_set_media_group :: JSRef HTMLMediaElement -> JSString -> IO ()

htmlMediaElementSetMediaGroup :: (IsHTMLMediaElement self, ToJSString val) => self -> val -> IO ()

ghcjs_dom_html_media_element_get_media_group :: JSRef HTMLMediaElement -> IO JSString

htmlMediaElementGetMediaGroup :: (IsHTMLMediaElement self, FromJSString result) => self -> IO result

data HTMLMediaElement

Instances

IsNode HTMLMediaElement

IsHTMLMediaElement HTMLMediaElement

IsHTMLElement HTMLMediaElement

IsElement HTMLMediaElement

GObjectClass HTMLMediaElement

class IsHTMLElement o => IsHTMLMediaElement o

Instances

IsHTMLMediaElement HTMLVideoElement

IsHTMLMediaElement HTMLMediaElement

IsHTMLMediaElement HTMLAudioElement

castToHTMLMediaElement :: GObjectClass obj => obj -> HTMLMediaElement

gTypeHTMLMediaElement :: GType

toHTMLMediaElement :: IsHTMLMediaElement o => o -> HTMLMediaElement