experimental-rescript-webapi/src/DOM/HTMLTextAreaElement.res at refactor-location · rescript-lang/experimental-rescript-webapi · GitHub

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
include HTMLElement.Impl({type t = DomTypes.htmlTextAreaElement})

/**
Returns whether a form will validate when it is submitted, without having to submit it.
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/checkValidity)
*/
@send
external checkValidity: DomTypes.htmlTextAreaElement => bool = "checkValidity"

/**
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/reportValidity)
*/
@send
external reportValidity: DomTypes.htmlTextAreaElement => bool = "reportValidity"

/**
Sets a custom error message that is displayed when a form is submitted.
@param error Sets a custom error message that is displayed when a form is submitted.
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/setCustomValidity)
*/
@send
external setCustomValidity: (DomTypes.htmlTextAreaElement, string) => unit = "setCustomValidity"

/**
Highlights the input area of a form element.
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/select)
*/
@send
external select: DomTypes.htmlTextAreaElement => unit = "select"

/**
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/setRangeText)
*/
@send
external setRangeText: (DomTypes.htmlTextAreaElement, string) => unit = "setRangeText"

/**
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/setRangeText)
*/
@send
external setRangeText2: (
  DomTypes.htmlTextAreaElement,
  ~replacement: string,
  ~start: int,
  ~end: int,
  ~selectionMode: DomTypes.selectionMode=?,
) => unit = "setRangeText"

/**
Sets the start and end positions of a selection in a text field.
@param start The offset into the text field for the start of the selection.
@param end The offset into the text field for the end of the selection.
@param direction The direction in which the selection is performed.
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/setSelectionRange)
*/
@send
external setSelectionRange: (
  DomTypes.htmlTextAreaElement,
  ~start: int,
  ~end: int,
  ~direction: string=?,
) => unit = "setSelectionRange"