/
HTMLDataElement.purs
58 lines (40 loc) · 1.83 KB
/
HTMLDataElement.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
module Web.HTML.HTMLDataElement 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 HTMLDataElement :: Type
fromHTMLElement :: HTMLElement -> Maybe HTMLDataElement
fromHTMLElement = unsafeReadProtoTagged "HTMLDataElement"
fromElement :: Element -> Maybe HTMLDataElement
fromElement = unsafeReadProtoTagged "HTMLDataElement"
fromNode :: Node -> Maybe HTMLDataElement
fromNode = unsafeReadProtoTagged "HTMLDataElement"
fromChildNode :: ChildNode -> Maybe HTMLDataElement
fromChildNode = unsafeReadProtoTagged "HTMLDataElement"
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLDataElement
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLDataElement"
fromParentNode :: ParentNode -> Maybe HTMLDataElement
fromParentNode = unsafeReadProtoTagged "HTMLDataElement"
fromEventTarget :: EventTarget -> Maybe HTMLDataElement
fromEventTarget = unsafeReadProtoTagged "HTMLDataElement"
toHTMLElement :: HTMLDataElement -> HTMLElement
toHTMLElement = unsafeCoerce
toElement :: HTMLDataElement -> Element
toElement = unsafeCoerce
toNode :: HTMLDataElement -> Node
toNode = unsafeCoerce
toChildNode :: HTMLDataElement -> ChildNode
toChildNode = unsafeCoerce
toNonDocumentTypeChildNode :: HTMLDataElement -> NonDocumentTypeChildNode
toNonDocumentTypeChildNode = unsafeCoerce
toParentNode :: HTMLDataElement -> ParentNode
toParentNode = unsafeCoerce
toEventTarget :: HTMLDataElement -> EventTarget
toEventTarget = unsafeCoerce
foreign import value :: HTMLDataElement -> Effect String
foreign import setValue :: String -> HTMLDataElement -> Effect Unit