Pudu programming language
Menu

Std.Http.Server.Lambda.nextInvocation

1 declaration

fn

nextInvocation: &Std.Http.Server.Lambda.Runtime -> Result[Std.Http.Server.Lambda.Invocation, Std.Http.Server.Lambda.LambdaError]

This is a callable function.

What it does

Ask for the next invocation, waiting until there is one.

The identifier comes back in a header rather than in the body, so a reader

that only decoded the body would answer every invocation against nothing.

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.
  • & borrows a value for this call instead of moving or copying it.
  • 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.Server.LambdaSearch related declarations