2025-04-06 13:07:23 -07:00
|
|
|
lang HTML
|
2024-08-18 11:44:15 -07:00
|
|
|
HEADER := $HTML"<!DOCTYPE HTML>"
|
2025-04-06 13:07:23 -07:00
|
|
|
convert(t:Text->HTML)
|
2025-04-06 11:20:18 -07:00
|
|
|
t = t.translate({
|
2025-04-01 11:05:10 -07:00
|
|
|
"&"="&",
|
|
|
|
"<"="<",
|
|
|
|
">"=">",
|
|
|
|
'"'=""",
|
|
|
|
"'"="'",
|
2024-09-03 17:48:11 -07:00
|
|
|
})
|
|
|
|
|
2025-03-12 15:12:53 -07:00
|
|
|
return HTML.from_text(t)
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2025-04-06 13:07:23 -07:00
|
|
|
convert(i:Int->HTML)
|
2025-03-12 15:12:53 -07:00
|
|
|
return HTML.from_text("$i")
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2025-04-06 13:07:23 -07:00
|
|
|
func paragraph(content:HTML->HTML)
|
2024-08-18 11:44:15 -07:00
|
|
|
return $HTML"<p>$content</p>"
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2025-04-06 13:07:23 -07:00
|
|
|
struct Bold(text:Text)
|
|
|
|
convert(b:Bold -> HTML)
|
2025-03-01 13:04:14 -08:00
|
|
|
return $HTML"<b>$(b.text)</b>"
|
|
|
|
|
2025-04-06 13:07:23 -07:00
|
|
|
func main()
|
2024-04-12 10:09:31 -07:00
|
|
|
>> HTML.HEADER
|
|
|
|
= $HTML"<!DOCTYPE HTML>"
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2024-12-26 14:32:10 -08:00
|
|
|
>> HTML.HEADER[1]
|
|
|
|
= $HTML"<"
|
|
|
|
|
2025-03-01 13:53:58 -08:00
|
|
|
>> HTML.HEADER.text
|
2024-08-19 11:29:58 -07:00
|
|
|
= "<!DOCTYPE HTML>"
|
|
|
|
|
2024-04-12 10:09:31 -07:00
|
|
|
>> user := "I <3 hax"
|
2024-08-18 11:44:15 -07:00
|
|
|
>> html := $HTML"Hello $user!"
|
2024-04-12 10:09:31 -07:00
|
|
|
= $HTML"Hello I <3 hax!"
|
2024-08-18 11:44:15 -07:00
|
|
|
>> html ++ $HTML"<br>"
|
2024-04-12 10:09:31 -07:00
|
|
|
= $HTML"Hello I <3 hax!<br>"
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2024-08-18 11:44:15 -07:00
|
|
|
>> $HTML"$(1 + 2)"
|
2024-04-12 10:09:31 -07:00
|
|
|
= $HTML"3"
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2024-11-05 12:18:32 -08:00
|
|
|
>> $HTML"$(Int8(3))"
|
2024-04-12 10:09:31 -07:00
|
|
|
= $HTML"3"
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2025-04-06 11:20:18 -07:00
|
|
|
>> html.paragraph()
|
2024-04-12 10:09:31 -07:00
|
|
|
= $HTML"<p>Hello I <3 hax!</p>"
|
2024-08-18 09:52:53 -07:00
|
|
|
|
|
|
|
>> Text(html)
|
2025-04-06 19:26:12 -07:00
|
|
|
= '\$HTML"Hello I <3 hax!"'
|
2025-03-01 13:04:14 -08:00
|
|
|
|
|
|
|
>> b := Bold("Some <text> with junk")
|
|
|
|
>> $HTML"Your text: $b"
|
|
|
|
= $HTML"Your text: <b>Some <text> with junk</b>"
|
|
|
|
|