ox-arrays/src/Data/Array/Nested/Convert.hs, branch move-Rank Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom?h=move-Rank 2026-04-08T23:01:01Z Make equal-rank-coercibility part of the interface of ListX 2026-04-08T23:01:01Z Tom Smeding tom@tomsmeding.com 2026-04-08T22:59:15Z urn:sha1:fe25edfd8e633a834a23d272bae8ccf456b63c26 Justify two unsafeCoerces using partial coerce 2026-04-08T22:45:04Z Tom Smeding tom@tomsmeding.com 2026-04-08T22:45:04Z urn:sha1:abfa3b9646c49fbac7bade84dd1a2973ccb5accb Remove almost all unsafeCoerce 2026-04-04T10:09:08Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-04T10:09:08Z urn:sha1:53bc096c807fc63cfe5f1102131b475deb5e21ca Fix typos/thinkos 2026-04-02T10:08:26Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-02T10:08:26Z urn:sha1:db163c981f796264e17019537a1ab2a5ae3573e1 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 Remove ixsFromIxR' and simplify ixsFromIxR 2026-03-15T09:50:24Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-20T17:23:34Z urn:sha1:830ec0c427202a0694517c86a6a489cdc811c0f9 De-triplicate ix?ToLinear 2026-03-15T09:50:08Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-16T19:43:38Z urn:sha1:106f2da382e47197f3c1adcf9c011d94a212893f Define ix?FromLinear without TH 2026-03-15T09:49:48Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-16T12:24:25Z urn:sha1:67b072ea3fd296f701bbded7e2d2c570794c2b36 Implement index conversions as unsafeCoerce 2026-03-15T09:44:58Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-13T13:18:46Z urn:sha1:6f131da821fc7a6dbeb0b233146e69ca8eb1d53f until maybe we make shaped and ranked newtypes over mixed? Implement ranked shape conversions as newtype coerces 2026-03-15T09:35:51Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-16T09:28:42Z urn:sha1:78cf390f4b881eba3b929c35e37811543c33340e