Skip to content

hegg v0.4
Compare
Choose a tag to compare
@alt-romes alt-romes released this 24 Jun 13:04
· 30 commits to master since this release
v0.4.0.0
d2862ab
  • Make Language a constraint type synonym instead of a standalone empty class
  • Use QuantifiedConstraints instead of Eq1,Ord1,Show1 in the implementation,
    which results in the user only having to provide an Eq a => Eq (language a) instance rather than a Eq1 language one (which is much simpler and can
    usually be done automatically!)
  • Make _classes a Traversal lens over all e-classes rather than a Lens into IntMap EClass
Assets 2
Loading