ox-arrays/src/Data, branch flesh-out-sized-lists Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom?h=flesh-out-sized-lists 2024-04-23T14:54:09Z Try to make up for ToINat not being injective 2024-04-23T14:54:09Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-23T14:54:09Z urn:sha1:4ca302cdb32e3d36152400962cc50d37d3d40494 Define and expose the recomputing of KnownINat for ranks 2024-04-23T14:53:20Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-23T14:53:20Z urn:sha1:f8e131d7924c24e0ed015507e2299638b72b6a57 Add role annotations for sized lists 2024-04-22T14:30:51Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-22T14:30:51Z urn:sha1:da0f6fa4515dbb2c4b794e6418fd0633415af17d Add ToINat 2024-04-22T14:29:00Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-22T14:29:00Z urn:sha1:7156d267a25b01ccc615fcd0a197a5079e5acf3f Make type params of sized list newtype constructors the same as for the lists 2024-04-21T21:31:41Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T21:31:37Z urn:sha1:c4598014eaac54018a6aad9621b8e667a0e84cf6 Derive also the Ord instance for sized lists 2024-04-21T21:13:42Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T21:13:42Z urn:sha1:4def20b2699f8268ba7d03f3a228273ff613dc0d Swap arguments of sized lists to derive Functor, etc. 2024-04-21T21:07:33Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T21:07:33Z urn:sha1:f29e8a37daf2ed55ea849c286e1bfb1025b67329 Export more of the sized lists, including the newtype constructors 2024-04-21T19:47:36Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T19:47:34Z urn:sha1:676ec5132670f6fd94302f9487ee6366d12ba70f Maybe the newtype constructors can be hidden in the future and if not, maybe they should only be available from an internal module. Flesh out shaped sized lists 2024-04-21T16:54:03Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T16:49:54Z urn:sha1:2c3d1e4884eee109ca72286244eef4b357d586b8 Flesh out ranked sized lists 2024-04-21T16:12:26Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-21T15:50:30Z urn:sha1:b3c92786635568e652b98095c3d0db5b4ec312b2