aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Generalize also mgenerate to potentially avoid @fmap fromIntegral@mgenerate-integralMikolaj Konarski11 hours
* Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@Mikolaj Konarski12 hours
* Define mgeneratePrim as a fast special case variantMikolaj Konarski19 hours
* Unify fromList functions for shapesMikolaj Konarski30 hours
* Don't call continuation-based functions just *FromListMikolaj Konarski31 hours
* Unify toList functions for shapesMikolaj Konarski32 hours
* Expose the unfolding of the indexing operationsMikolaj Konarski33 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
* 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
* Tweak shape ZipWith definitions slightlyMikolaj Konarski2025-07-13
* Cross-package doc links are half-broken, let's notTom Smeding2025-06-30
* Fix rerank docsTom 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
* More shape/index conversion functionsTom Smeding2025-06-29
* Flip some index/shape-related functionsTom Smeding2025-06-29
* Improve Conversion haddocksTom Smeding2025-06-29
* CleanupTom Smeding2025-06-29
* Tweak haddocs and comments slightlyMikolaj Konarski2025-06-26
* Add instance TestEquality PermMikolaj Konarski2025-06-19
* Rename Castable to ConversionTom Smeding2025-06-09
* Derive instance Show (Castable a b)Mikolaj Konarski2025-06-06
* Describe Castable philosophyTom Smeding2025-06-04
* Add CastZip and CastUnzipTom Smeding2025-06-04
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-03 00:52:26 +0100