ox-arrays/src/Data/Array/Nested/Shaped, branch mild-tweaks-repackagedNested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=mild-tweaks-repackaged2026-03-15T09:35:55ZOptimize slightly sh?FromList and sh?ToList2026-03-15T09:35:55ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-17T11:51:46Zurn:sha1:3f589f443369b351eb1ed71ab82329ee75111101Make ShR a newtype over ShX2026-03-15T09:35:48ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-16T08:51:51Zurn:sha1:e721543d6dfac2b1130b8dc0a1294c833610ba78Prefer newtype deriving over Generic deriving for simplicity2026-03-15T09:35:44ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-15T19:51:59Zurn:sha1:d8cc5e2bcf2fcac1142b5dd2f36f1995a2427f32Simplify the signature of fooIndex2026-03-15T09:35:27ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-15T21:17:34Zurn:sha1:c0104ba495e16d7e6e81134c7497f725b0b908a8Implement shxFromShS and shsFromShX as a newtype coerce2026-03-15T09:35:24ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-14T22:12:30Zurn:sha1:28246aa67f447f18a2bcd59d04bd0962c4d258bcMake ShS a newtype over ShX2026-03-15T09:35:21ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-11T13:08:18Zurn:sha1:01a79440952d789184101fc1aad277c00d010a25
TODO: use lemmas in place of the unsafeCoerceRefl
Inline 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:91cb6b86e46054e75a5b3506aaa2b262a3387c8e