Module

Web.HTML.HTMLMediaElement

#HTMLMediaElement

data HTMLMediaElement

#fromHTMLElement

fromHTMLElement :: HTMLElement -> Maybe HTMLMediaElement

#fromElement

fromElement :: Element -> Maybe HTMLMediaElement

#fromNode

fromNode :: Node -> Maybe HTMLMediaElement

#fromChildNode

fromChildNode :: ChildNode -> Maybe HTMLMediaElement

#fromNonDocumentTypeChildNode

fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLMediaElement

#fromParentNode

fromParentNode :: ParentNode -> Maybe HTMLMediaElement

#fromEventTarget

fromEventTarget :: EventTarget -> Maybe HTMLMediaElement

#toHTMLElement

toHTMLElement :: HTMLMediaElement -> HTMLElement

#toElement

toElement :: HTMLMediaElement -> Element

#toNode

toNode :: HTMLMediaElement -> Node

#toChildNode

toChildNode :: HTMLMediaElement -> ChildNode

#toNonDocumentTypeChildNode

toNonDocumentTypeChildNode :: HTMLMediaElement -> NonDocumentTypeChildNode

#toParentNode

toParentNode :: HTMLMediaElement -> ParentNode

#toEventTarget

toEventTarget :: HTMLMediaElement -> EventTarget

#src

src :: HTMLMediaElement -> Effect String

#setSrc

setSrc :: String -> HTMLMediaElement -> Effect Unit

#currentSrc

currentSrc :: HTMLMediaElement -> Effect String

#crossOrigin

crossOrigin :: HTMLMediaElement -> Effect String

#setCrossOrigin

setCrossOrigin :: String -> HTMLMediaElement -> Effect Unit

#networkState

networkState :: HTMLMediaElement -> Effect NetworkState

#preload

preload :: HTMLMediaElement -> Effect String

#setPreload

setPreload :: String -> HTMLMediaElement -> Effect Unit

#load

load :: HTMLMediaElement -> Effect Unit

#canPlayType

canPlayType :: String -> HTMLMediaElement -> Effect CanPlayType

#readyState

readyState :: HTMLMediaElement -> Effect ReadyState

#seeking

seeking :: HTMLMediaElement -> Effect Boolean

#currentTime

currentTime :: HTMLMediaElement -> Effect Number

#setCurrentTime

setCurrentTime :: Number -> HTMLMediaElement -> Effect Unit

#duration

duration :: HTMLMediaElement -> Effect Number

#getStartDate

getStartDate :: HTMLMediaElement -> Effect JSDate

#paused

paused :: HTMLMediaElement -> Effect Boolean

#defaultPlaybackRate

defaultPlaybackRate :: HTMLMediaElement -> Effect Number

#setDefaultPlaybackRate

setDefaultPlaybackRate :: Number -> HTMLMediaElement -> Effect Unit

#playbackRate

playbackRate :: HTMLMediaElement -> Effect Number

#setPlaybackRate

setPlaybackRate :: Number -> HTMLMediaElement -> Effect Unit

#ended

ended :: HTMLMediaElement -> Effect Boolean

#autoplay

autoplay :: HTMLMediaElement -> Effect Boolean

#setAutoplay

setAutoplay :: Boolean -> HTMLMediaElement -> Effect Unit

#loop

loop :: HTMLMediaElement -> Effect Boolean

#setLoop

setLoop :: Boolean -> HTMLMediaElement -> Effect Unit

#play

play :: HTMLMediaElement -> Effect Unit

#pause

pause :: HTMLMediaElement -> Effect Unit

#mediaGroup

mediaGroup :: HTMLMediaElement -> Effect String

#setMediaGroup

setMediaGroup :: String -> HTMLMediaElement -> Effect Unit

#controls

controls :: HTMLMediaElement -> Effect Boolean

#setControls

setControls :: Boolean -> HTMLMediaElement -> Effect Unit

#volume

volume :: HTMLMediaElement -> Effect Number

#setVolume

setVolume :: Number -> HTMLMediaElement -> Effect Unit

#muted

muted :: HTMLMediaElement -> Effect Boolean

#setMuted

setMuted :: Boolean -> HTMLMediaElement -> Effect Unit

#defaultMuted

defaultMuted :: HTMLMediaElement -> Effect Boolean

#setDefaultMuted

setDefaultMuted :: Boolean -> HTMLMediaElement -> Effect Unit

Web.HTML.HTMLMediaElement

#HTMLMediaElement​

#fromHTMLElement​

#fromElement​

#fromNode​

#fromChildNode​

#fromNonDocumentTypeChildNode​

#fromParentNode​

#fromEventTarget​

#toHTMLElement​

#toElement​

#toNode​

#toChildNode​

#toNonDocumentTypeChildNode​

#toParentNode​

#toEventTarget​

#src​

#setSrc​

#currentSrc​

#crossOrigin​

#setCrossOrigin​

#networkState​

#preload​

#setPreload​

#load​

#canPlayType​

#readyState​

#seeking​

#currentTime​

#setCurrentTime​

#duration​

#getStartDate​

#paused​

#defaultPlaybackRate​

#setDefaultPlaybackRate​

#playbackRate​

#setPlaybackRate​

#ended​

#autoplay​

#setAutoplay​

#loop​

#setLoop​

#play​

#pause​

#mediaGroup​

#setMediaGroup​

#controls​

#setControls​

#volume​

#setVolume​

#muted​

#setMuted​

#defaultMuted​

#setDefaultMuted​

Modules

#HTMLMediaElement

#fromHTMLElement

#fromElement

#fromNode

#fromChildNode

#fromNonDocumentTypeChildNode

#fromParentNode

#fromEventTarget

#toHTMLElement

#toElement

#toNode

#toChildNode

#toNonDocumentTypeChildNode

#toParentNode

#toEventTarget

#src

#setSrc

#currentSrc

#crossOrigin

#setCrossOrigin

#networkState

#preload

#setPreload

#load

#canPlayType

#readyState

#seeking

#currentTime

#setCurrentTime

#duration

#getStartDate

#paused

#defaultPlaybackRate

#setDefaultPlaybackRate

#playbackRate

#setPlaybackRate

#ended

#autoplay

#setAutoplay

#loop

#setLoop

#play

#pause

#mediaGroup

#setMediaGroup

#controls

#setControls

#volume

#setVolume

#muted

#setMuted

#defaultMuted

#setDefaultMuted