aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Generalize also mgenerate to potentially avoid @fmap fromIntegral@mgenerate-integralMikolaj Konarski9 hours
* Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@Mikolaj Konarski10 hours
* Define mgeneratePrim as a fast special case variantMikolaj Konarski18 hours
* Simplify genShRwithTarget a littleMikolaj Konarski29 hours
* Unify fromList functions for shapesMikolaj Konarski29 hours
* Don't call continuation-based functions just *FromListMikolaj Konarski29 hours
* Unify toList functions for shapesMikolaj Konarski30 hours
* Expose the unfolding of the indexing operationsMikolaj Konarski31 hours
* Inline all higher order shape functionsMikolaj Konarski2 days
* Optimize X.index, but measurements unconclusiveMikolaj Konarski6 days
* Add INLINEABLE on ixxFromLinearTom Smeding6 days
* Benchmark and improve ixxFromLinearTom Smeding6 days
* Commit Tom's new code for sh?Enum functionsMikolaj Konarski6 days
* Update doc comment in TraceTom Smeding8 days
* Export PermR from top-levelTom Smeding8 days
* trace: Print arguments and return valueTom Smeding8 days
* Fix error messages for pi/fromRational in MixedTom Smeding10 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
* Apply a small fraction of hlint hintsMikolaj Konarski2025-06-30
* Permutations: withKnownPermTom Smeding2025-06-29
* Add existential conversions to ShSTom Smeding2025-06-29
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-02 23:18:37 +0100