« Changelog History


flay v0.4 Release Notes

    • 🛠 COMPILER ASSISTED BREAKING CHANGE: Fixed TypeApplications for flay1 so that @c@ comes first.

    • COMPILER ASSISTED BREAKING CHANGE: Not exporting GFlay', gflay', gterminal anymore.

    • COMPILER ASSISTED BREAKING CHANGE: GFlay and All are now type synonyms rather than classes.

    • COMPILER ASSISTED BREAKING CHANGE: Flayable1 is not a typeclass anymore. Now it is a type synonym for Flayable using “quantified constraints” as implemented in Data.Constraint.Forall. Accordingly, flay1 is not a typeclass method anymore.

    • Generic types parametrized by a type constructor who have all of their immediate children fields using said type constructor get a Flayable instance for free.

    • ➕ Added pump, dump, Pump and GPump.

    • ➕ Added GTerminal instance for GHC.Generics.U1.

    • ➕ Added Fields, GFields, FieldsF and GFieldsF.