| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add pragmas to functions that -fprof-late-overloaded-calls reports | Mikolaj Konarski | 2025-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 wrappers | Mikolaj Konarski | 2025-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. | ||
| * | Implement ranked shape conversions as newtype coerces | Mikolaj Konarski | 2025-12-16 |
| | | |||
| * | Provide ix*FromLinear for all three shape kinds | Tom Smeding | 2025-12-02 |
| | | | | | This speeds up {r,s}generatePrim | ||
| * | Doc comments | Tom Smeding | 2025-12-02 |
| | | |||
| * | Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@ | Mikolaj Konarski | 2025-12-02 |
| | | |||
| * | Define mgeneratePrim as a fast special case variant | Mikolaj Konarski | 2025-12-02 |
| | | |||
| * | Expose the unfolding of the indexing operations | Mikolaj Konarski | 2025-12-01 |
| | | |||
| * | Rename, organise and cleanup | Tom Smeding | 2025-11-17 |
| | | | | | | | | Renamings: - *sumOuter1 -> *sumOuter1Prim - *rerank -> *rerankPrim - *replicateScal -> *replicatePrim | ||
| * | Provide explicit-length versions of fromList functions | Tom Smeding | 2025-11-17 |
| | | |||
| * | Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1 | Mikolaj Konarski | 2025-10-02 |
| | | | | | and probably more sound than earlier versions. | ||
| * | Fix rerank docs | Tom Smeding | 2025-06-30 |
| | | |||
| * | Add shape checking to [rms]zip | Tom Smeding | 2025-06-04 |
| | | |||
| * | Reorganise and clean up {from,to}List functions | Tom Smeding | 2025-06-04 |
| | | |||
| * | Run stylish-haskell | Mikolaj Konarski | 2025-05-17 |
| | | |||
| * | Merge both Lemmas modules | Mikolaj Konarski | 2025-05-17 |
| | | |||
| * | Move modules Permutation and Types | Mikolaj Konarski | 2025-05-16 |
| | | |||
| * | Shape/index function rename | Tom Smeding | 2025-05-16 |
| | | |||
| * | Explicit re-exports of Base members | Tom Smeding | 2025-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 .Base | Tom Smeding | 2025-05-15 |
| | | |||
| * | Move Arith, XArray and Convert | Mikolaj Konarski | 2025-05-14 |
| | | |||
| * | Rename the three main public tensor API modules | Mikolaj Konarski | 2025-05-14 |
| | | |||
| * | Clearer module purposes | Tom Smeding | 2024-05-30 |
| | | | | | Thanks Mikolaj for discussion | ||
| * | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |
