dependent-enummap, 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 Make the test non-trivial again 2026-01-20T22:40:33Z Mikolaj Konarski mikolaj.konarski@funktory.com 2026-01-20T22:39:15Z urn:sha1:44c5622fba89bc7fed5523f4a397f1e2f95c62c9 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 Bump version, since Enum1 is not backward compatible 2026-01-20T21:25:33Z Mikolaj Konarski mikolaj.konarski@funktory.com 2025-12-23T14:14:01Z urn:sha1:51c5f1f90a1d55a67ceccae7d1681a18878bedb5 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.