/
HTMLVideoElement.purs
74 lines (51 loc) · 2.48 KB
/
HTMLVideoElement.purs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
module Web.HTML.HTMLVideoElement where
import Prelude
import Data.Maybe (Maybe)
import Effect (Effect)
import Unsafe.Coerce (unsafeCoerce)
import Web.DOM (ChildNode, Element, Node, NonDocumentTypeChildNode, ParentNode)
import Web.Event.EventTarget (EventTarget)
import Web.HTML.HTMLElement (HTMLElement)
import Web.HTML.HTMLMediaElement (HTMLMediaElement)
import Web.Internal.FFI (unsafeReadProtoTagged)
foreign import data HTMLVideoElement :: Type
fromHTMLMediaElement :: HTMLMediaElement -> Maybe HTMLVideoElement
fromHTMLMediaElement = unsafeReadProtoTagged "HTMLVideoElement"
fromHTMLElement :: HTMLElement -> Maybe HTMLVideoElement
fromHTMLElement = unsafeReadProtoTagged "HTMLVideoElement"
fromElement :: Element -> Maybe HTMLVideoElement
fromElement = unsafeReadProtoTagged "HTMLVideoElement"
fromNode :: Node -> Maybe HTMLVideoElement
fromNode = unsafeReadProtoTagged "HTMLVideoElement"
fromChildNode :: ChildNode -> Maybe HTMLVideoElement
fromChildNode = unsafeReadProtoTagged "HTMLVideoElement"
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLVideoElement
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLVideoElement"
fromParentNode :: ParentNode -> Maybe HTMLVideoElement
fromParentNode = unsafeReadProtoTagged "HTMLVideoElement"
fromEventTarget :: EventTarget -> Maybe HTMLVideoElement
fromEventTarget = unsafeReadProtoTagged "HTMLVideoElement"
toHTMLMediaElement :: HTMLVideoElement -> HTMLMediaElement
toHTMLMediaElement = unsafeCoerce
toHTMLElement :: HTMLVideoElement -> HTMLElement
toHTMLElement = unsafeCoerce
toElement :: HTMLVideoElement -> Element
toElement = unsafeCoerce
toNode :: HTMLVideoElement -> Node
toNode = unsafeCoerce
toChildNode :: HTMLVideoElement -> ChildNode
toChildNode = unsafeCoerce
toNonDocumentTypeChildNode :: HTMLVideoElement -> NonDocumentTypeChildNode
toNonDocumentTypeChildNode = unsafeCoerce
toParentNode :: HTMLVideoElement -> ParentNode
toParentNode = unsafeCoerce
toEventTarget :: HTMLVideoElement -> EventTarget
toEventTarget = unsafeCoerce
foreign import width :: HTMLVideoElement -> Effect Int
foreign import setWidth :: Int -> HTMLVideoElement -> Effect Unit
foreign import height :: HTMLVideoElement -> Effect Int
foreign import setHeight :: Int -> HTMLVideoElement -> Effect Unit
foreign import videoWidth :: HTMLVideoElement -> Effect Int
foreign import videoHeight :: HTMLVideoElement -> Effect Int
foreign import poster :: HTMLVideoElement -> Effect String
foreign import setPoster :: String -> HTMLVideoElement -> Effect Unit