Skip to content

Commit 6ae5dd4

Browse files
garybgaryb
committed
Add all element casts and conversions
1 parent 03b9269 commit 6ae5dd4

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

64 files changed

+2838
-242
lines changed

‎src/Web/HTML/HTMLAnchorElement.purs

+42-3
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,58 @@
11
module Web.HTML.HTMLAnchorElement where
22

3+
import Data.Maybe (Maybe)
34
import Effect (Effect)
4-
import Foreign (Foreign, F, unsafeReadTagged)
55
import Prelude (Unit)
66
import Unsafe.Coerce (unsafeCoerce)
7+
import Web.DOM (ChildNode, Element, Node, NonDocumentTypeChildNode, ParentNode)
78
import Web.DOM.DOMTokenList (DOMTokenList)
9+
import Web.Event.EventTarget (EventTarget)
810
import Web.HTML.HTMLElement (HTMLElement)
11+
import Web.Internal.FFI (unsafeReadProtoTagged)
912

1013
foreign import data HTMLAnchorElement :: Type
1114

15+
fromHTMLElement :: HTMLElement -> Maybe HTMLAnchorElement
16+
fromHTMLElement = unsafeReadProtoTagged "HTMLAnchorElement"
17+
18+
fromElement :: Element -> Maybe HTMLAnchorElement
19+
fromElement = unsafeReadProtoTagged "HTMLAnchorElement"
20+
21+
fromNode :: Node -> Maybe HTMLAnchorElement
22+
fromNode = unsafeReadProtoTagged "HTMLAnchorElement"
23+
24+
fromChildNode :: ChildNode -> Maybe HTMLAnchorElement
25+
fromChildNode = unsafeReadProtoTagged "HTMLAnchorElement"
26+
27+
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLAnchorElement
28+
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLAnchorElement"
29+
30+
fromParentNode :: ParentNode -> Maybe HTMLAnchorElement
31+
fromParentNode = unsafeReadProtoTagged "HTMLAnchorElement"
32+
33+
fromEventTarget :: EventTarget -> Maybe HTMLAnchorElement
34+
fromEventTarget = unsafeReadProtoTagged "HTMLAnchorElement"
35+
1236
toHTMLElement :: HTMLAnchorElement -> HTMLElement
1337
toHTMLElement = unsafeCoerce
1438

15-
read :: Foreign -> F HTMLAnchorElement
16-
read = unsafeReadTagged "HTMLAnchorElement"
39+
toElement :: HTMLAnchorElement -> Element
40+
toElement = unsafeCoerce
41+
42+
toNode :: HTMLAnchorElement -> Node
43+
toNode = unsafeCoerce
44+
45+
toChildNode :: HTMLAnchorElement -> ChildNode
46+
toChildNode = unsafeCoerce
47+
48+
toNonDocumentTypeChildNode :: HTMLAnchorElement -> NonDocumentTypeChildNode
49+
toNonDocumentTypeChildNode = unsafeCoerce
50+
51+
toParentNode :: HTMLAnchorElement -> ParentNode
52+
toParentNode = unsafeCoerce
53+
54+
toEventTarget :: HTMLAnchorElement -> EventTarget
55+
toEventTarget = unsafeCoerce
1756

1857
foreign import target :: HTMLAnchorElement -> Effect String
1958
foreign import setTarget :: String -> HTMLAnchorElement -> Effect Unit

‎src/Web/HTML/HTMLAreaElement.purs

+42-3
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,58 @@
11
module Web.HTML.HTMLAreaElement where
22

3+
import Data.Maybe (Maybe)
34
import Effect (Effect)
4-
import Foreign (F, Foreign, unsafeReadTagged)
55
import Prelude (Unit)
66
import Unsafe.Coerce (unsafeCoerce)
7+
import Web.DOM (ChildNode, Element, Node, NonDocumentTypeChildNode, ParentNode)
78
import Web.DOM.DOMTokenList (DOMTokenList)
9+
import Web.Event.EventTarget (EventTarget)
810
import Web.HTML.HTMLElement (HTMLElement)
11+
import Web.Internal.FFI (unsafeReadProtoTagged)
912

1013
foreign import data HTMLAreaElement :: Type
1114

