aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Convert.hs
Commit message (Collapse)AuthorAge
* Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1Mikolaj Konarski7 hours
| | | | and probably more sound than earlier versions.
* Add existential conversions to ShSTom Smeding2025-06-29
|
* More shape/index conversion functionsTom Smeding2025-06-29
|
* Flip some index/shape-related functionsTom Smeding2025-06-29
| | | | | This ensures that the argument order consistently puts the main thing being operated on at the end, and supporting singletons at the start.
* Improve Conversion haddocksTom Smeding2025-06-29
|
* CleanupTom Smeding2025-06-29
|
* Tweak haddocs and comments slightlyMikolaj Konarski2025-06-26
|
* Rename Castable to ConversionTom Smeding2025-06-09
|
* Derive instance Show (Castable a b)Mikolaj Konarski2025-06-06
|
* Describe Castable philosophyTom Smeding2025-06-04
|
* Add CastZip and CastUnzipTom Smeding2025-06-04
|
* Add CastNest and CastUnnestTom Smeding2025-06-03
|
* Simplify and expand CastableTom Smeding2025-06-02
|
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
|
* Move code around in Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
|
* Merge both 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
|
* Flip arguments of mcastToShaped for consistencyTom Smeding2025-05-16
|
* Convert: Export list; simplify some functions with castCastableTom Smeding2025-05-16
|
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding2025-05-15
|
* Make mcast available in CastableTom Smeding2025-05-15
|
* mcastSafe was unsound; it's now goneTom Smeding2025-05-15
|
* Move Arith, XArray and ConvertMikolaj Konarski2025-05-14
|
* Clearer module purposesTom Smeding2024-05-30
| | | | Thanks Mikolaj for discussion
* Refactor Nested (modules, function names)Tom Smeding2024-05-30
generated by cgit v1.2.3-70-g09d2 (git 2.51.0) at 2025-10-02 19:36:57 +0200