aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Mixed/Shape.hs
Commit message (Collapse)AuthorAge
* Make equal-rank-coercibility part of the interface of ListXmove-RankTom Smeding23 hours
|
* Apply some hlint hintsMikolaj Konarski2 days
|
* Tweak sized list type synonyms slightlyMikolaj Konarski4 days
|
* Use lazilyConcat for listxAppendMikolaj Konarski5 days
|
* Implement ListX as [] with strict pattern synonymsMikolaj Konarski5 days
|
* Remove copies of length and toList operations that Foldable already providesMikolaj Konarski5 days
| | | | in preparation for deriving Foldable for []
* Make ranked and shaped lists newtypes over mixedMikolaj Konarski6 days
|
* Simplify the index list pattern synonymsMikolaj Konarski6 days
|
* Fix typos/thinkosMikolaj Konarski8 days
|
* Fill and clean up *TakeIx and *DropIx functionsMikolaj Konarski2026-03-16
|
* Eliminate all QuantifiedConstraints extensions from the codeMikolaj Konarski2026-03-15
|
* Use shxDropSSX instead of shxSplitApp, etc.Mikolaj Konarski2026-03-15
|
* Add pragmas to functions that -fprof-late-overloaded-calls reportsMikolaj Konarski2026-03-15
| | | | | | | 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-03-15
|
* De-triplicate sh?EnumMikolaj Konarski2026-03-15
|
* Define ix?FromLinear without THMikolaj Konarski2026-03-15
|
* Optimize slightly sh?FromList and sh?ToListmild-tweaks-repackagedMikolaj Konarski2026-03-15
|
* Make ShR a newtype over ShXMikolaj Konarski2026-03-15
|
* Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski2026-03-15
|
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski2026-03-15
|
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski2026-03-15
|
* Optimize the representation of ListHMikolaj Konarski2026-03-15
|
* Inline SMayNat in ListHMikolaj Konarski2026-03-15
|
* Clone ListX into ListHMikolaj Konarski2026-03-15
|
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski2026-03-15
|
* 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.
* 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.
generated by cgit v1.3 (git 2.53.0) at 2026-04-10 00:12:46 +0200