15+
fromHTMLElement :: HTMLElement -> Maybe HTMLAreaElement
16+
fromHTMLElement = unsafeReadProtoTagged "HTMLAreaElement"
17+
18+
fromElement :: Element -> Maybe HTMLAreaElement
19+
fromElement = unsafeReadProtoTagged "HTMLAreaElement"
20+
21+
fromNode :: Node -> Maybe HTMLAreaElement
22+
fromNode = unsafeReadProtoTagged "HTMLAreaElement"
23+
24+
fromChildNode :: ChildNode -> Maybe HTMLAreaElement
25+
fromChildNode = unsafeReadProtoTagged "HTMLAreaElement"
26+
27+
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLAreaElement
28+
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLAreaElement"
29+
30+
fromParentNode :: ParentNode -> Maybe HTMLAreaElement
31+
fromParentNode = unsafeReadProtoTagged "HTMLAreaElement"
32+
33+
fromEventTarget :: EventTarget -> Maybe HTMLAreaElement
34+
fromEventTarget = unsafeReadProtoTagged "HTMLAreaElement"
35+
1236
toHTMLElement :: HTMLAreaElement -> HTMLElement
1337
toHTMLElement = unsafeCoerce
1438

15-
read :: Foreign -> F HTMLAreaElement
16-
read = unsafeReadTagged "HTMLAreaElement"
39+
toElement :: HTMLAreaElement -> Element
40+
toElement = unsafeCoerce
41+
42+
toNode :: HTMLAreaElement -> Node
43+
toNode = unsafeCoerce
44+
45+
toChildNode :: HTMLAreaElement -> ChildNode
46+
toChildNode = unsafeCoerce
47+
48+
toNonDocumentTypeChildNode :: HTMLAreaElement -> NonDocumentTypeChildNode
49+
toNonDocumentTypeChildNode = unsafeCoerce
50+
51+
toParentNode :: HTMLAreaElement -> ParentNode
52+
toParentNode = unsafeCoerce
53+
54+
toEventTarget :: HTMLAreaElement -> EventTarget
55+
toEventTarget = unsafeCoerce
1756

1857
foreign import alt :: HTMLAreaElement -> Effect String
1958
foreign import setAlt :: String -> HTMLAreaElement -> Effect Unit

‎src/Web/HTML/HTMLAudioElement.purs

+49-3
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,59 @@
11
module Web.HTML.HTMLAudioElement where
22

3-
import Foreign (F, Foreign, unsafeReadTagged)
3+
import Data.Maybe (Maybe)
44
import Unsafe.Coerce (unsafeCoerce)
5+
import Web.DOM (ChildNode, Element, Node, NonDocumentTypeChildNode, ParentNode)
6+
import Web.Event.EventTarget (EventTarget)
7+
import Web.HTML.HTMLElement (HTMLElement)
58
import Web.HTML.HTMLMediaElement (HTMLMediaElement)
9+
import Web.Internal.FFI (unsafeReadProtoTagged)
610

711
foreign import data HTMLAudioElement :: Type
812

13+
fromHTMLMediaElement :: HTMLMediaElement -> Maybe HTMLAudioElement
14+
fromHTMLMediaElement = unsafeReadProtoTagged "HTMLAudioElement"
15+
16+
fromHTMLElement :: HTMLElement -> Maybe HTMLAudioElement
17+
fromHTMLElement = unsafeReadProtoTagged "HTMLAudioElement"
18+
19+
fromElement :: Element -> Maybe HTMLAudioElement
20+
fromElement = unsafeReadProtoTagged "HTMLAudioElement"
21+
22+
fromNode :: Node -> Maybe HTMLAudioElement
23+
fromNode = unsafeReadProtoTagged "HTMLAudioElement"
24+
25+
fromChildNode :: ChildNode -> Maybe HTMLAudioElement
26+
fromChildNode = unsafeReadProtoTagged "HTMLAudioElement"
27+
28+
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLAudioElement
29+
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLAudioElement"
30+
31+
fromParentNode :: ParentNode -> Maybe HTMLAudioElement
32+
fromParentNode = unsafeReadProtoTagged "HTMLAudioElement"
33+
34+
fromEventTarget :: EventTarget -> Maybe HTMLAudioElement
35+
fromEventTarget = unsafeReadProtoTagged "HTMLAudioElement"
36+
937
toHTMLMediaElement :: HTMLAudioElement -> HTMLMediaElement
1038
toHTMLMediaElement = unsafeCoerce
1139

