dependent-enummap/src, branch no-some-in-Enum1 Dependent version of Data.EnumMap https://git.tomsmeding.com/dependent-enummap/atom?h=no-some-in-Enum1 2026-01-28T23:43:10Z Add an INLINEABLE pragma that GHC warns about when one uses this library 2026-01-28T23:43:10Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-01-28T23:43:04Z urn:sha1:b9f905a7d1571471200328d0b5062052c76b4e53 Improve typeCheck? 2026-01-20T22:40:33Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-01-20T22:35:37Z urn:sha1:f21de5faf99f5a26510a0e1b2216a12e68f5182c Stress unsafety of the API more in Enum1 docs 2026-01-20T22:19:15Z Tom Smeding tom@tomsmeding.com 2026-01-20T22:19:03Z urn:sha1:8e8bbf0b100489f8ddb563eb2f7b1ff2423661c7 Change case to let where possible 2026-01-20T21:56:04Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-01-20T21:56:04Z urn:sha1:d9baf98bf0b6e231fcef17ea89155c2676c1cfa1 Formatting 2026-01-20T21:26:24Z Tom Smeding tom@tomsmeding.com 2026-01-20T21:22:55Z urn:sha1:5cfb5d5be7804bf0931f46392fd1ba42cd617735 Make the repo compilable with GHC 9.10.3 2026-01-20T21:26:20Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-01-05T23:32:21Z urn:sha1:066a02cbfda80d18b77cac8c5d999335607df9da Make the code more strict for a tiny performance gain 2026-01-20T21:26:09Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-23T17:38:38Z urn:sha1:3493b98935d2215d1fd97d04003e007af6da8f79 Let typeCheck? provide type equality and remove coe1 calls 2025-12-23T12:48:37Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-23T12:40:56Z urn:sha1:c1fd3d1066a7863c9b240c1ecf71da9344f32fc5 that are now unnecessary. Delete all coe1 applications that can now be simply skipped 2025-12-23T10:42:16Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-23T10:31:02Z urn:sha1:72abcebf6cfc5aa62b24bcf8bb06a2f517bff0fc Apparently no typeCheck1 nor typeCheck2 application can be simply skipped (due to the a and b types in their type signatures getting equated through the application). Minimal changes to make it compile without Some in Enum1 2025-12-23T10:42:15Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-23T10:22:29Z urn:sha1:889e221876f3028da1b238bdd981e2d698b060c8 This includes three additional `coe1`, all applied to `inf`.