pandora v0.2.7 Release Notes

    • Replace Lan and Ran with Kan data family
    • ๐Ÿ“‡ Rename Free to Instruction and its constructors: Pure to Enter and Impure to Instruct
    • Define Ring typeclass with Group superclass
    • Define Weighted type family and define instance for Graph
    • โž• Add Leap to Edges to indicate a connection with only the first vertex
    • โœ‚ Remove Graph structure and Weighted type family
    • Define Reverse type to run Traversable in reverse order with Backwards
    • ๐Ÿ“‡ Rename Twister to Construction (in contrast of Instruction)
    • Split Basis on Functor and Transformer modules in Primary
    • ๐Ÿ“‡ Rename untwist to deconstruct in Construction
    • Define Rose tree structure
    • Replace UT joint scheme with TU in data structures
    • ๐Ÿ”„ Change sub method of Substructure - it always returns Tagged value
    • ๐Ÿ“‡ Rename Construction constructor of Construction to Construct