ox-arrays/src/Data/Array/Nested/Shaped.hs, branch move-Rank Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom?h=move-Rank 2026-04-02T09:54:26Z Audit remaining uses of KnownNat and SNat patterns 2026-04-02T09:54:26Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-02T09:54:26Z urn:sha1:086145dfee33e6e198abc148a6375ce929b2c88f Rename TakeLen functions to TakeLenPerm; same for Drop 2026-04-02T08:33:33Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-02T08:32:53Z urn:sha1:31a603bb5d685306fe9561eac25c62b514c62be2 Fill and clean up *TakeIx and *DropIx functions 2026-03-16T13:36:36Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-03-16T13:36:36Z urn:sha1:fc2a1370d67f12b50e3e5750d17aefd33bc3d8a3 Odds and ends 2026-03-15T09:51:05Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-02-09T16:11:51Z urn:sha1:dfe622994702e9a21896080391793a782e6201c6 Add pragmas to functions that -fprof-late-overloaded-calls reports 2026-03-15T09:50:33Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-25T22:45:41Z urn:sha1:0f9662136f5f0e246650df0606f41b2d49f59734 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). Define ix?FromLinear without TH 2026-03-15T09:49:48Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-16T12:24:25Z urn:sha1:67b072ea3fd296f701bbded7e2d2c570794c2b36 Make ShS a newtype over ShX 2026-03-15T09:35:21Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-11T13:08:18Z urn:sha1:01a79440952d789184101fc1aad277c00d010a25 TODO: use lemmas in place of the unsafeCoerceRefl Add a precautionary INLINEABLE to the now polymorphic shsTakeIx 2026-03-14T11:08:07Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-02-12T08:55:43Z urn:sha1:dbb51049d237dd325ad923b9e0c617ca1a2ee4eb Add mtoListPrimLinear and friends 2026-03-14T11:08:05Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-02-10T10:48:45Z urn:sha1:1c99e9ff0d18e323fe159e54af9775c46d4abd76 Inline most lifting wrappers 2026-02-12T09:16:29Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-24T18:31:38Z urn:sha1:653ad3cb2cb84ff30eb33b3d3832852a419981a7 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.