Free Category v0.0.4.0 Release Notes

    • hoistOp
    • 📇 Renamed Control.Category.FreeEff module as Control.Category.FreeEffect and renamed top level terms:
      • EffCategory type class to EffectCategory
      • FreeEffCat to EffCat
      • FreeEffCat constructor as Effect and lift as effect
      • liftCat to liftEffect
      • foldNatLift to foldNatEffCat
    • 👉 Show instance of 'Cat' and 'C' via 'ListTr' (GHC >= 806)
    • 🐎 Performance optimisations: rewrite rules & inline pragmas
    • 🆓 Export ListTr from Control.Category.Free
    • foldrL, foldlL and zipWithL