Add size function to TypeRepMap
commiteccca6c74b71a5735d04a99e5efe79cc2ee60519
authorvrom911 <vrom911@gmail.com>
dateSat 16 Dec 2017, 15:23 (9 years ago)
parent6a84c85
src/Data/TypeRep/Map.hs+4
@@ -6,6 +6,7 @@ module Data.TypeRep.Map
66 , empty
77 , insert
88 , lookup
9+ , size
910 ) where
1011
1112import Prelude hiding (lookup)
@@ -38,3 +39,6 @@ insert val = TypeRepMap . LMap.insert (typeOf val) (unsafeCoerce val) . unMap
3839-- Nothing
3940lookup :: forall a . Typeable a => TypeRepMap -> Maybe a
4041lookup = fmap unsafeCoerce . LMap.lookup (typeRep (Proxy :: Proxy a)) . unMap
42+
43+size :: TypeRepMap -> Int
44+size = LMap.size . unMap