uiua-html/test.ua at main · thacuber2a03/uiua-html · 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
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
# Experimental!

~ "lib"
  ~ BasicDoc‼
  ~ Break ExBreak
  ~ Element Raw Render
  ~ ExLink Link
  ~ ExP H₁ P
  ~ List Quote UList
  ~ Script Style

# ---------------
# type assertions
# ---------------

⍣(0 ◌Element~New 0 "ae"|1)
⍤"Expected `Element~New <invalid type>` to fail, but it passed"

⍣(0 ◌Element~WithAttrs "html" 0 "ae"|1)
⍤"Expected `Element~WithAttrs tag <invalid type>` to fail, but it passed"

# -------------
# Element~Check
# -------------

⊙◌Element~Check P "Hello world"
⍤$"Element~Check failed with a valid element (_)".
⊙◌Element~Check "invalid tag"
⍤⊃$"Element~Check passed with an invalid element (_)"¬

# -----------------
# element rendering
# -----------------

Text ← $ Hello world! Some sample text :)

⍤⤙≍ ⊃($"<p>_</p>"|Render P) Text

Text
⍤⤙≍ ⊃(
  $"<p class=\"hello\" id=\"world\">_</p>"
| Render ExP ⊙(map{"class" "id"}{"hello" "world"})
)

Text
⍣(0◌Render ExP ⊙(map{"class" 1}{"hello" "world"})|1)
$ Expected `Render ExP map{"class" 1}{"hello" "world"} to fail due to `Render~Attributes` failing, but both passed
⍤

# --------------------
# no end tag rendering
# --------------------

⍤⤙≍ "<br/>" Render Break

Render ExBreak map{"class" "id"}["hello" "world"]
⍤⤙≍ "<br class=\"hello\" id=\"world\"/>"

# --------------------
# attributes rendering
# --------------------

⍣(1◌Render~Attributes map{"class"}["link"]|0)
⍤$ Expected `Render~Attributes map{"class"}["link"]` to pass, it failed"

⍣(0◌Render~Attributes map{1}["link"]|1)
⍤$ Expected `Render~Attributes map{1}["link"]` to fail, it passed"

⍣(1◌Render~Attributes map{"class"}[1]|0)
⍤$ Expected `Render~Attributes map{"class"}[1]` to pass, it failed"

# ------------
# abstractions
# ------------

BasicDoc‼"Hello world!" [P "Hi there!"]
⍤⤙≍ Raw~Html [
  Raw~Head [Title "Hello world!"]
  Raw~Body [P "Hi there!"]
]

# BasicDoc‼1 2
# ⍤⤙≍ Raw~Html [
#   Raw~Head [Title 1]
#   Raw~Body 2
# ]

Document‼"Hello world!" [P "Hi there!"]
⍤⤙≍ Raw~Html [
  Raw~Head "Hello world!"
  Raw~Body [P "Hi there!"]
]

Document‼[Title "Hello world!"] [P "Hi there!"]
⍤⤙≍ Raw~Html [
  Raw~Head "Hello world!"
  Raw~Body [P "Hi there!"]
]

List["a" "b" "c"]
⍤⤙≍ Raw~Ol[Raw~Li "a" Raw~Li "b" Raw~Li "c"]

UList["a" "b" "c"]
⍤⤙≍ Raw~Ul[Raw~Li "a" Raw~Li "b" Raw~Li "c"]

"Abandon nominativity. Embrace relativity."
⍤⤙≍ ⊃($Quote Raw~ExQ ⊙(map{}{})|Quote)

$ IwbnfouevcmsiehwvudbqvGovernment.
$ -- Winston Churchill
⍤⤙≍ ⊃($Quote Raw~ExBlockquote ⊙(map{}{})|Quote)

LinkText ← "this is a link"
UiuaPage ← "https://uiua.org"

Link LinkText UiuaPage
⍤⤙≍ (Raw~ExA LinkText map{"href"}{UiuaPage})

ExLink LinkText UiuaPage (map{"id"}{"a"})
⍤⤙≍ (Raw~ExA LinkText map{"id" "href"}{"a" UiuaPage})