12-
read :: Foreign -> F HTMLAudioElement
13-
read = unsafeReadTagged "HTMLAudioElement"
40+
toHTMLElement :: HTMLAudioElement -> HTMLElement
41+
toHTMLElement = unsafeCoerce
42+
43+
toElement :: HTMLAudioElement -> Element
44+
toElement = unsafeCoerce
45+
46+
toNode :: HTMLAudioElement -> Node
47+
toNode = unsafeCoerce
48+
49+
toChildNode :: HTMLAudioElement -> ChildNode
50+
toChildNode = unsafeCoerce
51+
52+
toNonDocumentTypeChildNode :: HTMLAudioElement -> NonDocumentTypeChildNode
53+
toNonDocumentTypeChildNode = unsafeCoerce
54+
55+
toParentNode :: HTMLAudioElement -> ParentNode
56+
toParentNode = unsafeCoerce
57+
58+
toEventTarget :: HTMLAudioElement -> EventTarget
59+
toEventTarget = unsafeCoerce

‎src/Web/HTML/HTMLBRElement.purs

+42-3
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,52 @@
11
module Web.HTML.HTMLBRElement where
22

3-
import Foreign (F, Foreign, unsafeReadTagged)
3+
import Data.Maybe (Maybe)
44
import Unsafe.Coerce (unsafeCoerce)
5+
import Web.DOM (ChildNode, Element, Node, NonDocumentTypeChildNode, ParentNode)
6+
import Web.Event.EventTarget (EventTarget)
57
import Web.HTML.HTMLElement (HTMLElement)
8+
import Web.Internal.FFI (unsafeReadProtoTagged)
69

710
foreign import data HTMLBRElement :: Type
811

12+
fromHTMLElement :: HTMLElement -> Maybe HTMLBRElement
13+
fromHTMLElement = unsafeReadProtoTagged "HTMLBRElement"
14+
15+
fromElement :: Element -> Maybe HTMLBRElement
16+
fromElement = unsafeReadProtoTagged "HTMLBRElement"
17+
18+
fromNode :: Node -> Maybe HTMLBRElement
19+
fromNode = unsafeReadProtoTagged "HTMLBRElement"
20+
21+
fromChildNode :: ChildNode -> Maybe HTMLBRElement
22+
fromChildNode = unsafeReadProtoTagged "HTMLBRElement"
23+
24+
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLBRElement
25+
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLBRElement"
26+
27+
fromParentNode :: ParentNode -> Maybe HTMLBRElement
28+
fromParentNode = unsafeReadProtoTagged "HTMLBRElement"
29+
30+
fromEventTarget :: EventTarget -> Maybe HTMLBRElement
31+
fromEventTarget = unsafeReadProtoTagged "HTMLBRElement"
32+
933
toHTMLElement :: HTMLBRElement -> HTMLElement
1034
toHTMLElement = unsafeCoerce
1135

12-
read :: Foreign -> F HTMLBRElement
13-
read = unsafeReadTagged "HTMLBRElement"
36+
toElement :: HTMLBRElement -> Element
37+
toElement = unsafeCoerce
38+
39+
toNode :: HTMLBRElement -> Node
40+
toNode = unsafeCoerce
41+
42+
toChildNode :: HTMLBRElement -> ChildNode
43+
toChildNode = unsafeCoerce
44+
45+
toNonDocumentTypeChildNode :: HTMLBRElement -> NonDocumentTypeChildNode
46+
toNonDocumentTypeChildNode = unsafeCoerce
47+
48+
toParentNode :: HTMLBRElement -> ParentNode
49+
toParentNode = unsafeCoerce
50+
51+
toEventTarget :: HTMLBRElement -> EventTarget
52+
toEventTarget = unsafeCoerce

‎src/Web/HTML/HTMLBaseElement.purs

+43-3
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,58 @@
11
module Web.HTML.HTMLBaseElement where
22

3+
import Data.Maybe (Maybe)
34
import Effect (Effect)
4-
import Foreign (F, Foreign, unsafeReadTagged)
55
import Prelude (Unit)
66
import Unsafe.Coerce (unsafeCoerce)
7+
import Web.DOM (ChildNode, Element, Node, NonDocumentTypeChildNode, ParentNode)
8+
import Web.Event.EventTarget (EventTarget)
79
import Web.HTML.HTMLElement (HTMLElement)
10+
import Web.Internal.FFI (unsafeReadProtoTagged)
811

912
foreign import data HTMLBaseElement :: Type
1013

