aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Ranked
Commit message (Collapse)AuthorAge
* Eliminate all QuantifiedConstraints extensions from the codemvecsReplicateMikolaj Konarski9 hours
|
* Add pragmas to functions that -fprof-late-overloaded-calls reportsMikolaj Konarski2025-12-27
| | | | | | | as breaking the chain of specialization (but it's currently broken, so these may be false positives, but these pragmas may be handy in the future anyway and they can't do much harm in theory and in practice they are right now neutral performance-wise).
* Inline most lifting wrappersMikolaj Konarski2025-12-24
| | | | | | | This results in only marginal performance gain, probably because they are already small enough to be specialized and/or inlined automatically, but these pragmas ensure it remains so regardless of changes in GHC heuristics.
* Remove ixsFromIxR' and simplify ixsFromIxRMikolaj Konarski2025-12-20
|
* Make List?, except ListH, less generalMikolaj Konarski2025-12-17
|
* Optimize slightly sh?FromList and sh?ToListMikolaj Konarski2025-12-17
|
* De-triplicate ix?ToLinearMikolaj Konarski2025-12-16
|
* De-triplicate sh?EnumMikolaj Konarski2025-12-16
|
* Define ix?FromLinear without THMikolaj Konarski2025-12-16
|
* Implement ranked shape conversions as newtype coercesMikolaj Konarski2025-12-16
|
* Make ShR a newtype over ShXMikolaj Konarski2025-12-16
|
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski2025-12-16
|
* Add method mvecsUnsafeFreeze and use itMikolaj Konarski2025-12-09
|
* Generalize ix?ToLinear and speed it up a bitMikolaj Konarski2025-12-09
|
* Express mvecsWrite and mvecsWritePartial using the new methodsMikolaj Konarski2025-12-08
| | | | | | | and change the type of the latter to make it possible. This slightly improves performance of horde-ad tests, before horde-ad even starts using the Linear methods, which improves performance even more.
* Add mvecsWriteLinear and mvecsWritePartialLinear (unused yet)Mikolaj Konarski2025-12-08
|
* Add mvecsReplicateMikolaj Konarski2025-12-07
|
* Define {list,sh,ix}*ToList functions using 'build'Tom Smeding2025-12-02
| | | | This should allow foldr/build fusion
* Let sh*FromList functions print proper error messagesTom Smeding2025-12-02
|
* Provide ix*FromLinear for all three shape kindsTom Smeding2025-12-02
| | | | This speeds up {r,s}generatePrim
* Style and uniformity of shape/index/list functionsTom Smeding2025-12-02
|
* Unify fromList functions for shapesMikolaj Konarski2025-12-01
|
* Don't call continuation-based functions just *FromListMikolaj Konarski2025-12-01
|
* Unify toList functions for shapesMikolaj Konarski2025-12-01
|
* Inline all higher order shape functionsMikolaj Konarski2025-11-30
|
* Commit Tom's new code for sh?Enum functionsMikolaj Konarski2025-11-26
|
* Generalise sh?Enum functions to arbitrary NumTom Smeding2025-11-18
| | | | | | | The explicit usage at Int in the non-primed versions of the functions results in an auto-generated SPEC rule at Int, so even without any SPECIALIZE pragmas, using sh?Enum' at Int should not (need to) result in multiple specialisations.
* Add shsEnum and shrEnumTom Smeding2025-11-18
|
* Also replace replicateScal -> replicatePrim in error messagesTom Smeding2025-11-18
|
* Rename, organise and cleanupTom Smeding2025-11-17
| | | | | | | Renamings: - *sumOuter1 -> *sumOuter1Prim - *rerank -> *rerankPrim - *replicateScal -> *replicatePrim
* Provide explicit-length versions of fromList functionsTom Smeding2025-11-17
|
* mshapeTreeIsEmpty: allow partially-zero shapes for nested arraysTom Smeding2025-11-17
|
* Revert "Remove a spurious case now correclty rules out by the plugins"Tom Smeding2025-10-21
| | | | | | | This reverts commit 069ac5b0bcf52b8b5414261106e82ef0eb8a582e. The plugins are unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105
* 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
|
* Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1Mikolaj Konarski2025-10-02
| | | | and probably more sound than earlier versions.
* More shape/index conversion functionsTom Smeding2025-06-29
|
* Tweak haddocs and comments slightlyMikolaj Konarski2025-06-26
|
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
|
* Merge both Lemmas modulesMikolaj Konarski2025-05-17
|
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski2025-05-17
|
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
|
* Generalize some shape conversion functionsMikolaj Konarski2025-05-16
|
* Shape/index function renameTom Smeding2025-05-16
|
* default-show-instances flagTom Smeding2025-05-16
|
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding2025-05-15
|
* Split and uniformly rename Shape modulesMikolaj Konarski2025-05-14
generated by cgit v1.2.3-70-g09d2 (git 2.52.0) at 2026-01-22 19:45:51 +0100