Module

Web.HTML.HTMLVideoElement

#HTMLVideoElement

data HTMLVideoElement :: Type

#fromHTMLMediaElement

fromHTMLMediaElement :: HTMLMediaElement -> Maybe HTMLVideoElement

#fromHTMLElement

fromHTMLElement :: HTMLElement -> Maybe HTMLVideoElement

#fromElement

fromElement :: Element -> Maybe HTMLVideoElement

#fromNode

fromNode :: Node -> Maybe HTMLVideoElement

#fromChildNode

fromChildNode :: ChildNode -> Maybe HTMLVideoElement

#fromNonDocumentTypeChildNode

fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLVideoElement

#fromParentNode

fromParentNode :: ParentNode -> Maybe HTMLVideoElement

#fromEventTarget

fromEventTarget :: EventTarget -> Maybe HTMLVideoElement

#toHTMLMediaElement

toHTMLMediaElement :: HTMLVideoElement -> HTMLMediaElement

#toHTMLElement

toHTMLElement :: HTMLVideoElement -> HTMLElement

#toElement

toElement :: HTMLVideoElement -> Element

#toNode

toNode :: HTMLVideoElement -> Node

#toChildNode

toChildNode :: HTMLVideoElement -> ChildNode

#toNonDocumentTypeChildNode

toNonDocumentTypeChildNode :: HTMLVideoElement -> NonDocumentTypeChildNode

#toParentNode

toParentNode :: HTMLVideoElement -> ParentNode

#toEventTarget

toEventTarget :: HTMLVideoElement -> EventTarget

#width

width :: HTMLVideoElement -> Effect Int

#setWidth

setWidth :: Int -> HTMLVideoElement -> Effect Unit

#height

height :: HTMLVideoElement -> Effect Int

#setHeight

setHeight :: Int -> HTMLVideoElement -> Effect Unit

#videoWidth

videoWidth :: HTMLVideoElement -> Effect Int

#videoHeight

videoHeight :: HTMLVideoElement -> Effect Int

#poster

poster :: HTMLVideoElement -> Effect String

#setPoster

setPoster :: String -> HTMLVideoElement -> Effect Unit

Web.HTML.HTMLVideoElement

#HTMLVideoElement

#fromHTMLMediaElement

#fromHTMLElement

#fromElement

#fromNode

#fromChildNode

#fromNonDocumentTypeChildNode

#fromParentNode

#fromEventTarget

#toHTMLMediaElement

#toHTMLElement

#toElement

#toNode

#toChildNode

#toNonDocumentTypeChildNode

#toParentNode

#toEventTarget

#width

#setWidth

#height

#setHeight

#videoWidth

#videoHeight

#poster

#setPoster

Modules