14+
fromHTMLElement :: HTMLElement -> Maybe HTMLBaseElement
15+
fromHTMLElement = unsafeReadProtoTagged "HTMLBaseElement"
16+
17+
fromElement :: Element -> Maybe HTMLBaseElement
18+
fromElement = unsafeReadProtoTagged "HTMLBaseElement"
19+
20+
fromNode :: Node -> Maybe HTMLBaseElement
21+
fromNode = unsafeReadProtoTagged "HTMLBaseElement"
22+
23+
fromChildNode :: ChildNode -> Maybe HTMLBaseElement
24+
fromChildNode = unsafeReadProtoTagged "HTMLBaseElement"
25+
26+
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLBaseElement
27+
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLBaseElement"
28+
29+
fromParentNode :: ParentNode -> Maybe HTMLBaseElement
30+
fromParentNode = unsafeReadProtoTagged "HTMLBaseElement"
31+
32+
fromEventTarget :: EventTarget -> Maybe HTMLBaseElement
33+
fromEventTarget = unsafeReadProtoTagged "HTMLBaseElement"
34+
1135
toHTMLElement :: HTMLBaseElement -> HTMLElement
1236
toHTMLElement = unsafeCoerce
1337

14-
read :: Foreign -> F HTMLBaseElement
15-
read = unsafeReadTagged "HTMLBaseElement"
38+
toElement :: HTMLBaseElement -> Element
39+
toElement = unsafeCoerce
40+
41+
toNode :: HTMLBaseElement -> Node
42+
toNode = unsafeCoerce
43+
44+
toChildNode :: HTMLBaseElement -> ChildNode
45+
toChildNode = unsafeCoerce
46+
47+
toNonDocumentTypeChildNode :: HTMLBaseElement -> NonDocumentTypeChildNode
48+
toNonDocumentTypeChildNode = unsafeCoerce
49+
50+
toParentNode :: HTMLBaseElement -> ParentNode
51+
toParentNode = unsafeCoerce
52+
53+
toEventTarget :: HTMLBaseElement -> EventTarget
54+
toEventTarget = unsafeCoerce
55+
1656

1757
foreign import href :: HTMLBaseElement -> Effect String
1858
foreign import setHref :: String -> HTMLBaseElement -> Effect Unit

‎src/Web/HTML/HTMLBodyElement.purs

+42-3
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,52 @@
11
module Web.HTML.HTMLBodyElement where
22

3-
import Foreign (F, Foreign, unsafeReadTagged)
3+
import Data.Maybe (Maybe)
44
import Unsafe.Coerce (unsafeCoerce)
5+
import Web.DOM (ChildNode, Element, Node, NonDocumentTypeChildNode, ParentNode)
6+
import Web.Event.EventTarget (EventTarget)
57
import Web.HTML.HTMLElement (HTMLElement)
8+
import Web.Internal.FFI (unsafeReadProtoTagged)
69

710
foreign import data HTMLBodyElement :: Type
811

12+
fromHTMLElement :: HTMLElement -> Maybe HTMLBodyElement
13+
fromHTMLElement = unsafeReadProtoTagged "HTMLBodyElement"
14+
15+
fromElement :: Element -> Maybe HTMLBodyElement
16+
fromElement = unsafeReadProtoTagged "HTMLBodyElement"
17+
18+
fromNode :: Node -> Maybe HTMLBodyElement
19+
fromNode = unsafeReadProtoTagged "HTMLBodyElement"
20+
21+
fromChildNode :: ChildNode -> Maybe HTMLBodyElement
22+
fromChildNode = unsafeReadProtoTagged "HTMLBodyElement"
23+
24+
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLBodyElement
25+
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLBodyElement"
26+
27+
fromParentNode :: ParentNode -> Maybe HTMLBodyElement
28+
fromParentNode = unsafeReadProtoTagged "HTMLBodyElement"
29+
30+
fromEventTarget :: EventTarget -> Maybe HTMLBodyElement
31+
fromEventTarget = unsafeReadProtoTagged "HTMLBodyElement"
32+
933
toHTMLElement :: HTMLBodyElement -> HTMLElement
1034
toHTMLElement = unsafeCoerce
1135

12-
read :: Foreign -> F HTMLBodyElement
13-
read = unsafeReadTagged "HTMLBodyElement"
36+
toElement :: HTMLBodyElement -> Element
37+
toElement = unsafeCoerce
38+
39+
toNode :: HTMLBodyElement -> Node
40+
toNode = unsafeCoerce
41+
42+
toChildNode :: HTMLBodyElement -> ChildNode
43+
toChildNode = unsafeCoerce
44+
45+
toNonDocumentTypeChildNode :: HTMLBodyElement -> NonDocumentTypeChildNode
46+
toNonDocumentTypeChildNode = unsafeCoerce
47+
48+
toParentNode :: HTMLBodyElement -> ParentNode
49+
toParentNode = unsafeCoerce
50+
51+
toEventTarget :: HTMLBodyElement -> EventTarget
52+
toEventTarget = unsafeCoerce

0 commit comments

Comments
 (0)