Make CostFunction polymorphic over Cost

alt-romes / hegg

Fast equality saturation in Haskell

https://hackage.haskell.org/package/hegg

BSD 3-Clause "New" or "Revised" License

75 stars 8 forks source link

Closed alt-romes closed 2 years ago

alt-romes commented 2 years ago

We now have an additional constraint in equalitySaturation and extractBest: the type used for cost must instance Ord

Closes #10