Pudu programming language
Menu
API reference

Std.Html.Destination

1 declaration

type

Destination

This declaration introduces a public type.

What it does

A destination an attribute may carry.

There is no way to make one except through a call that checked it, which is

the same arrangement text has and for the same reason. Escaping text does

nothing for a destination: href="javascript:..." contains no character

that escaping touches, and it runs. A page builder that escapes text and

takes any string as a destination has closed one door and left the other

open — which is where the established template engines are.

Read the signature

  • This declaration has no value signature because it introduces a type or trait.

Back to Std.HtmlSearch related declarations