aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* De-triplicate sh?EnumMikolaj Konarski11 days
|
* Define ix?FromLinear without THMikolaj Konarski11 days
|
* Implement ranked shape conversions as newtype coercesMikolaj Konarski11 days
|
* Make ShR a newtype over ShXMikolaj Konarski11 days
|
* Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski11 days
|
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski11 days
|
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski11 days
|
* Optimize the representation of ListHrepro-UNPACKMikolaj Konarski11 days
|
* Inline SMayNat in ListHMikolaj Konarski11 days
|
* Clone ListX into ListHMikolaj Konarski11 days
|
* Simplify the signature of fooIndexMikolaj Konarski11 days
|
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski11 days
|
* Make ShS a newtype over ShXMikolaj Konarski11 days
| | | | TODO: use lemmas in place of the unsafeCoerceRefl
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski13 days
|
* Implement Tom's ixsFromIxSMikolaj Konarski13 days
| | | | | | that really helps in processing indexes using list functions and getting back to the same type of index now that KnownNat is removed from IxS and so the type information is harder to preserve.
* Implement index conversions as unsafeCoerceMikolaj Konarski14 days
| | | | until maybe we make shaped and ranked newtypes over mixed?
* Fix a few KnownNat in ShS-related TODOs and reword the restMikolaj Konarski2025-12-12
|
* Improve haddocks of mvecsUnsafeFreezeTom Smeding2025-12-12
|
* Temporarily revert ListS as a newtype over ListXMikolaj Konarski2025-12-12
| | | | | | | | until a GHC workaround is found. Please revert this commit ASAP so that horde-ad can coerce shaped to mixed things for free (unless the cost of the new WrapJust type turns out to overweight the benefit, which is unlikely, and/or unless unsafeCoerce works without WrapJust somehow).
* Make type variables consistent between shaped and mixed listsMikolaj Konarski2025-12-12
|
* Remove KnownNat from ListS and express ListS as newtype over ListXMikolaj Konarski2025-12-11
| | | | as sketched by Tom.
* Remove the preposterous shsFromListS and shsFromIxSMikolaj Konarski2025-12-11
|
* Generalize shsTakeIxMikolaj Konarski2025-12-11
|
* Add method mvecsUnsafeFreeze and use itMikolaj Konarski2025-12-09
|
* Speed up the bad case of mvecsReplicate using mvecsWriteLinearMikolaj Konarski2025-12-09
|
* 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.
* Express mvecsWrite and mvecsWritePartial using the new methodsMikolaj Konarski2025-12-08
| | | | | | | and change the type of the latter to make it possible. This slightly improves performance of horde-ad tests, before horde-ad even starts using the Linear methods, which improves performance even more.
* Add mvecsWriteLinear and mvecsWritePartialLinear (unused yet)Mikolaj Konarski2025-12-08
|
* Add mvecsReplicateMikolaj Konarski2025-12-07
|
* XArray: Fix doc comment on ravelOuterNHEADmasterTom Smeding2025-12-06
|
* Improve runtime and streaming of fromListOuterMikolaj Konarski2025-12-05
|
* Inlining magicTom Smeding2025-12-03
|
* Restore suffixes sharing in *FromLinearTom Smeding2025-12-03
| | | | Thanks Mikolaj for spotting it's broken
* Make shsFromList even more const-likeMikolaj Konarski2025-12-02
|
* Add a missing INLINEABLE for ixsToListMikolaj Konarski2025-12-02
|
* 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
* Doc commentsTom Smeding2025-12-02
|
* Style and uniformity of shape/index/list functionsTom Smeding2025-12-02
|
* Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@Mikolaj Konarski2025-12-02
|
* Define mgeneratePrim as a fast special case variantMikolaj Konarski2025-12-02
|
* Unify fromList functions for shapesMikolaj Konarski2025-12-01
|
* Don't call continuation-based functions just *FromListMikolaj Konarski2025-12-01
|
* Unify toList functions for shapesMikolaj Konarski2025-12-01
|
* Expose the unfolding of the indexing operationsMikolaj Konarski2025-12-01
|
* Inline all higher order shape functionsMikolaj Konarski2025-11-30
|
* Optimize X.index, but measurements unconclusiveMikolaj Konarski2025-11-27
|
* Add INLINEABLE on ixxFromLinearTom Smeding2025-11-26
|
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-27 11:01:59 +0100