Pudu programming language
Menu
API reference

Std.Html.trustedDestination

1 declaration

fn

trustedDestination: Str -> Std.Html.Destination

This is a callable function.

What it does

A destination the caller has taken responsibility for.

The only way an unchecked destination is written, named so it cannot be

reached by accident and appears in the source where somebody chose it.

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.

Back to Std.HtmlSearch related declarations