ox-arrays/src/Data/Array/Nested/Shaped.hs, branch v0.2.0.0 Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom?h=v0.2.0.0 2026-04-11T20:31:15Z Remove outdated haddocks about materialising lists 2026-04-11T20:31:15Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-11T20:31:15Z urn:sha1:1a0324d8c7ce40c0c0c4a09d1f143d36b21575ae 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