diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-29 00:43:04 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-01-29 00:43:10 +0100 |
| commit | b9f905a7d1571471200328d0b5062052c76b4e53 (patch) | |
| tree | 721f8fe1bb90451691829f6d7aa9c0d254e4ea70 /src/Data/Dependent/EnumMap | |
| parent | 44c5622fba89bc7fed5523f4a397f1e2f95c62c9 (diff) | |
Add an INLINEABLE pragma that GHC warns about when one uses this libraryHEADno-some-in-Enum1master
Diffstat (limited to 'src/Data/Dependent/EnumMap')
| -rw-r--r-- | src/Data/Dependent/EnumMap/Strict/Internal.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Data/Dependent/EnumMap/Strict/Internal.hs b/src/Data/Dependent/EnumMap/Strict/Internal.hs index b2bef1a..f7128f2 100644 --- a/src/Data/Dependent/EnumMap/Strict/Internal.hs +++ b/src/Data/Dependent/EnumMap/Strict/Internal.hs @@ -257,6 +257,7 @@ alterF f k (DEnumMap m) = DEnumMap <$> IM.alterF f' i m -- ** Lookup lookup :: (Enum1 k, TestEquality k) => k a -> DEnumMap k v -> Maybe (v a) +{-# INLINEABLE lookup #-} lookup k (DEnumMap m) = let (i, _) = fromEnum1 k in (\(KV inf v) -> case typeCheck1 k i inf of |