aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Let sh*FromList functions print proper error messagesTom Smeding20 hours
* Provide ix*FromLinear for all three shape kindsTom Smeding20 hours
* Doc commentsTom Smeding20 hours
* Style and uniformity of shape/index/list functionsTom Smeding20 hours
* Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@Mikolaj Konarski22 hours
* Define mgeneratePrim as a fast special case variantMikolaj Konarski29 hours
* Simplify genShRwithTarget a littleMikolaj Konarski40 hours
* Unify fromList functions for shapesMikolaj Konarski41 hours
* Don't call continuation-based functions just *FromListMikolaj Konarski41 hours
* Unify toList functions for shapesMikolaj Konarski42 hours
* Expose the unfolding of the indexing operationsMikolaj Konarski43 hours
* Inline all higher order shape functionsMikolaj Konarski3 days
* Optimize X.index, but measurements unconclusiveMikolaj Konarski6 days
* Add INLINEABLE on ixxFromLinearTom Smeding7 days
* Benchmark and improve ixxFromLinearTom Smeding7 days
* Commit Tom's new code for sh?Enum functionsMikolaj Konarski7 days
* Update doc comment in TraceTom Smeding8 days
* Export PermR from top-levelTom Smeding9 days
* trace: Print arguments and return valueTom Smeding9 days
* Fix error messages for pi/fromRational in MixedTom Smeding11 days
* Generalise sh?Enum functions to arbitrary NumTom Smeding2025-11-18
* Up base bound to 4.23 (seems to work fine with GHC 9.14-RC)Tom 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
* toTom Smeding2025-11-15
* 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
* arith: Support Int8 and Int16Tom Smeding2025-11-15
* Support Int16 and Int8Tom Smeding2025-11-15
* Equality on singletons is trivialTom Smeding2025-11-14
* ghc-typelits-knownnat 0.9.1 fixes the unsoundness againTom Smeding2025-10-21
* Exclude ghc-typelits-natnormalise 0.9.0Tom Smeding2025-10-21
* 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
* Tweak shape ZipWith definitions slightlyMikolaj Konarski2025-07-13
* Add SNat import to readme tasterTom Smeding2025-06-30
* Cross-package doc links are half-broken, let's notTom Smeding2025-06-30
* Fix rerank docsTom Smeding2025-06-30
* Fix formatting in cabal filev0.1.0.0Tom Smeding2025-06-30
* Package description and changelogTom Smeding2025-06-30
* Common-up some options in cabal fileTom Smeding2025-06-30
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-03 11:06:09 +0100