Safe Haskell | None |
---|---|
Language | Haskell2010 |
- load :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- canPlayType :: (MonadDOM m, IsHTMLMediaElement self, ToJSString type', ToJSString keySystem, FromJSString result) => self -> type' -> Maybe keySystem -> m result
- play :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- pause :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- fastSeek :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m ()
- webkitGenerateKeyRequest :: (MonadDOM m, IsHTMLMediaElement self, ToJSString keySystem, IsUint8Array initData) => self -> Maybe keySystem -> Maybe initData -> m ()
- webkitAddKey :: (MonadDOM m, IsHTMLMediaElement self, ToJSString keySystem, IsUint8Array key, IsUint8Array initData, ToJSString sessionId) => self -> Maybe keySystem -> Maybe key -> Maybe initData -> sessionId -> m ()
- webkitCancelKeyRequest :: (MonadDOM m, IsHTMLMediaElement self, ToJSString keySystem, ToJSString sessionId) => self -> Maybe keySystem -> sessionId -> m ()
- webkitSetMediaKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaKeys -> m ()
- addTextTrack :: (MonadDOM m, IsHTMLMediaElement self, ToJSString kind, ToJSString label, ToJSString language) => self -> kind -> label -> language -> m (Maybe TextTrack)
- getVideoPlaybackQuality :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe VideoPlaybackQuality)
- webkitShowPlaybackTargetPicker :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- pattern NETWORK_EMPTY :: forall a. (Num a, Eq a) => a
- pattern NETWORK_IDLE :: forall a. (Num a, Eq a) => a
- pattern NETWORK_LOADING :: forall a. (Num a, Eq a) => a
- pattern NETWORK_NO_SOURCE :: forall a. (Num a, Eq a) => a
- pattern HAVE_NOTHING :: forall a. (Num a, Eq a) => a
- pattern HAVE_METADATA :: forall a. (Num a, Eq a) => a
- pattern HAVE_CURRENT_DATA :: forall a. (Num a, Eq a) => a
- pattern HAVE_FUTURE_DATA :: forall a. (Num a, Eq a) => a
- pattern HAVE_ENOUGH_DATA :: forall a. (Num a, Eq a) => a
- getError :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaError)
- setSrc :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m ()
- getSrc :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result
- getCurrentSrc :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result
- getNetworkState :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Word
- setPreload :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m ()
- getPreload :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result
- getBuffered :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe TimeRanges)
- getReadyState :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Word
- getSeeking :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setCurrentTime :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m ()
- getCurrentTime :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double
- getDuration :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double
- getPaused :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setDefaultPlaybackRate :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m ()
- getDefaultPlaybackRate :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double
- setPlaybackRate :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m ()
- getPlaybackRate :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double
- getPlayed :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe TimeRanges)
- getSeekable :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe TimeRanges)
- getEnded :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setAutoplay :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m ()
- getAutoplay :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setLoop :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m ()
- getLoop :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setControls :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m ()
- getControls :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setVolume :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m ()
- getVolume :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double
- setMuted :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m ()
- getMuted :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setDefaultMuted :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m ()
- getDefaultMuted :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- emptied :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- loadedMetadata :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- loadedData :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- canPlay :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- canPlayThrough :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- playing :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- ended :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- waiting :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- durationChange :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- timeUpdate :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- playEvent :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- pauseEvent :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- rateChange :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- volumeChange :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- setWebkitPreservesPitch :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m ()
- getWebkitPreservesPitch :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- getWebkitHasClosedCaptions :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setWebkitClosedCaptionsVisible :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m ()
- getWebkitClosedCaptionsVisible :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- getWebkitAudioDecodedByteCount :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Word
- getWebkitVideoDecodedByteCount :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Word
- webKitKeyAdded :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- webKitKeyError :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- webKitKeyMessage :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- webKitNeedKey :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- getWebkitKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaKeys)
- getAudioTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe AudioTrackList)
- getTextTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe TextTrackList)
- getVideoTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe VideoTrackList)
- setMediaGroup :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> Maybe val -> m ()
- getMediaGroup :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m (Maybe result)
- setController :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaController -> m ()
- getController :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaController)
- getWebkitCurrentPlaybackTargetIsWireless :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- webKitCurrentPlaybackTargetIsWirelessChanged :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- webKitPlaybackTargetAvailabilityChanged :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event
- setSrcObject :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaStream -> m ()
- getSrcObject :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaStream)
- data HTMLMediaElement
- castToHTMLMediaElement :: IsGObject obj => obj -> JSM HTMLMediaElement
- gTypeHTMLMediaElement :: JSM GType
- class IsHTMLElement o => IsHTMLMediaElement o
- toHTMLMediaElement :: IsHTMLMediaElement o => o -> HTMLMediaElement
Documentation
load :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () Source #
canPlayType :: (MonadDOM m, IsHTMLMediaElement self, ToJSString type', ToJSString keySystem, FromJSString result) => self -> type' -> Maybe keySystem -> m result Source #
play :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () Source #
pause :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () Source #
webkitGenerateKeyRequest :: (MonadDOM m, IsHTMLMediaElement self, ToJSString keySystem, IsUint8Array initData) => self -> Maybe keySystem -> Maybe initData -> m () Source #
webkitAddKey :: (MonadDOM m, IsHTMLMediaElement self, ToJSString keySystem, IsUint8Array key, IsUint8Array initData, ToJSString sessionId) => self -> Maybe keySystem -> Maybe key -> Maybe initData -> sessionId -> m () Source #
webkitCancelKeyRequest :: (MonadDOM m, IsHTMLMediaElement self, ToJSString keySystem, ToJSString sessionId) => self -> Maybe keySystem -> sessionId -> m () Source #
webkitSetMediaKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaKeys -> m () Source #
addTextTrack :: (MonadDOM m, IsHTMLMediaElement self, ToJSString kind, ToJSString label, ToJSString language) => self -> kind -> label -> language -> m (Maybe TextTrack) Source #
getVideoPlaybackQuality :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe VideoPlaybackQuality) Source #
webkitShowPlaybackTargetPicker :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () Source #
pattern NETWORK_EMPTY :: forall a. (Num a, Eq a) => a Source #
pattern NETWORK_IDLE :: forall a. (Num a, Eq a) => a Source #
pattern NETWORK_LOADING :: forall a. (Num a, Eq a) => a Source #
pattern NETWORK_NO_SOURCE :: forall a. (Num a, Eq a) => a Source #
pattern HAVE_NOTHING :: forall a. (Num a, Eq a) => a Source #
pattern HAVE_METADATA :: forall a. (Num a, Eq a) => a Source #
pattern HAVE_CURRENT_DATA :: forall a. (Num a, Eq a) => a Source #
pattern HAVE_FUTURE_DATA :: forall a. (Num a, Eq a) => a Source #
pattern HAVE_ENOUGH_DATA :: forall a. (Num a, Eq a) => a Source #
getError :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaError) Source #
setSrc :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m () Source #
getSrc :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result Source #
getCurrentSrc :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result Source #
getNetworkState :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Word Source #
setPreload :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m () Source #
getPreload :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result Source #
getBuffered :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe TimeRanges) Source #
getReadyState :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Word Source #
getSeeking :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
setCurrentTime :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m () Source #
getCurrentTime :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double Source #
getDuration :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double Source #
setDefaultPlaybackRate :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m () Source #
getDefaultPlaybackRate :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double Source #
setPlaybackRate :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m () Source #
getPlaybackRate :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Double Source #
getPlayed :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe TimeRanges) Source #
getSeekable :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe TimeRanges) Source #
setAutoplay :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m () Source #
getAutoplay :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
setControls :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m () Source #
getControls :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
setDefaultMuted :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m () Source #
getDefaultMuted :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
emptied :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
loadedMetadata :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
loadedData :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
canPlay :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
canPlayThrough :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
playing :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
ended :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
waiting :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
durationChange :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
timeUpdate :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
playEvent :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
pauseEvent :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
rateChange :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
volumeChange :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
setWebkitPreservesPitch :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m () Source #
getWebkitPreservesPitch :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
getWebkitHasClosedCaptions :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
setWebkitClosedCaptionsVisible :: (MonadDOM m, IsHTMLMediaElement self) => self -> Bool -> m () Source #
getWebkitClosedCaptionsVisible :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
getWebkitAudioDecodedByteCount :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Word Source #
getWebkitVideoDecodedByteCount :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Word Source #
webKitKeyAdded :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
webKitKeyError :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
webKitKeyMessage :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
webKitNeedKey :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
getWebkitKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaKeys) Source #
getAudioTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe AudioTrackList) Source #
getTextTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe TextTrackList) Source #
getVideoTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe VideoTrackList) Source #
setMediaGroup :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> Maybe val -> m () Source #
getMediaGroup :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m (Maybe result) Source #
setController :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaController -> m () Source #
getController :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaController) Source #
getWebkitCurrentPlaybackTargetIsWireless :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
webKitCurrentPlaybackTargetIsWirelessChanged :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
webKitPlaybackTargetAvailabilityChanged :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self Event Source #
setSrcObject :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaStream -> m () Source #
getSrcObject :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaStream) Source #
data HTMLMediaElement Source #
Functions for this inteface are in JSDOM.HTMLMediaElement. Base interface functions are in:
castToHTMLMediaElement :: IsGObject obj => obj -> JSM HTMLMediaElement Source #
class IsHTMLElement o => IsHTMLMediaElement o Source #
toHTMLMediaElement :: IsHTMLMediaElement o => o -> HTMLMediaElement Source #