/
HTMLFormElement.purs
92 lines (63 loc) · 3.26 KB
/
HTMLFormElement.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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
module Web.HTML.HTMLFormElement 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 HTMLFormElement :: Type
fromHTMLElement :: HTMLElement -> Maybe HTMLFormElement
fromHTMLElement = unsafeReadProtoTagged "HTMLFormElement"
fromElement :: Element -> Maybe HTMLFormElement
fromElement = unsafeReadProtoTagged "HTMLFormElement"
fromNode :: Node -> Maybe HTMLFormElement
fromNode = unsafeReadProtoTagged "HTMLFormElement"
fromChildNode :: ChildNode -> Maybe HTMLFormElement
fromChildNode = unsafeReadProtoTagged "HTMLFormElement"
fromNonDocumentTypeChildNode :: NonDocumentTypeChildNode -> Maybe HTMLFormElement
fromNonDocumentTypeChildNode = unsafeReadProtoTagged "HTMLFormElement"
fromParentNode :: ParentNode -> Maybe HTMLFormElement
fromParentNode = unsafeReadProtoTagged "HTMLFormElement"
fromEventTarget :: EventTarget -> Maybe HTMLFormElement
fromEventTarget = unsafeReadProtoTagged "HTMLFormElement"
toHTMLElement :: HTMLFormElement -> HTMLElement
toHTMLElement = unsafeCoerce
toElement :: HTMLFormElement -> Element
toElement = unsafeCoerce
toNode :: HTMLFormElement -> Node
toNode = unsafeCoerce
toChildNode :: HTMLFormElement -> ChildNode
toChildNode = unsafeCoerce
toNonDocumentTypeChildNode :: HTMLFormElement -> NonDocumentTypeChildNode
toNonDocumentTypeChildNode = unsafeCoerce
toParentNode :: HTMLFormElement -> ParentNode
toParentNode = unsafeCoerce
toEventTarget :: HTMLFormElement -> EventTarget
toEventTarget = unsafeCoerce
foreign import acceptCharset :: HTMLFormElement -> Effect String
foreign import setAcceptCharset :: String -> HTMLFormElement -> Effect Unit
foreign import action :: HTMLFormElement -> Effect String
foreign import setAction :: String -> HTMLFormElement -> Effect Unit
foreign import autocomplete :: HTMLFormElement -> Effect String
foreign import setAutocomplete :: String -> HTMLFormElement -> Effect Unit
foreign import enctype :: HTMLFormElement -> Effect String
foreign import setEnctype :: String -> HTMLFormElement -> Effect Unit
foreign import encoding :: HTMLFormElement -> Effect String
foreign import setEncoding :: String -> HTMLFormElement -> Effect Unit
foreign import method :: HTMLFormElement -> Effect String
foreign import setMethod :: String -> HTMLFormElement -> Effect Unit
foreign import name :: HTMLFormElement -> Effect String
foreign import setName :: String -> HTMLFormElement -> Effect Unit
foreign import noValidate :: HTMLFormElement -> Effect Boolean
foreign import setNoValidate :: Boolean -> HTMLFormElement -> Effect Unit
foreign import target :: HTMLFormElement -> Effect String
foreign import setTarget :: String -> HTMLFormElement -> Effect Unit
-- readonly attribute HTMLFormControlsCollection elements;
foreign import length :: HTMLFormElement -> Effect Int
-- getter Element (unsigned long index);
-- getter (RadioNodeList or Element) (DOMString name);
foreign import submit :: HTMLFormElement -> Effect Unit
foreign import reset :: HTMLFormElement -> Effect Unit
foreign import checkValidity :: HTMLFormElement -> Effect Boolean