Refactor

writeonly · May 15, 2024 · 32b1fa7 · 32b1fa7
1 parent c36d5d9
commit 32b1fa7
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/catculator-core/src/main/scala/pl/writeonly/catculator/core/adt/calculus/InputEncoder.scala b/catculator-core/src/main/scala/pl/writeonly/catculator/core/adt/calculus/InputEncoder.scala
@@ -1,6 +1,5 @@
 package pl.writeonly.catculator.core.adt.calculus
 
-import cats.implicits.catsSyntaxEq
 import pl.writeonly.catculator.core.adt.calculus.Combinator.CombinatorBT
 import pl.writeonly.catculator.core.adt.calculus.Constants._
 import spire.math.Natural
@@ -21,9 +20,9 @@ object InputEncoder {
 
   def cons(a: CombinatorBT, b: CombinatorBT): CombinatorBT = app3(sCom, Constants.app3SI(appK(a)), appK(b))
 
-  def church(n: Natural): CombinatorBT = n.toBigInt match {
-    case n if n === BigInt(0) => falseCom
-    case n                    => succChurch(Natural(n - BigInt(1)))
+  def church(n: Natural): CombinatorBT = n match {
+    case n if n === Natural.zero => falseCom
+    case n                       => succChurch(n - Natural.one)
   }
 
   private def succChurch(n: Natural): CombinatorBT = successor(church(n))