2024-04-28 11:58:55 -07:00
|
|
|
lang HTML:
|
2024-08-18 11:44:15 -07:00
|
|
|
HEADER := $HTML"<!DOCTYPE HTML>"
|
2025-03-10 09:42:45 -07:00
|
|
|
convert(t:Text->HTML):
|
2024-09-03 17:48:11 -07:00
|
|
|
t = t:replace_all({
|
2025-01-12 13:49:58 -08:00
|
|
|
$/&/="&",
|
|
|
|
$/</="<",
|
|
|
|
$/>/=">",
|
|
|
|
$/"/=""",
|
|
|
|
$/'/="'",
|
2024-09-03 17:48:11 -07:00
|
|
|
})
|
|
|
|
|
2024-09-24 10:26:49 -07:00
|
|
|
return HTML.without_escaping(t)
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2025-03-10 09:42:45 -07:00
|
|
|
convert(i:Int->HTML):
|
2024-09-24 10:26:49 -07:00
|
|
|
return HTML.without_escaping("$i")
|
2024-03-09 16:03:35 -08:00
|
|
|
|
2024-10-09 10:26:28 -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-03-01 13:04:14 -08:00
|
|
|
struct Bold(text:Text):
|
2025-03-10 09:42:45 -07:00
|
|
|
convert(b:Bold -> HTML):
|
2025-03-01 13:04:14 -08:00
|
|
|
return $HTML"<b>$(b.text)</b>"
|
|
|
|
|
2024-04-28 11:58:55 -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
|
|
|
|
2024-04-12 10:09:31 -07:00
|
|
|
>> html:paragraph()
|
|
|
|
= $HTML"<p>Hello I <3 hax!</p>"
|
2024-08-18 09:52:53 -07:00
|
|
|
|
|
|
|
>> Text(html)
|
2024-09-15 11:03:16 -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>"
|
|
|
|
|