aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Eliminate all QuantifiedConstraints extensions from the codemvecsReplicateMikolaj Konarski6 hours
* Add a bang not to overlap big allocationsMikolaj Konarski6 days
* Speed up sumFull from 36ms to 82 microsecondsMikolaj Konarski7 days
* Save some VS.concat by using toVectorListTMikolaj Konarski7 days
* Let X.fromListOuterSN and ravelOuterN take NonEmptyMikolaj Konarski9 days
* Don't force a list of identical elementsMikolaj Konarski10 days
* Simplify and slightly speed up internal fromList functionsMikolaj Konarski10 days
* Document that mshapeTree is partialMikolaj Konarski10 days
* Use shxDropSSX instead of shxSplitApp, etc.Mikolaj Konarski10 days
* Add pragmas to functions that -fprof-late-overloaded-calls reportsMikolaj Konarski2025-12-27
* Inline most lifting wrappersMikolaj Konarski2025-12-24
* Add a few more GHC warnings and fix all offendersMikolaj Konarski2025-12-22
* Make it clear that ravelOuterN is called just onceMikolaj Konarski2025-12-21
* Remove ixsFromIxR' and simplify ixsFromIxRMikolaj Konarski2025-12-20
* Add a potentialy helpful bang for consistencyMikolaj Konarski2025-12-20
* Improve the implemenetation of fromSNat'Mikolaj Konarski2025-12-19
* Make List?, except ListH, less generalMikolaj Konarski2025-12-17
* Optimize slightly sh?FromList and sh?ToListMikolaj Konarski2025-12-17
* De-triplicate ix?ToLinearMikolaj Konarski2025-12-16
* De-triplicate sh?EnumMikolaj Konarski2025-12-16
* Define ix?FromLinear without THMikolaj Konarski2025-12-16
* Implement ranked shape conversions as newtype coercesMikolaj 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
* Simplify the signature of fooIndexMikolaj Konarski2025-12-16
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski2025-12-16
* Make ShS a newtype over ShXMikolaj Konarski2025-12-16
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski2025-12-14
* Implement Tom's ixsFromIxSMikolaj Konarski2025-12-14
* Implement index conversions as unsafeCoerceMikolaj Konarski2025-12-13
* 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
* 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
* 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
* Express mvecsWrite and mvecsWritePartial using the new methodsMikolaj Konarski2025-12-08
* Add mvecsWriteLinear and mvecsWritePartialLinear (unused yet)Mikolaj Konarski2025-12-08
* Add mvecsReplicateMikolaj Konarski2025-12-07
* XArray: Fix doc comment on ravelOuterNTom Smeding2025-12-06