« Changelog History


pandora v0.2.9 Release Notes

    • Define Zipper type family to walk datastructures with context
    • Define Tap datatype for context dependent values
    • Define type synonyms for TU, UT, TUT and UTU joint schemes
    • 🚚 Move Schemes module to Paradigm submodule
    • 🚚 Move $ definition from Divariant to Category
    • 🆓 Define generalized point free combinators in Covariant module
    • 📇 Rename Joint module To Effect
    • Define left and right zig, zig-zig and zig-zag Splay rotations for Binary tree
    • Define experimental methods in Extendable class - $=>> and <<=$
    • Define Rotatable typeclass to rotate trees
    • 📇 Rename sub method of Substructure typeclass to substructure
    • Define sub method which doesn't involve Tagged
    • 🔄 Change Focusable typeclass - now it's possible to point not only top/root