« Changelog History


pandora v0.2.5 Release Notes

    • Define Semiring typeclass
    • Define Stream module and type
    • 🚚 Move Liftable and Lowerable modules from Functor to Transformer submodule
    • Define Hoistable module and typeclass
    • 📇 Rename TUV joint schema to TUT
    • Modify UTU joint schema internals
    • ✂ Remove && and || Boolean operators (use * and + instead)
    • Define precedence for * and +
    • 🔄 Change superclass of Group class - Quasiring instead of Monoid
    • 📇 Rename Jet's constructor to Jet (previously - :-)
    • 📇 Rename Group's method from inverse to invert
    • ✂ Remove not method of Boolean, (use invert instead)
    • ✂ Remove Injective and Has type families
    • 🔄 Change superclasseses for Liftable and Lowerable classes to provide a law