« Changelog History


pandora v0.2.3 Release Notes

    • Define Category type class with identity and . methods
    • 🔄 Change >-> signature: a -> b to v a d and c -> d to v c d
    • Extract Schema from Transformer type class as Schematic type family
    • 📇 Rename Transformer type class to Monadic
    • Define Comonadic type class for comonad transformers
    • Define Transformer umbrella module and type family
    • 📇 Rename :< data constructor to Twister to not confuse it with comonad transformer type operator
    • 👉 Use UT joint scheme for Stack and Graph data structures
    • ✂ Remove Variant type in favor of Covariant and Contravariant constraints in joint schemes
    • ➕ Add Covariant constraint on schema parameter in Adaptable type class
    • 📇 Rename Storage type to Store
    • Define Interpreted, Schematic and Comonadic instances for Store type