aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Mixed
Commit message (Collapse)AuthorAge
* Eliminate all QuantifiedConstraints extensions from the codemvecsReplicateMikolaj Konarski11 hours
|
* Use shxDropSSX instead of shxSplitApp, etc.Mikolaj Konarski10 days
|
* Add pragmas to functions that -fprof-late-overloaded-calls reportsMikolaj Konarski2025-12-27
| | | | | | | 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).
* Add a few more GHC warnings and fix all offendersMikolaj Konarski2025-12-22
|
* Add a potentialy helpful bang for consistencyMikolaj Konarski2025-12-20
|
* Improve the implemenetation of fromSNat'Mikolaj Konarski2025-12-19
| | | | leading to 6% lower allocation in Det.hs primal test.
* Make List?, except ListH, less generalMikolaj Konarski2025-12-17
|
* Optimize slightly sh?FromList and sh?ToListMikolaj Konarski2025-12-17
|
* De-triplicate sh?EnumMikolaj Konarski2025-12-16
|
* Define ix?FromLinear without THMikolaj Konarski2025-12-16
|
* Make ShR a newtype over ShXMikolaj Konarski2025-12-16
|
* Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski2025-12-16
|
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski2025-12-16
|
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski2025-12-16
|
* Optimize the representation of ListHrepro-UNPACKMikolaj Konarski2025-12-16
|
* Inline SMayNat in ListHMikolaj Konarski2025-12-16
|
* Clone ListX into ListHMikolaj Konarski2025-12-16
|
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski2025-12-16
|
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski2025-12-14
|
* Make type variables consistent between shaped and mixed listsMikolaj Konarski2025-12-12
|
* Generalize ix?ToLinear and speed it up a bitMikolaj Konarski2025-12-09
|
* Add INLINEABLE to ixxToLinear ahead of generalization, to benchmarkMikolaj Konarski2025-12-09
| | | | 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
generated by cgit v1.2.3-70-g09d2 (git 2.52.0) at 2026-01-22 21:13:01 +0100