diff options
-rw-r--r-- | src/Data/Dependent/EnumMap/Strict.hs | 2 | ||||
-rw-r--r-- | src/Data/Dependent/EnumMap/Strict/Internal.hs | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/Data/Dependent/EnumMap/Strict.hs b/src/Data/Dependent/EnumMap/Strict.hs index fd650b2..515a186 100644 --- a/src/Data/Dependent/EnumMap/Strict.hs +++ b/src/Data/Dependent/EnumMap/Strict.hs @@ -56,7 +56,7 @@ module Data.Dependent.EnumMap.Strict ( -- ** Size null, - -- size + size, -- * Combine -- ** Union diff --git a/src/Data/Dependent/EnumMap/Strict/Internal.hs b/src/Data/Dependent/EnumMap/Strict/Internal.hs index 0d944ba..c2dcf95 100644 --- a/src/Data/Dependent/EnumMap/Strict/Internal.hs +++ b/src/Data/Dependent/EnumMap/Strict/Internal.hs @@ -132,7 +132,8 @@ member k (DEnumMap m) = IM.member (fst (fromEnum1 k)) m null :: DEnumMap k v -> Bool null (DEnumMap m) = IM.null m --- size +size :: DEnumMap k v -> Int +size (DEnumMap m) = IM.size m -- * Combine |