Skip to content

Commit

Permalink
Refactor
Browse files Browse the repository at this point in the history
  • Loading branch information
kamil-adam committed May 15, 2024
1 parent 96a5839 commit c52dbe4
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 7 deletions.
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@
package pl.writeonly.catculator.core.calculators.lazyk

import pl.writeonly.catculator.core.adt.calculus.Combinator
import pl.writeonly.catculator.core.adt.calculus.Combinator.CombinatorBT
import pl.writeonly.catculator.core.adt.calculus.Constants
import pl.writeonly.catculator.core.adt.calculus._
import pl.writeonly.catculator.core.adt.tree.BinaryTree
import pl.writeonly.catculator.core.adt.tree.BinaryTree._
import spire.math.Natural
Expand All @@ -14,8 +13,10 @@ enum ADT:

object ADT {

type Safe[A] = Either[String, A]

type ADTBT = BinaryTree[ADT]
type ADTBTSafe = Either[String, ADTBT]
type ADTBTSafe = Safe[ADTBT]

val number0: ADTBT = Leaf(ADT.Num(Natural.zero))
val number1: ADTBT = Leaf(ADT.Num(Natural.one))
Expand Down
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
package pl.writeonly.catculator.core.calculators.lazyk

import pl.writeonly.catculator.core.UnitSpec
import pl.writeonly.catculator.core.adt.calculus.Combinator.*
import pl.writeonly.catculator.core.adt.tree.BinaryTree.*
import pl.writeonly.catculator.core.calculators.lazyk.ADT.*
import pl.writeonly.catculator.core.calculators.lazyk.Reducer.*
import pl.writeonly.catculator.core.adt.calculus.Combinator._
import pl.writeonly.catculator.core.adt.tree.BinaryTree._
import pl.writeonly.catculator.core.calculators.lazyk.ADT._
import pl.writeonly.catculator.core.calculators.lazyk.Reducer._

class ReducerSpec extends UnitSpec {
"A Reducer" should {
Expand Down

0 comments on commit c52dbe4

Please sign in to comment.