aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Mixed/Shape.hs
Commit message (Collapse)AuthorAge
* Make List?, except ListH, less generalMikolaj Konarski2 days
|
* Optimize slightly sh?FromList and sh?ToListMikolaj Konarski2 days
|
* De-triplicate sh?EnumMikolaj Konarski3 days
|
* Define ix?FromLinear without THMikolaj Konarski3 days
|
* Make ShR a newtype over ShXMikolaj Konarski4 days
|
* Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski4 days
|
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski4 days
|
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski4 days
|
* Optimize the representation of ListHrepro-UNPACKMikolaj Konarski4 days
|
* Inline SMayNat in ListHMikolaj Konarski4 days
|
* Clone ListX into ListHMikolaj Konarski4 days
|
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski4 days
|
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski5 days
|
* Make type variables consistent between shaped and mixed listsMikolaj Konarski8 days
|
* Generalize ix?ToLinear and speed it up a bitMikolaj Konarski11 days
|
* Add INLINEABLE to ixxToLinear ahead of generalization, to benchmarkMikolaj Konarski11 days
| | | | No horde-ad test speedup noticed.
* Define {list,sh,ix}*ToList functions using 'build'Tom Smeding2025-12-02
| | | | This should allow foldr/build fusion
* Let sh*FromList functions print proper error messagesTom Smeding2025-12-02
|
* Provide ix*FromLinear for all three shape kindsTom Smeding2025-12-02
| | | | This speeds up {r,s}generatePrim
* Style and uniformity of shape/index/list functionsTom Smeding2025-12-02
|
* Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@Mikolaj Konarski2025-12-02
|
* Unify fromList functions for shapesMikolaj Konarski2025-12-01
|
* Unify toList functions for shapesMikolaj Konarski2025-12-01
|
* Inline all higher order shape functionsMikolaj Konarski2025-11-30
|
* Add INLINEABLE on ixxFromLinearTom Smeding2025-11-26
|
* Benchmark and improve ixxFromLinearTom Smeding2025-11-26
|
* Commit Tom's new code for sh?Enum functionsMikolaj Konarski2025-11-26
|
* Generalise sh?Enum functions to arbitrary NumTom Smeding2025-11-18
| | | | | | | The explicit usage at Int in the non-primed versions of the functions results in an auto-generated SPEC rule at Int, so even without any SPECIALIZE pragmas, using sh?Enum' at Int should not (need to) result in multiple specialisations.
* Compatibility with GHC 9.6Tom Smeding2025-10-02
|
* Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1Mikolaj Konarski2025-10-02
| | | | and probably more sound than earlier versions.
* Tweak shape ZipWith definitions slightlyMikolaj Konarski2025-07-13
|
* Apply a small fraction of hlint hintsMikolaj Konarski2025-06-30
|
* 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.
* CleanupTom Smeding2025-06-29
|
* Tweak haddocs and comments slightlyMikolaj Konarski2025-06-26
|
* Add ssxDropSSX and ssxDropSh, analogous to the shx* versionsTom Smeding2025-06-03
|
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
|
* Shape/index function renameTom Smeding2025-05-16
|
* default-show-instances flagTom Smeding2025-05-16
|
* Split and uniformly rename Shape modulesMikolaj Konarski2025-05-14
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-20 00:52:58 +0100