Pudu programming language
Menu
API reference

Std.Http.Safe.resolveUnder

1 declaration

fn

resolveUnder: Str -> Str -> Result[Str, Std.Http.Safe.Unsafe]

This is a callable function.

What it does

A path resolved under a root it cannot leave.

Segments are consumed one at a time and an ascent past the root refuses.

Nothing looks for the shape of an escaping path: every filter of that kind

has an encoding that gets past it, and by the time a segment exists the

encoding has already been undone.

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.

Back to Std.Http.SafeSearch related declarations