All Versions
17
Latest Version
Avg Release Cycle
219 days
Latest Release
1003 days ago

Changelog History
Page 2

  • v0.1.1 Changes

    • ➕ Added isNullDisjointSet function.
    • Implement a TH makeClosedAlpha splice for constructing trivial leaf instances.
  • v0.1 Changes

    March 10, 2015
    • ➕ Add acompare functiona and acompare' method to Alpha typeclass. (christiaanb)

      Handwritten Alpha instances will need to define this additional method now. Major version bump.

  • v0.0.3 Changes

    March 10, 2015
    • ➕ Add 'name2Integer' method (christiaanb)
    • Export internal type-directed gaeq, gopen, gclose, etc functions from Unbound.Generics.LocallyNameless.Alpha.

      Allows definitions like:

      instance Alpha Term where
        aeq' _ (Prim t1 _dk1) (Prim t2 _dk2) = t1 == t2
        aeq' c t1             t2             = gaeq c (from t1) (from t2)
      
  • v0.0.2 Changes

    • ➕ Add 'Rec' pattern and 'TRec' term combinators.

    • Alpha instance for '()'

  • v0.0.2.1 Changes

    February 12, 2015
    • Unconditionally add ErrorT and ExceptT instances using transformers-compat (bergmark)
  • v0.0.1 Changes

    • ➕ Add 'lunbind2' function.

    • ⚡️ Doc updates.

    • ✅ Switch from 'HUnit' to 'Tasty' for testing.

  • v0.0.0.90 Changes

    • 🎉 Initial (re-)implementation effort.