aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Make it clear that ravelOuterN is called just onceMikolaj Konarski32 hours
* Remove ixsFromIxR' and simplify ixsFromIxRMikolaj Konarski36 hours
* Add a potentialy helpful bang for consistencyMikolaj Konarski44 hours
* Improve the implemenetation of fromSNat'Mikolaj Konarski3 days
* Make List?, except ListH, less generalMikolaj Konarski4 days
* Optimize slightly sh?FromList and sh?ToListMikolaj Konarski5 days
* De-triplicate ix?ToLinearMikolaj Konarski5 days
* De-triplicate sh?EnumMikolaj Konarski6 days
* Define ix?FromLinear without THMikolaj Konarski6 days
* Implement ranked shape conversions as newtype coercesMikolaj Konarski6 days
* Make ShR a newtype over ShXMikolaj Konarski6 days
* Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski6 days
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski6 days
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski6 days
* Optimize the representation of ListHrepro-UNPACKMikolaj Konarski6 days
* Inline SMayNat in ListHMikolaj Konarski6 days
* Clone ListX into ListHMikolaj Konarski6 days
* Simplify the signature of fooIndexMikolaj Konarski6 days
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski6 days
* Make ShS a newtype over ShXMikolaj Konarski6 days
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski7 days
* Implement Tom's ixsFromIxSMikolaj Konarski8 days
* Implement index conversions as unsafeCoerceMikolaj Konarski8 days
* Fix a few KnownNat in ShS-related TODOs and reword the restMikolaj Konarski9 days
* Make arith enums disjointTom Smeding9 days
* Improve haddocks of mvecsUnsafeFreezeTom Smeding9 days
* Temporarily revert ListS as a newtype over ListXMikolaj Konarski10 days
* Make type variables consistent between shaped and mixed listsMikolaj Konarski10 days
* Remove KnownNat from ListS and express ListS as newtype over ListXMikolaj Konarski11 days
* Remove the preposterous shsFromListS and shsFromIxSMikolaj Konarski11 days
* Generalize shsTakeIxMikolaj Konarski11 days
* Fix a typo in IntElt IntMikolaj Konarski11 days
* Add method mvecsUnsafeFreeze and use itMikolaj Konarski13 days
* Speed up the bad case of mvecsReplicate using mvecsWriteLinearMikolaj Konarski13 days
* Generalize ix?ToLinear and speed it up a bitMikolaj Konarski13 days
* Add INLINEABLE to ixxToLinear ahead of generalization, to benchmarkMikolaj Konarski13 days
* Express mvecsWrite and mvecsWritePartial using the new methodsMikolaj Konarski13 days
* Add mvecsWriteLinear and mvecsWritePartialLinear (unused yet)Mikolaj Konarski14 days
* 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
* 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
* template-haskell is now used unconditionallyTom Smeding2025-12-02
* Let sh*FromList functions print proper error messagesTom Smeding2025-12-02
* Provide ix*FromLinear for all three shape kindsTom Smeding2025-12-02
* Doc commentsTom Smeding2025-12-02
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-22 08:13:15 +0100