ox-arrays/src/Data, 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 Apply some hlint hints 2026-04-07T14:39:04Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-07T14:39:01Z urn:sha1:933153197b3f2e1e75b8d88b0da6d99a41e8f471 Tweak sized list type synonyms slightly 2026-04-05T16:33:37Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-05T16:30:30Z urn:sha1:574468a37a0e662c5d63d1cf3f8f876b11b4e332 Officially describe the data invariant for ListX and the punched holes 2026-04-04T22:09:47Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-04T22:06:45Z urn:sha1:84c0878bbae11dbcab0f5b342386a20f716d2397 Use lazilyConcat for listxAppend 2026-04-04T21:52:03Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-04T21:08:58Z urn:sha1:67b62499a6d60fed9489f0371a8c841beb0c308f Implement ListX as [] with strict pattern synonyms 2026-04-04T21:51:39Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-04T14:59:37Z urn:sha1:dec7d6c47fe9b783e1a98008a4efffb77df6f393 Remove copies of length and toList operations that Foldable already provides 2026-04-04T18:52:32Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-04T14:26:06Z urn:sha1:ee319119b1f24db2b2e981e303db9935a1dca425 in preparation for deriving Foldable for [] Remove almost all unsafeCoerce 2026-04-04T10:09:08Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-04T10:09:08Z urn:sha1:53bc096c807fc63cfe5f1102131b475deb5e21ca Make ranked and shaped lists newtypes over mixed 2026-04-04T08:33:50Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-04-04T08:33:50Z urn:sha1:a9ac62f66e45e64f83043e0ebda04f0b4b80b913