Skip to content

Commit 63766d9

Browse files
committed
Remove LengthLiteral
1 parent 37bcb41 commit 63766d9

File tree

2 files changed

+16
-27
lines changed

2 files changed

+16
-27
lines changed

src/DOM/HTML/Indexed.purs

Lines changed: 16 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@ import DOM.HTML.Indexed.DirValue (DirValue)
1010
import DOM.HTML.Indexed.FormMethod (FormMethod)
1111
import DOM.HTML.Indexed.InputType (InputType)
1212
import DOM.HTML.Indexed.KindValue (KindValue)
13-
import DOM.HTML.Indexed.LengthLiteral (LengthLiteral)
1413
import DOM.HTML.Indexed.MenuitemType (MenuitemType)
1514
import DOM.HTML.Indexed.MenuType (MenuType)
1615
import DOM.HTML.Indexed.OrderedListType (OrderedListType)
@@ -19,6 +18,8 @@ import DOM.HTML.Indexed.ScopeValue (ScopeValue)
1918
import DOM.HTML.Indexed.StepValue (StepValue)
2019
import DOM.HTML.Indexed.WrapValue (WrapValue)
2120

21+
type CSSPixel = Int
22+
2223
type GlobalAttributes r =
2324
( id :: String
2425
, title :: String
@@ -200,8 +201,8 @@ type HTMLbutton = Interactive
200201
)
201202

202203
type HTMLcanvas = Interactive
203-
( width :: Number
204-
, height :: Number
204+
( width :: CSSPixel
205+
, height :: CSSPixel
205206
)
206207

207208
type HTMLcaption = Interactive (onScroll :: Event)
@@ -240,10 +241,10 @@ type HTMLdt = Interactive (onScroll :: Event)
240241
type HTMLem = Interactive ()
241242

242243
type HTMLembed = Interactive
243-
( height :: Number
244+
( height :: CSSPixel
244245
, src :: String
245246
, type :: MediaType
246-
, width :: Number
247+
, width :: CSSPixel
247248
)
248249

249250
type HTMLfieldset = Interactive
@@ -300,27 +301,27 @@ type HTMLhtml = Interactive
300301
type HTMLi = Interactive ()
301302

302303
type HTMLiframe = Noninteractive
303-
( height :: Number
304+
( height :: CSSPixel
304305
, name :: String
305306
, onLoad :: Event
306307
, sandbox :: String
307308
, src :: String
308309
, srcDoc :: String
309-
, width :: Number
310+
, width :: CSSPixel
310311
)
311312

312313
type HTMLimg = Interactive
313314
( alt :: String
314315
, crossOrigin :: CrossOriginValue
315-
, height :: Number
316+
, height :: CSSPixel
316317
, isMap :: Boolean
317318
, longDesc :: String
318319
, onAbort :: Event
319320
, onError :: Event
320321
, onLoad :: Event
321322
, src :: String
322323
, useMap :: String
323-
, width :: Number
324+
, width :: CSSPixel
324325
)
325326

326327
type HTMLinput = Interactive
@@ -335,7 +336,7 @@ type HTMLinput = Interactive
335336
, formMethod :: FormMethod
336337
, formNoValidate :: Boolean
337338
, formTarget :: String
338-
, height :: LengthLiteral
339+
, height :: CSSPixel
339340
, list :: String
340341
, max :: Number
341342
, min :: Number
@@ -358,7 +359,7 @@ type HTMLinput = Interactive
358359
, step :: StepValue
359360
, type :: InputType
360361
, value :: String
361-
, width :: LengthLiteral
362+
, width :: CSSPixel
362363
)
363364

364365
type HTMLins = Interactive
@@ -438,13 +439,13 @@ type HTMLnoscript = Interactive ()
438439
type HTMLobject = Interactive
439440
( data :: String
440441
, form :: String
441-
, height :: Number
442+
, height :: CSSPixel
442443
, name :: String
443444
, onError :: Event
444445
, onScroll :: Event
445446
, type :: MediaType
446447
, useMap :: String
447-
, width :: Number
448+
, width :: CSSPixel
448449
)
449450

450451
type HTMLol = Interactive
@@ -613,13 +614,13 @@ type HTMLvar = Interactive ()
613614
type HTMLvideo = Interactive
614615
( autoplay :: Boolean
615616
, controls :: Boolean
616-
, height :: Number
617+
, height :: CSSPixel
617618
, loop :: Boolean
618619
, muted :: Boolean
619620
, poster :: String
620621
, preload :: PreloadValue
621622
, src :: String
622-
, width :: Number
623+
, width :: CSSPixel
623624
)
624625

625626
type HTMLwbr = Interactive ()

src/DOM/HTML/Indexed/LengthLiteral.purs

Lines changed: 0 additions & 12 deletions
This file was deleted.

0 commit comments

Comments
 (0)