Pudu programming language
Menu
API reference

Std.Math.checkedPow

1 declaration

fn

checkedPow: T -> Int -> Option[T] where T: One + Mul

This is a callable function.

What it does

A value raised to a power, or None when the exponent is negative.

The total companion to pow, which answers one for a negative exponent

because its signature promises a value of the base's type.

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.
  • Option holds Some(value) or None when no value is available.

Back to Std.MathSearch related declarations