aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Mixed
Commit message (Collapse)AuthorAge
* Add pragmas to functions that -fprof-late-overloaded-calls reportsMikolaj Konarski2026-02-18
| | | | | | | as breaking the chain of specialization (but it's currently broken, so these may be false positives, but these pragmas may be handy in the future anyway and they can't do much harm in theory and in practice they are right now neutral performance-wise).
* Make List?, except ListH, less generalMikolaj Konarski2026-02-18
|
* Optimize slightly sh?FromList and sh?ToListMikolaj Konarski2026-02-18
|
* De-triplicate sh?EnumMikolaj Konarski2026-02-18
|
* Define ix?FromLinear without THMikolaj Konarski2026-02-18
|
* Make ShR a newtype over ShXMikolaj Konarski2026-02-18
|
* Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski2026-02-18
|
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski2026-02-18
|
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski2026-02-18
|
* Optimize the representation of ListHMikolaj Konarski2026-02-18
|
* Inline SMayNat in ListHMikolaj Konarski2026-02-18
|
* Clone ListX into ListHMikolaj Konarski2026-02-18
|
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski2026-02-18
|
* Add a potentialy helpful bang for consistencyMikolaj Konarski2026-02-12
|
* Add a few more GHC warnings and fix all offendersMikolaj Konarski2026-01-31
|
* Improve the implementation of fromSNat'Mikolaj Konarski2026-01-31
| | | | leading to 6% lower allocation in Det.hs primal test.
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski2026-01-31
|
* Make type variables consistent between shaped and mixed listsMikolaj Konarski2026-01-31
|
* Generalize ix?ToLinear and speed it up a bitMikolaj Konarski2026-01-31
|
* Add INLINEABLE to ixxToLinear ahead of generalization, to benchmarkMikolaj Konarski2026-01-31
| | | | No horde-ad test speedup noticed.
* Inlining magicTom Smeding2025-12-03
|
* Restore suffixes sharing in *FromLinearTom Smeding2025-12-03
| | | | Thanks Mikolaj for spotting it's broken
* 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