ox-arrays/src/Data/Array/Nested/Shaped, branch uncontroversial-tweaks-repackagedNested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=uncontroversial-tweaks-repackaged2026-02-12T09:16:29ZInline 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.
Implement Tom's ixsFromIxS2026-01-31T12:14:59ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-14T12:05:04Zurn:sha1:374d2390e343722f4a2fafe073ed1f1a26e439ce
that really helps in processing indexes using list functions
and getting back to the same type of index now that KnownNat
is removed from IxS and so the type information is harder to preserve.
Express mvecsWrite and mvecsWritePartial using the new methods2026-01-31T09:52:00ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-08T19:09:31Zurn:sha1:c20f930f21c60f91d01009fc7e16fa4ccc345828
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)2026-01-31T09:50:52ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-08T14:43:41Zurn:sha1:91cb6b86e46054e75a5b3506aaa2b262a3387c8eAdd mvecsReplicate2026-01-31T09:50:52ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-07T11:28:36Zurn:sha1:d825250d18ce646374d663c302e7ff86b29c698dRemove the preposterous shsFromListS and shsFromIxS2026-01-31T09:43:46ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-11T13:08:18Zurn:sha1:b507634cc80ceb93d4c071b92645a79805859d6cGeneralize ix?ToLinear and speed it up a bit2026-01-31T09:43:16ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-09T09:34:03Zurn:sha1:05ddeb90d8b1be91d8d98c66219b0fac111ec70aAdd method mvecsUnsafeFreeze and use it2026-01-31T09:41:26ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-09T14:46:26Zurn:sha1:f80a2cd3a5718065950341a320689ea7810935abMake shsFromList even more const-like2025-12-02T21:54:42ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-02T21:52:16Zurn:sha1:558827a5a3d0e431d31c754e70bfb0daec5f5e9bAdd a missing INLINEABLE for ixsToList2025-12-02T21:54:42ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-02T21:51:52Zurn:sha1:466b05b8ec4e8f07b46ebdfaaacb8fdaca82d207