ox-arrays/src/Data/Array, branch experiment-with-KnownShape Nested, compositional struct-of-arrays orthotope arrays https://git.tomsmeding.com/ox-arrays/atom?h=experiment-with-KnownShape 2024-04-29T15:35:54Z Make also the sized shaped lists strict due to impurity in horde-ad 2024-04-29T15:35:54Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-29T15:35:54Z urn:sha1:1f81568269189c863772369bb62a7598735ee684 Make sized ranked lists strict due to impurity evaluation order in horde-ad 2024-04-28T17:18:06Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-28T17:18:06Z urn:sha1:d9a1b896875153cc3ee8fefc3dba7de1f6122d45 Add KnownShape and KnownNat throughout sized shaped lists 2024-04-25T09:45:15Z Mikolaj Konarski mikolaj.konarski@gmail.com 2024-04-25T09:45:15Z urn:sha1:b86302bdb747fbe4262b1afa6ae981fd54d7bce4 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 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