aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Speed up the bad case of mvecsReplicate using mvecsWriteLinearMikolaj Konarski26 hours
* Generalize ix?ToLinear and speed it up a bitMikolaj Konarski29 hours
* Add INLINEABLE to ixxToLinear ahead of generalization, to benchmarkMikolaj Konarski39 hours
* Express mvecsWrite and mvecsWritePartial using the new methodsMikolaj Konarski41 hours
* Add mvecsWriteLinear and mvecsWritePartialLinear (unused yet)Mikolaj Konarski46 hours
* Add mvecsReplicateMikolaj Konarski3 days
* XArray: Fix doc comment on ravelOuterNHEADmasterTom Smeding4 days
* Improve runtime and streaming of fromListOuterfromVectorsNCheckedMikolaj Konarski5 days
* Inlining magicTom Smeding7 days
* Restore suffixes sharing in *FromLinearTom Smeding7 days
* Make shsFromList even more const-likeMikolaj Konarski8 days
* Add a missing INLINEABLE for ixsToListMikolaj Konarski8 days
* Define {list,sh,ix}*ToList functions using 'build'Tom Smeding8 days
* Let sh*FromList functions print proper error messagesTom Smeding8 days
* Provide ix*FromLinear for all three shape kindsTom Smeding8 days
* Doc commentsTom Smeding8 days
* Style and uniformity of shape/index/list functionsTom Smeding8 days
* Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@Mikolaj Konarski8 days
* Define mgeneratePrim as a fast special case variantMikolaj Konarski8 days
* Unify fromList functions for shapesMikolaj Konarski9 days
* Don't call continuation-based functions just *FromListMikolaj Konarski9 days
* Unify toList functions for shapesMikolaj Konarski9 days
* Expose the unfolding of the indexing operationsMikolaj Konarski9 days
* Inline all higher order shape functionsMikolaj Konarski10 days
* Optimize X.index, but measurements unconclusiveMikolaj Konarski13 days
* Add INLINEABLE on ixxFromLinearTom Smeding14 days
* Benchmark and improve ixxFromLinearTom Smeding14 days
* Commit Tom's new code for sh?Enum functionsMikolaj Konarski14 days
* Update doc comment in TraceTom Smeding2025-11-24
* Export PermR from top-levelTom Smeding2025-11-24
* trace: Print arguments and return valueTom Smeding2025-11-24
* Fix error messages for pi/fromRational in MixedTom Smeding2025-11-22
* Generalise sh?Enum functions to arbitrary NumTom Smeding2025-11-18
* Add shsEnum and shrEnumTom Smeding2025-11-18
* Also replace replicateScal -> replicatePrim in error messagesTom Smeding2025-11-18
* Make first type arg of {m,s}emptyArray the shapeTom Smeding2025-11-17
* Rename, organise and cleanupTom Smeding2025-11-17
* Provide explicit-length versions of fromList functionsTom Smeding2025-11-17
* mshapeTreeIsEmpty: allow partially-zero shapes for nested arraysTom Smeding2025-11-17
* README: Document array buffer sharing policyTom Smeding2025-11-15
* XArray: Further optimise toListOuterTom Smeding2025-11-15
* XArray: Optimise toListOuterTom Smeding2025-11-15
* arith: Add IntElt instances for Int8 and Int16Tom Smeding2025-11-15
* Support Int16 and Int8Tom Smeding2025-11-15
* Equality on singletons is trivialTom Smeding2025-11-14
* Revert "Remove a spurious case now correclty rules out by the plugins"Tom Smeding2025-10-21
* Remove a spurious case now correclty rules out by the pluginsMikolaj Konarski2025-10-20
* Tune redundant cases for no-warnings on GHC 9.12Tom Smeding2025-10-02
* 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