aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Shaped.hs
Commit message (Collapse)AuthorAge
* 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.
* Define ix?FromLinear without THMikolaj Konarski2025-12-16
|
* Fix a few KnownNat in ShS-related TODOs and reword the restMikolaj Konarski2025-12-12
|
* Generalize shsTakeIxMikolaj Konarski2025-12-11
|
* Provide ix*FromLinear for all three shape kindsTom Smeding2025-12-02
| | | | This speeds up {r,s}generatePrim
* Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@Mikolaj Konarski2025-12-02
|
* Define mgeneratePrim as a fast special case variantMikolaj Konarski2025-12-02
|
* Expose the unfolding of the indexing operationsMikolaj Konarski2025-12-01
|
* Make first type arg of {m,s}emptyArray the shapeTom Smeding2025-11-17
|
* Rename, organise and cleanupTom Smeding2025-11-17
| | | | | | | Renamings: - *sumOuter1 -> *sumOuter1Prim - *rerank -> *rerankPrim - *replicateScal -> *replicatePrim
* Provide explicit-length versions of fromList functionsTom Smeding2025-11-17
|
* Fix rerank docsTom Smeding2025-06-30
|
* Flip some index/shape-related functionsTom Smeding2025-06-29
| | | | | This ensures that the argument order consistently puts the main thing being operated on at the end, and supporting singletons at the start.
* Add shape checking to [rms]zipTom Smeding2025-06-04
|
* Reorganise and clean up {from,to}List functionsTom Smeding2025-06-04
|
* Merge both Lemmas modulesMikolaj Konarski2025-05-17
|
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
|
* Shape/index function renameTom Smeding2025-05-16
|
* Explicit re-exports of Base membersTom Smeding2025-05-16
| | | | | This is to ensure that haddock doesn't insert a module reference, but displays the members of the Base module inline.
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding2025-05-15
|
* Move Arith, XArray and ConvertMikolaj Konarski2025-05-14
|
* Rename the three main public tensor API modulesMikolaj Konarski2025-05-14
|
* Clearer module purposesTom Smeding2024-05-30
| | | | Thanks Mikolaj for discussion
* Refactor Nested (modules, function names)Tom Smeding2024-05-30