aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Ranked
Commit message (Expand)AuthorAge
* Unify fromList functions for shapesMikolaj Konarski41 hours
* Don't call continuation-based functions just *FromListMikolaj Konarski41 hours
* Unify toList functions for shapesMikolaj Konarski42 hours
* Inline all higher order shape functionsMikolaj Konarski3 days
* Commit Tom's new code for sh?Enum functionsMikolaj Konarski7 days
* Generalise sh?Enum functions to arbitrary NumTom Smeding2025-11-18
* Add shsEnum and shrEnumTom Smeding2025-11-18
* Also replace replicateScal -> replicatePrim in error messagesTom Smeding2025-11-18
* Rename, organise and cleanupTom Smeding2025-11-17
* Provide explicit-length versions of fromList functionsTom Smeding2025-11-17
* mshapeTreeIsEmpty: allow partially-zero shapes for nested arraysTom Smeding2025-11-17
* Revert "Remove a spurious case now correclty rules out by the plugins"Tom Smeding2025-10-21
* Remove a spurious case now correclty rules out by the pluginsMikolaj Konarski2025-10-20
* Tune redundant cases for no-warnings on GHC 9.12Tom Smeding2025-10-02
* Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1Mikolaj Konarski2025-10-02
* More shape/index conversion functionsTom Smeding2025-06-29
* Tweak haddocs and comments slightlyMikolaj Konarski2025-06-26
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
* Merge both Lemmas modulesMikolaj Konarski2025-05-17
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski2025-05-17
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
* Generalize some shape conversion functionsMikolaj Konarski2025-05-16
* Shape/index function renameTom Smeding2025-05-16
* default-show-instances flagTom Smeding2025-05-16
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding2025-05-15
* Split and uniformly rename Shape modulesMikolaj Konarski2025-05-14
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-03 11:30:26 +0100