Safe Haskell | None |
---|---|
Language | Haskell2010 |
- load :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- canPlayType :: (MonadDOM m, IsHTMLMediaElement self, ToJSString type', FromJSString result) => self -> type' -> m result
- canPlayType_ :: (MonadDOM m, IsHTMLMediaElement self, ToJSString type') => self -> type' -> m ()
- getStartDate :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Date
- getStartDate_ :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- play :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- pause :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- fastSeek :: (MonadDOM m, IsHTMLMediaElement self) => self -> Double -> m ()
- webkitSetMediaKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe WebKitMediaKeys -> m ()
- setMediaKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaKeys -> m ()
- addTextTrack :: (MonadDOM m, IsHTMLMediaElement self, ToJSString kind, ToJSString label, ToJSString language) => self -> kind -> Maybe label -> Maybe language -> m TextTrack
- addTextTrack_ :: (MonadDOM m, IsHTMLMediaElement self, ToJSString kind, ToJSString label, ToJSString language) => self -> kind -> Maybe label -> Maybe language -> m ()
- getVideoPlaybackQuality :: (MonadDOM m, IsHTMLMediaElement self) => self -> m VideoPlaybackQuality
- getVideoPlaybackQuality_ :: (MonadDOM m, IsHTMLMediaElement self) => self -> m ()
- 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 MediaError
- setSrc :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m ()
- getSrc :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result
- setSrcObject :: (MonadDOM m, IsHTMLMediaElement self, IsMediaProvider val) => self -> Maybe val -> m ()
- getSrcObject :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaProvider)
- getSrcObjectUnsafe :: (MonadDOM m, IsHTMLMediaElement self, HasCallStack) => self -> m MediaProvider
- getSrcObjectUnchecked :: (MonadDOM m, IsHTMLMediaElement self) => self -> m MediaProvider
- getCurrentSrc :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result
- setCrossOrigin :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> Maybe val -> m ()
- getCrossOrigin :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m (Maybe result)
- getCrossOriginUnsafe :: (MonadDOM m, IsHTMLMediaElement self, HasCallStack, FromJSString result) => self -> m result
- getCrossOriginUnchecked :: (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 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 TimeRanges
- getSeekable :: (MonadDOM m, IsHTMLMediaElement self) => self -> m 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
- 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
- getWebkitKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> m WebKitMediaKeys
- getMediaKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> m MediaKeys
- encrypted :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self onencrypted
- waitingforkey :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self onwaitingforkey
- getAudioTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m AudioTrackList
- getTextTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m TextTrackList
- getVideoTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m VideoTrackList
- setMediaGroup :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m ()
- getMediaGroup :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result
- setController :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaController -> m ()
- getController :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaController)
- getControllerUnsafe :: (MonadDOM m, IsHTMLMediaElement self, HasCallStack) => self -> m MediaController
- getControllerUnchecked :: (MonadDOM m, IsHTMLMediaElement self) => self -> m MediaController
- getWebkitCurrentPlaybackTargetIsWireless :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool
- setKind :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m ()
- getKind :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result
- setSession :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaSession -> m ()
- getSession :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaSession)
- getSessionUnsafe :: (MonadDOM m, IsHTMLMediaElement self, HasCallStack) => self -> m MediaSession
- getSessionUnchecked :: (MonadDOM m, IsHTMLMediaElement self) => self -> m MediaSession
- newtype HTMLMediaElement = HTMLMediaElement {}
- gTypeHTMLMediaElement :: JSM GType
- class (IsHTMLElement o, IsElement o, IsNode o, IsEventTarget o, IsSlotable o, IsParentNode o, IsNonDocumentTypeChildNode o, IsDocumentAndElementEventHandlers o, IsChildNode o, IsAnimatable o, IsGlobalEventHandlers o, IsElementCSSInlineStyle o, IsGObject o) => IsHTMLMediaElement o
- toHTMLMediaElement :: IsHTMLMediaElement o => o -> HTMLMediaElement
Documentation
load :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () Source #
canPlayType :: (MonadDOM m, IsHTMLMediaElement self, ToJSString type', FromJSString result) => self -> type' -> m result Source #
canPlayType_ :: (MonadDOM m, IsHTMLMediaElement self, ToJSString type') => self -> type' -> m () Source #
getStartDate :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Date Source #
getStartDate_ :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () Source #
play :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () Source #
pause :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () Source #
webkitSetMediaKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe WebKitMediaKeys -> m () Source #
setMediaKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaKeys -> m () Source #
addTextTrack :: (MonadDOM m, IsHTMLMediaElement self, ToJSString kind, ToJSString label, ToJSString language) => self -> kind -> Maybe label -> Maybe language -> m TextTrack Source #
addTextTrack_ :: (MonadDOM m, IsHTMLMediaElement self, ToJSString kind, ToJSString label, ToJSString language) => self -> kind -> Maybe label -> Maybe language -> m () Source #
getVideoPlaybackQuality :: (MonadDOM m, IsHTMLMediaElement self) => self -> m VideoPlaybackQuality Source #
getVideoPlaybackQuality_ :: (MonadDOM m, IsHTMLMediaElement self) => self -> m () 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 MediaError Source #
setSrc :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m () Source #
getSrc :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result Source #
setSrcObject :: (MonadDOM m, IsHTMLMediaElement self, IsMediaProvider val) => self -> Maybe val -> m () Source #
getSrcObject :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaProvider) Source #
getSrcObjectUnsafe :: (MonadDOM m, IsHTMLMediaElement self, HasCallStack) => self -> m MediaProvider Source #
getSrcObjectUnchecked :: (MonadDOM m, IsHTMLMediaElement self) => self -> m MediaProvider Source #
getCurrentSrc :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result Source #
setCrossOrigin :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> Maybe val -> m () Source #
getCrossOrigin :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m (Maybe result) Source #
getCrossOriginUnsafe :: (MonadDOM m, IsHTMLMediaElement self, HasCallStack, FromJSString result) => self -> m result Source #
getCrossOriginUnchecked :: (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 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 TimeRanges Source #
getSeekable :: (MonadDOM m, IsHTMLMediaElement self) => self -> m 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 #
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 #
getWebkitKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> m WebKitMediaKeys Source #
getMediaKeys :: (MonadDOM m, IsHTMLMediaElement self) => self -> m MediaKeys Source #
encrypted :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self onencrypted Source #
waitingforkey :: (IsHTMLMediaElement self, IsEventTarget self) => EventName self onwaitingforkey Source #
getAudioTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m AudioTrackList Source #
getTextTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m TextTrackList Source #
getVideoTracks :: (MonadDOM m, IsHTMLMediaElement self) => self -> m VideoTrackList Source #
setMediaGroup :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m () Source #
getMediaGroup :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result Source #
setController :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaController -> m () Source #
getController :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaController) Source #
getControllerUnsafe :: (MonadDOM m, IsHTMLMediaElement self, HasCallStack) => self -> m MediaController Source #
getControllerUnchecked :: (MonadDOM m, IsHTMLMediaElement self) => self -> m MediaController Source #
getWebkitCurrentPlaybackTargetIsWireless :: (MonadDOM m, IsHTMLMediaElement self) => self -> m Bool Source #
setKind :: (MonadDOM m, IsHTMLMediaElement self, ToJSString val) => self -> val -> m () Source #
getKind :: (MonadDOM m, IsHTMLMediaElement self, FromJSString result) => self -> m result Source #
setSession :: (MonadDOM m, IsHTMLMediaElement self) => self -> Maybe MediaSession -> m () Source #
getSession :: (MonadDOM m, IsHTMLMediaElement self) => self -> m (Maybe MediaSession) Source #
getSessionUnsafe :: (MonadDOM m, IsHTMLMediaElement self, HasCallStack) => self -> m MediaSession Source #
getSessionUnchecked :: (MonadDOM m, IsHTMLMediaElement self) => self -> m MediaSession Source #
newtype HTMLMediaElement Source #
Functions for this inteface are in JSDOM.HTMLMediaElement. Base interface functions are in:
class (IsHTMLElement o, IsElement o, IsNode o, IsEventTarget o, IsSlotable o, IsParentNode o, IsNonDocumentTypeChildNode o, IsDocumentAndElementEventHandlers o, IsChildNode o, IsAnimatable o, IsGlobalEventHandlers o, IsElementCSSInlineStyle o, IsGObject o) => IsHTMLMediaElement o Source #
toHTMLMediaElement :: IsHTMLMediaElement o => o -> HTMLMediaElement Source #