« Changelog History


unbound-generics v0.1.2 Release Notes

Release Date: 2015-05-08 // almost 9 years ago
    • ➕ Added Shift type for lifting the scope of an Embed combinator up one binding level.
    • (in 0.1.1, which never went to Hackage) Added a makeClosedAlpha TH splice for making 'Alpha' instances for types that don't participate in Alpha in a non-trivial way. A type T is trivial with respect to Alpha if:
      • it cannot contain any names
      • thus its aeq is just (==)
      • and open and close are both identity operations.