/
HTMLModElement.purs
60 lines (42 loc) · 1.93 KB
/
HTMLModElement.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
module Web.HTML.HTMLModElement where
import Data.Maybe (Maybe)
import Effect (Effect)
import Prelude (Unit)
import Unsafe.Coerce (unsafeCoerce)
import Web.DOM (ChildNode, Element, Node, NonDocumentTypeChildNode, ParentNode)
import Web.Event.EventTarget (EventTarget)
import Web.HTML.HTMLElement (HTMLElement)
import Web.Internal.FFI (unsafeReadProtoTagged)
foreign import data HTMLModElement :: Type
fromHTMLElement :: HTMLElement -> Maybe HTMLModElement
fromHTMLElement = unsafeReadProtoTagged "HTMLModElement"
fromElement :: Element -> Maybe HTMLModElement
fromElement = unsafeReadProtoTagged "HTMLModElement"
fromNode :: Node -> Maybe HTMLModElement
fromNode = unsafeReadProtoTagged "HTMLModElement"
fromChildNode :: ChildNode -> Maybe HTMLModElement
fromChildNode = unsafeReadProtoTagged "HTMLModElement"
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLModElement
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLModElement"
fromParentNode :: ParentNode -> Maybe HTMLModElement
fromParentNode = unsafeReadProtoTagged "HTMLModElement"
fromEventTarget :: EventTarget -> Maybe HTMLModElement
fromEventTarget = unsafeReadProtoTagged "HTMLModElement"
toHTMLElement :: HTMLModElement -> HTMLElement
toHTMLElement = unsafeCoerce
toElement :: HTMLModElement -> Element
toElement = unsafeCoerce
toNode :: HTMLModElement -> Node
toNode = unsafeCoerce
toChildNode :: HTMLModElement -> ChildNode
toChildNode = unsafeCoerce
toNonDocumentTypeChildNode :: HTMLModElement -> NonDocumentTypeChildNode
toNonDocumentTypeChildNode = unsafeCoerce
toParentNode :: HTMLModElement -> ParentNode
toParentNode = unsafeCoerce
toEventTarget :: HTMLModElement -> EventTarget
toEventTarget = unsafeCoerce
foreign import cite :: HTMLModElement -> Effect String
foreign import setCite :: String -> HTMLModElement -> Effect Unit
foreign import dateTime :: HTMLModElement -> Effect String
foreign import setDateTime :: String -> HTMLModElement -> Effect Unit