aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Convert.hs
Commit message (Expand)AuthorAge
* Move code around in Data.Array.Nested.ConvertMikolaj Konarski37 hours
* Merge both Lemmas modulesMikolaj Konarski47 hours
* Move modules Permutation and TypesMikolaj Konarski47 hours
* Generalize some shape conversion functionsMikolaj Konarski2 days
* Shape/index function renameTom Smeding2 days
* Flip arguments of mcastToShaped for consistencyTom Smeding3 days
* Convert: Export list; simplify some functions with castCastableTom Smeding3 days
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding3 days
* Make mcast available in CastableTom Smeding3 days
* mcastSafe was unsound; it's now goneTom Smeding3 days
* Move Arith, XArray and ConvertMikolaj Konarski4 days
* Clearer module purposesTom Smeding2024-05-30
* Refactor Nested (modules, function names)Tom Smeding2024-05-30