Std.Process.within

fn

This is a callable function.

What it does

Run a program, and stop it if it takes longer than it is allowed.

The bounded form of run. A program that ran out of time is answered as

None rather than as a failure, because taking too long is a fact about

the program rather than about being unable to start it — and a caller

often wants what it managed to write before it was stopped.

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.
• Option holds Some(value) or None when no value is available.
• Result makes success and recoverable failure part of the function's type.