ox-arrays/src/Data/Array/Nested/Shaped, branch repro-UNPACKNested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=repro-UNPACK2025-12-16T08:55:09ZSimplify the signature of fooIndex2025-12-16T08:55:09ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-15T21:17:34Zurn:sha1:824078db9bc0b26bdde282f28ce7805c634101e2Implement shxFromShS and shsFromShX as a newtype coerce2025-12-16T08:55:06ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-14T22:12:30Zurn:sha1:8579a03c5ae8f4812b72d477251a614d820dd1fcMake ShS a newtype over ShX2025-12-16T08:54:29ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-14T20:22:20Zurn:sha1:7e8cb11edf6cb6f46cf92e7dac10e75281992a0a
TODO: use lemmas in place of the unsafeCoerceRefl
Implement Tom's ixsFromIxS2025-12-14T15:46:04ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-14T12:05:04Zurn:sha1:87e656c5cfebdbd2966494e8ef3f5504d328232a
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.
Fix a few KnownNat in ShS-related TODOs and reword the rest2025-12-12T22:28:48ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-12T22:28:02Zurn:sha1:2d837a1b4ef2914ac4bc8e012b31ff7abd4d2246Temporarily revert ListS as a newtype over ListX2025-12-12T09:42:57ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-11T17:15:40Zurn:sha1:1a55b8d50399e9506b07cf9bc6462c32b6a5d38a
until a GHC workaround is found. Please revert this commit ASAP
so that horde-ad can coerce shaped to mixed things for free
(unless the cost of the new WrapJust type turns out to overweight
the benefit, which is unlikely, and/or unless unsafeCoerce works
without WrapJust somehow).
Remove KnownNat from ListS and express ListS as newtype over ListX2025-12-11T17:04:06ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-11T13:08:18Zurn:sha1:4aa8646599f51bbfa2006fd68738713fbb8f215a
as sketched by Tom.
Remove the preposterous shsFromListS and shsFromIxS2025-12-11T15:17:22ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-11T13:08:18Zurn:sha1:dab29560cbd4d79577d1a1bff354c2813bbbd2c0Add method mvecsUnsafeFreeze and use it2025-12-09T14:46:26ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-09T14:46:26Zurn:sha1:14f4d3d2586cd9983c9b98fc9af591a25ae325b4Generalize ix?ToLinear and speed it up a bit2025-12-09T09:34:03ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-09T09:34:03Zurn:sha1:ab020a0ece9383f04412964b9fc09d17874d3383