webua/xml.ua at main · uiua-lang/webua · 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
GlobalAttrs ↚ {"Accesskey" "Anchor" "Autocapitalize" "Autofocus" "Class" "Contenteditable" "Dir" "Draggable" "Enterkeyhint" "Exportparts" "Hidden" "Id" "Inert" "Inputmode" "Is" "Itemid" "Itemprop" "Itemref" "Itemscope" "Itemtype" "Lang" "Nonce" "Part" "Popover" "Slot" "Spellcheck" "Style" "Tabindex" "Title" "Translate" "Virtualkeyboardpolicy" "Writingsuggestions"}
# Changes subscripts to digits and PascalCase to kebab-case
NrmId ↚ ⍜▽(+@0-@₀)⊸∊+@₀⇡10 ¯⌵/$"_-_"⊜□+1=1⊸± ⍜⊢¯
Attrs ← (
  ∩↘₁⊙⟜(⍥/$"_ _"=2⊸type ⍥⋅""◇⊸≍NaN⊢)
  ∩⌞▽⊃(¬⌕⋅NaN|⊙⍚(repr$"_"))
  ⊂∩(⍥(⊂@\s)±⊸⧻) /$"_ _"⍚$"_=_"
)
Children ← ⍥/$"__"=2⊸type
# ^0 is the tag format, ^1 is inserted before the tag call
M‼ ← /$"_\n_"⊃{
  $"┌╶╶M_"
  # ! don't uncomment this part for now, it will kill LSP!
  # | $ ~ {
  #   $   # Set arbitrary attributes
  #   $   X ← NaN
  #   # | /$"_\n_"⍚($"# Set the attribute `_`\n_"⊸NrmId) ⊂⋅GlobalAttrs
  # | /$"_|_"⊂⋅GlobalAttrs
  # | $ }
| $"~ {_}" ⋅(/$"_|_"⍚$"_←NaN"⊂□"X"⊂GlobalAttrs)
| ⊙^1 ^0 NrmId
  $$ Impl ← $"_" Attrs ⍚NrmId Fields _
| $ └╶╶
| $"# <_> element with no attributes." NrmId
| ˙$"_ ← M_!(Impl New)"
| $"# Make _ <_> element." ⨬"a""an"∊"aeiou"⊸⊢ NrmId
| $ # Use °⊸Attr to set known attributes, or °⊸X to insert any which aren't recognized.
| ⊂$"_!←" ⟜(
    $"_!(_)" ⟜˙$"Impl _!^0(˜⊂\"New\"˜↯@⊙-1⊢⋅⊢)^!_!^0" ⊂@M
  )
} ⊙(⊜□⊸≠@\s)°□₂
# Define an HTML element taking children.
# The first pack function is an identifier mapping to the HTML tag.
# The second pack function is a space-separated list of attribute identifiers.
# PascalCase identifiers become kebab-case in HTML. Subscripts become digits.
Elem! ←^ M‼˙$"<_\_>\_</_>""⊙Children"
# Define an HTML element which doesn't take any children.
# The first pack function is an identifier mapping to the HTML tag.
# The second pack function is a space-separated list of attribute identifiers.
# PascalCase identifiers become kebab-case in HTML. Subscripts become digits.
Void! ←^ M‼$"<_\_ />"""

WithDoctype! ↚^ M‼˙$"<!DOCTYPE html><_\_>\_</_>""⊙Children"
WithDoctype!(Html|Xmlns)