Std.Math.checkedPow
1 declaration
fn
checkedPow: T -> Int -> Option[T] where T: One + MulThis 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.
