aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Mixed
Commit message (Collapse)AuthorAge
* Improve haddocs following the Tom's guidancemvecsReplicateMikolaj Konarski5 days
|
* Get rid of most ListX operationsMikolaj Konarski5 days
|
* Remove ListSMikolaj Konarski5 days
|
* Make equal-rank-coercibility part of the interface of ListXTom Smeding6 days
|
* Get rid of ListHMikolaj Konarski6 days
|
* Apply some hlint hintsMikolaj Konarski8 days
|
* Tweak sized list type synonyms slightlyMikolaj Konarski10 days
|
* Officially describe the data invariant for ListX and the punched holesMikolaj Konarski10 days
|
* Use lazilyConcat for listxAppendMikolaj Konarski10 days
|
* Implement ListX as [] with strict pattern synonymsMikolaj Konarski10 days
|
* Remove copies of length and toList operations that Foldable already providesMikolaj Konarski10 days
| | | | in preparation for deriving Foldable for []
* Make ranked and shaped lists newtypes over mixedMikolaj Konarski11 days
|
* Simplify the index list pattern synonymsMikolaj Konarski11 days
|
* Fix typos/thinkosMikolaj Konarski13 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.
* 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
|
generated by cgit v1.3 (git 2.53.0) at 2026-04-15 08:17:25 +0200