Std.Html.destination

fn

This is a callable function.

What it does

A destination, checked, or the reason it is refused.

A path within this site is always admitted. Anything naming a scheme must

name one of the few that carry a destination rather than a program. Nothing

is unescaped first: what arrives is what was written, and undoing an

encoding before checking is how a check is bypassed.

Read the signature

• The text after the name is the type checked by Pudu.
• Read arrows from left to right: inputs come first, and the final type is returned.
• Names inside [ ] are type arguments, such as the item type held by a collection.
• Result makes success and recoverable failure part of the function's type.