Use assert in power_of_integer function

Author: natanaelsirqueira

exercises/practice/rational-numbers/.meta/example.gleam

@@ -1,5 +1,6 @@
 import gleam/int
 import gleam/float
+import gleam/result
 
 pub type RationalNumber {
   RationalNumber(numerator: Int, denominator: Int)
@@ -45,7 +46,7 @@ pub fn absolute_value(r: RationalNumber) -> RationalNumber {
 pub fn power_of_rational(
   number base: RationalNumber,
   to exponent: Int,
-) -> Result(RationalNumber, Nil) {
+) -> RationalNumber {
   case base {
     RationalNumber(numerator, denominator) if exponent < 0 ->
       power_of_rational(
@@ -54,12 +55,10 @@ pub fn power_of_rational(
       )
 
     RationalNumber(numerator, denominator) -> {
-      try numerator = power_of_integer(numerator, to: exponent)
-      try denominator = power_of_integer(denominator, to: exponent)
+      let numerator = power_of_integer(numerator, to: exponent)
+      let denominator = power_of_integer(denominator, to: exponent)
 
-      let power = reduce(RationalNumber(numerator, denominator))
-
-      Ok(power)
+      reduce(RationalNumber(numerator, denominator))
     }
   }
 }
@@ -70,7 +69,7 @@ pub fn power_of_real(
 ) -> Result(Float, Nil) {
   let RationalNumber(numerator, denominator) = exponent
 
-  try power = float.power(base, int.to_float(numerator))
+  use power <- result.then(float.power(base, int.to_float(numerator)))
 
   nth_root(denominator, of: power)
 }
@@ -91,10 +90,10 @@ pub fn reduce(r: RationalNumber) -> RationalNumber {
   }
 }
 
-fn power_of_integer(number base: Int, to exponent: Int) -> Result(Int, Nil) {
-  try power = int.power(base, int.to_float(exponent))
+fn power_of_integer(number base: Int, to exponent: Int) -> Int {
+  let assert Ok(power) = int.power(base, int.to_float(exponent))
 
-  Ok(float.round(power))
+  float.round(power)
 }
 
 fn nth_root(n: Int, of p: Float) -> Result(Float, Nil) {

exercises/practice/rational-numbers/src/rational_numbers.gleam

@@ -25,7 +25,7 @@ pub fn absolute_value(r: RationalNumber) -> RationalNumber {
 pub fn power_of_rational(
   number base: RationalNumber,
   to exponent: Int,
-) -> Result(RationalNumber, Nil) {
+) -> RationalNumber {
   todo
 }
 

exercises/practice/rational-numbers/test/rational_numbers_test.gleam

@@ -7,216 +7,223 @@ pub fn main() {
 }
 
 pub fn arithmetic_addition_add_two_positive_rational_numbers_test() {
-  assert RationalNumber(7, 6) =
+  let assert RationalNumber(7, 6) =
     rational_numbers.add(RationalNumber(1, 2), RationalNumber(2, 3))
 }
 
 pub fn arithmetic_addition_add_a_positive_rational_number_and_a_negative_rational_number_test() {
-  assert RationalNumber(-1, 6) =
+  let assert RationalNumber(-1, 6) =
     rational_numbers.add(RationalNumber(1, 2), RationalNumber(-2, 3))
 }
 
 pub fn arithmetic_addition_add_two_negative_rational_numbers_test() {
-  assert RationalNumber(-7, 6) =
+  let assert RationalNumber(-7, 6) =
     rational_numbers.add(RationalNumber(-1, 2), RationalNumber(-2, 3))
 }
 
 pub fn arithmetic_addition_add_a_rational_number_to_its_additive_inverse_test() {
-  assert RationalNumber(0, 1) =
+  let assert RationalNumber(0, 1) =
     rational_numbers.add(RationalNumber(1, 2), RationalNumber(-1, 2))
 }
 
 pub fn arithmetic_subtraction_subtract_two_positive_rational_numbers_test() {
-  assert RationalNumber(-1, 6) =
+  let assert RationalNumber(-1, 6) =
     rational_numbers.subtract(RationalNumber(1, 2), RationalNumber(2, 3))
 }
 
 pub fn arithmetic_subtraction_subtract_a_positive_rational_number_and_a_negative_rational_number_test() {
-  assert RationalNumber(7, 6) =
+  let assert RationalNumber(7, 6) =
     rational_numbers.subtract(RationalNumber(1, 2), RationalNumber(-2, 3))
 }
 
 pub fn arithmetic_subtraction_subtract_two_negative_rational_numbers_test() {
-  assert RationalNumber(1, 6) =
+  let assert RationalNumber(1, 6) =
     rational_numbers.subtract(RationalNumber(-1, 2), RationalNumber(-2, 3))
 }
 
 pub fn arithmetic_subtraction_subtract_a_rational_number_from_itself_test() {
-  assert RationalNumber(0, 1) =
+  let assert RationalNumber(0, 1) =
     rational_numbers.subtract(RationalNumber(1, 2), RationalNumber(1, 2))
 }
 
 pub fn arithmetic_multiplication_multiply_two_positive_rational_numbers_test() {
-  assert RationalNumber(1, 3) =
+  let assert RationalNumber(1, 3) =
     rational_numbers.multiply(RationalNumber(1, 2), RationalNumber(2, 3))
 }
 
 pub fn arithmetic_multiplication_multiply_a_negative_rational_number_by_a_positive_rational_number_test() {
-  assert RationalNumber(-1, 3) =
+  let assert RationalNumber(-1, 3) =
     rational_numbers.multiply(RationalNumber(-1, 2), RationalNumber(2, 3))
 }
 
 pub fn arithmetic_multiplication_multiply_two_negative_rational_numbers_test() {
-  assert RationalNumber(1, 3) =
+  let assert RationalNumber(1, 3) =
     rational_numbers.multiply(RationalNumber(-1, 2), RationalNumber(-2, 3))
 }
 
 pub fn arithmetic_multiplication_multiply_a_rational_number_by_its_reciprocal_test() {
-  assert RationalNumber(1, 1) =
+  let assert RationalNumber(1, 1) =
     rational_numbers.multiply(RationalNumber(1, 2), RationalNumber(2, 1))
 }
 
 pub fn arithmetic_multiplication_multiply_a_rational_number_by_1_test() {
-  assert RationalNumber(1, 2) =
+  let assert RationalNumber(1, 2) =
     rational_numbers.multiply(RationalNumber(1, 2), RationalNumber(1, 1))
 }
 
 pub fn arithmetic_multiplication_multiply_a_rational_number_by_0_test() {
-  assert RationalNumber(0, 1) =
+  let assert RationalNumber(0, 1) =
     rational_numbers.multiply(RationalNumber(1, 2), RationalNumber(0, 1))
 }
 
 pub fn arithmetic_division_divide_two_positive_rational_numbers_test() {
-  assert RationalNumber(3, 4) =
+  let assert RationalNumber(3, 4) =
     rational_numbers.divide(RationalNumber(1, 2), RationalNumber(2, 3))
 }
 
 pub fn arithmetic_division_divide_a_positive_rational_number_by_a_negative_rational_number_test() {
-  assert RationalNumber(-3, 4) =
+  let assert RationalNumber(-3, 4) =
     rational_numbers.divide(RationalNumber(1, 2), RationalNumber(-2, 3))
 }
 
 pub fn arithmetic_division_divide_two_negative_rational_numbers_test() {
-  assert RationalNumber(3, 4) =
+  let assert RationalNumber(3, 4) =
     rational_numbers.divide(RationalNumber(-1, 2), RationalNumber(-2, 3))
 }
 
 pub fn arithmetic_division_divide_a_rational_number_by_1_test() {
-  assert RationalNumber(1, 2) =
+  let assert RationalNumber(1, 2) =
     rational_numbers.divide(RationalNumber(1, 2), RationalNumber(1, 1))
 }
 
 pub fn absolute_value_absolute_value_of_a_positive_rational_number_test() {
-  assert RationalNumber(1, 2) =
+  let assert RationalNumber(1, 2) =
     rational_numbers.absolute_value(RationalNumber(1, 2))
 }
 
 pub fn absolute_value_absolute_value_of_a_positive_rational_number_with_negative_numerator_and_denominator_test() {
-  assert RationalNumber(1, 2) =
+  let assert RationalNumber(1, 2) =
     rational_numbers.absolute_value(RationalNumber(-1, -2))
 }
 
 pub fn absolute_value_absolute_value_of_a_negative_rational_number_test() {
-  assert RationalNumber(1, 2) =
+  let assert RationalNumber(1, 2) =
     rational_numbers.absolute_value(RationalNumber(-1, 2))
 }
 
 pub fn absolute_value_absolute_value_of_a_negative_rational_number_with_negative_denominator_test() {
-  assert RationalNumber(1, 2) =
+  let assert RationalNumber(1, 2) =
     rational_numbers.absolute_value(RationalNumber(1, -2))
 }
 
 pub fn absolute_value_absolute_value_of_zero_test() {
-  assert RationalNumber(0, 1) =
+  let assert RationalNumber(0, 1) =
     rational_numbers.absolute_value(RationalNumber(0, 1))
 }
 
 pub fn absolute_value_absolute_value_of_a_rational_number_is_reduced_to_lowest_terms_test() {
-  assert RationalNumber(1, 2) =
+  let assert RationalNumber(1, 2) =
     rational_numbers.absolute_value(RationalNumber(2, 4))
 }
 
 pub fn exponentiation_of_a_rational_number_raise_a_positive_rational_number_to_a_positive_integer_power_test() {
-  assert Ok(RationalNumber(1, 8)) =
+  let assert RationalNumber(1, 8) =
     rational_numbers.power_of_rational(number: RationalNumber(1, 2), to: 3)
 }
 
 pub fn exponentiation_of_a_rational_number_raise_a_negative_rational_number_to_a_positive_integer_power_test() {
-  assert Ok(RationalNumber(-1, 8)) =
+  let assert RationalNumber(-1, 8) =
     rational_numbers.power_of_rational(number: RationalNumber(-1, 2), to: 3)
 }
 
 pub fn exponentiation_of_a_rational_number_raise_a_positive_rational_number_to_a_negative_integer_power_test() {
-  assert Ok(RationalNumber(25, 9)) =
+  let assert RationalNumber(25, 9) =
     rational_numbers.power_of_rational(number: RationalNumber(3, 5), to: -2)
 }
 
 pub fn exponentiation_of_a_rational_number_raise_a_negative_rational_number_to_an_even_negative_integer_power_test() {
-  assert Ok(RationalNumber(25, 9)) =
+  let assert RationalNumber(25, 9) =
     rational_numbers.power_of_rational(number: RationalNumber(-3, 5), to: -2)
 }
 
 pub fn exponentiation_of_a_rational_number_raise_a_negative_rational_number_to_an_odd_negative_integer_power_test() {
-  assert Ok(RationalNumber(-125, 27)) =
+  let assert RationalNumber(-125, 27) =
     rational_numbers.power_of_rational(number: RationalNumber(-3, 5), to: -3)
 }
 
 pub fn exponentiation_of_a_rational_number_raise_zero_to_an_integer_power_test() {
-  assert Ok(RationalNumber(0, 1)) =
+  let assert RationalNumber(0, 1) =
     rational_numbers.power_of_rational(number: RationalNumber(0, 1), to: 5)
 }
 
 pub fn exponentiation_of_a_rational_number_raise_one_to_an_integer_power_test() {
-  assert Ok(RationalNumber(1, 1)) =
+  let assert RationalNumber(1, 1) =
     rational_numbers.power_of_rational(number: RationalNumber(1, 1), to: 4)
 }
 
 pub fn exponentiation_of_a_rational_number_raise_a_positive_rational_number_to_the_power_of_zero_test() {
-  assert Ok(RationalNumber(1, 1)) =
+  let assert RationalNumber(1, 1) =
     rational_numbers.power_of_rational(number: RationalNumber(1, 2), to: 0)
 }
 
 pub fn exponentiation_of_a_rational_number_raise_a_negative_rational_number_to_the_power_of_zero_test() {
-  assert Ok(RationalNumber(1, 1)) =
+  let assert RationalNumber(1, 1) =
     rational_numbers.power_of_rational(number: RationalNumber(-1, 2), to: 0)
 }
 
 pub fn exponentiation_of_a_real_number_to_a_rational_number_raise_a_real_number_to_a_positive_rational_number_test() {
-  assert Ok(power) =
+  let assert Ok(power) =
     rational_numbers.power_of_real(number: 8.0, to: RationalNumber(4, 3))
 
-  assert True = float.loosely_equals(power, with: 16.0, tolerating: 0.001)
+  let assert True = float.loosely_equals(power, with: 16.0, tolerating: 0.001)
 }
 
 pub fn exponentiation_of_a_real_number_to_a_rational_number_raise_a_real_number_to_a_negative_rational_number_test() {
-  assert Ok(power) =
+  let assert Ok(power) =
     rational_numbers.power_of_real(number: 9.0, to: RationalNumber(-1, 2))
 
-  assert True =
+  let assert True =
     float.loosely_equals(power, with: 0.3333333333333333, tolerating: 0.001)
 }
 
 pub fn exponentiation_of_a_real_number_to_a_rational_number_raise_a_real_number_to_a_zero_rational_number_test() {
-  assert Ok(power) =
+  let assert Ok(power) =
     rational_numbers.power_of_real(number: 2.0, to: RationalNumber(0, 1))
 
-  assert True = float.loosely_equals(power, with: 1.0, tolerating: 0.001)
+  let assert True = float.loosely_equals(power, with: 1.0, tolerating: 0.001)
 }
 
 pub fn reduction_to_lowest_terms_reduce_a_positive_rational_number_to_lowest_terms_test() {
-  assert RationalNumber(1, 2) = rational_numbers.reduce(RationalNumber(2, 4))
+  let assert RationalNumber(1, 2) =
+    rational_numbers.reduce(RationalNumber(2, 4))
 }
 
 pub fn reduction_to_lowest_terms_reduce_places_the_minus_sign_on_the_numerator_test() {
-  assert RationalNumber(-3, 4) = rational_numbers.reduce(RationalNumber(3, -4))
+  let assert RationalNumber(-3, 4) =
+    rational_numbers.reduce(RationalNumber(3, -4))
 }
 
 pub fn reduction_to_lowest_terms_reduce_a_negative_rational_number_to_lowest_terms_test() {
-  assert RationalNumber(-2, 3) = rational_numbers.reduce(RationalNumber(-4, 6))
+  let assert RationalNumber(-2, 3) =
+    rational_numbers.reduce(RationalNumber(-4, 6))
 }
 
 pub fn reduction_to_lowest_terms_reduce_a_rational_number_with_a_negative_denominator_to_lowest_terms_test() {
-  assert RationalNumber(-1, 3) = rational_numbers.reduce(RationalNumber(3, -9))
+  let assert RationalNumber(-1, 3) =
+    rational_numbers.reduce(RationalNumber(3, -9))
 }
 
 pub fn reduction_to_lowest_terms_reduce_zero_to_lowest_terms_test() {
-  assert RationalNumber(0, 1) = rational_numbers.reduce(RationalNumber(0, 6))
+  let assert RationalNumber(0, 1) =
+    rational_numbers.reduce(RationalNumber(0, 6))
 }
 
 pub fn reduction_to_lowest_terms_reduce_an_integer_to_lowest_terms_test() {
-  assert RationalNumber(-2, 1) = rational_numbers.reduce(RationalNumber(-14, 7))
+  let assert RationalNumber(-2, 1) =
+    rational_numbers.reduce(RationalNumber(-14, 7))
 }
 
 pub fn reduction_to_lowest_terms_reduce_one_to_lowest_terms_test() {
-  assert RationalNumber(1, 1) = rational_numbers.reduce(RationalNumber(13, 13))
+  let assert RationalNumber(1, 1) =
+    rational_numbers.reduce(RationalNumber(13, 13))
 }