purescript-web-html/src/Web/HTML/HTMLAreaElement.js at master · purescript-web/purescript-web-html · GitHub - github.com

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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
export function alt(area) {
  return function () {
    return area.alt;
  };
}

export function setAlt(alt) {
  return function (area) {
    return function () {
      area.alt = alt;
    };
  };
}

// ----------------------------------------------------------------------------

export function coords(area) {
  return function () {
    return area.coords;
  };
}

export function setCoords(coords) {
  return function (area) {
    return function () {
      area.coords = coords;
    };
  };
}

// ----------------------------------------------------------------------------

export function shape(area) {
  return function () {
    return area.shape;
  };
}

export function setShape(shape) {
  return function (area) {
    return function () {
      area.shape = shape;
    };
  };
}

// ----------------------------------------------------------------------------

export function target(area) {
  return function () {
    return area.target;
  };
}

export function setTarget(target) {
  return function (area) {
    return function () {
      area.target = target;
    };
  };
}

// ----------------------------------------------------------------------------

export function download(area) {
  return function () {
    return area.download;
  };
}

export function setDownload(download) {
  return function (area) {
    return function () {
      area.download = download;
    };
  };
}

// ----------------------------------------------------------------------------

export function rel(area) {
  return function () {
    return area.rel;
  };
}

export function setRel(rel) {
  return function (area) {
    return function () {
      area.rel = rel;
    };
  };
}

// ----------------------------------------------------------------------------

export function relList(area) {
  return function () {
    return area.relList;
  };
}

// ----------------------------------------------------------------------------

export function hreflang(area) {
  return function () {
    return area.hreflang;
  };
}

export function setHreflang(hreflang) {
  return function (area) {
    return function () {
      area.hreflang = hreflang;
    };
  };
}

// ----------------------------------------------------------------------------

export function type_(area) {
  return function () {
    return area.type;
  };
}

export function setType(type) {
  return function (area) {
    return function () {
      area.type = type;
    };
  };
}