Pudu programming language
Menu
API reference

Std.Function.until

1 declaration

fn

until: Int -> fn(T) -> Bool -> fn(T) -> T -> T -> T

This is a callable function.

What it does

A function applied until a condition holds.

The step count is bounded because a strict language cannot recover from a

condition that never holds; exhausting the bound answers with what it had.

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.FunctionSearch related declarations