ox-arrays/src/Data/Array/Nested/Ranked.hs, branch move-RankNested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=move-Rank2026-04-02T09:54:26ZAudit remaining uses of KnownNat and SNat patterns2026-04-02T09:54:26ZMikolaj Konarskimikolaj.konarski@funktory.com2026-04-02T09:54:26Zurn:sha1:086145dfee33e6e198abc148a6375ce929b2c88fAdd pragmas to functions that -fprof-late-overloaded-calls reports2026-03-15T09:50:33ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-25T22:45:41Zurn: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).
Implement ranked shape conversions as newtype coerces2026-03-15T09:35:51ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-16T09:28:42Zurn:sha1:78cf390f4b881eba3b929c35e37811543c33340eAdd mtoListPrimLinear and friends2026-03-14T11:08:05ZMikolaj Konarskimikolaj.konarski@funktory.com2026-02-10T10:48:45Zurn:sha1:1c99e9ff0d18e323fe159e54af9775c46d4abd76Inline most lifting wrappers2026-02-12T09:16:29ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-24T18:31:38Zurn: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.
Provide ix*FromLinear for all three shape kinds2025-12-02T14:03:43ZTom Smedingtom@tomsmeding.com2025-12-02T14:03:10Zurn:sha1:b63642a41f3bddc991d92f2f59b9e3ad53c1f15e
This speeds up {r,s}generatePrim
Doc comments2025-12-02T14:02:19ZTom Smedingtom@tomsmeding.com2025-12-02T14:02:19Zurn:sha1:af0c099079dae7aa52a660b883204035cbed99c3Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@2025-12-02T12:16:33ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-02T12:16:33Zurn:sha1:9f47aa6a2bcd772388a5d5150ca7254e4eb95bc2Define mgeneratePrim as a fast special case variant2025-12-02T04:38:41ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-02T04:38:41Zurn:sha1:ba5a31c976f80421464af1af8d6ab1e2a154cd83Expose the unfolding of the indexing operations2025-12-01T15:06:57ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-01T00:44:05Zurn:sha1:9560d0f26420409afd2230fb7e5e111eafcced06