Test.QuickSpec.Utils.TypeMap

A map from types to values. TypeMap f maps each type a to a value of type f a.

Documentation

type TypeMap f = Map TypeRep (Some f)

empty :: TypeMap f

singleton :: Typeable a => f a -> TypeMap f

fromList :: [Some f] -> TypeMap f

toList :: TypeMap f -> [Some f]

lookup :: Typeable a => f a -> a -> TypeMap f -> f a

mapValues :: (forall a. Typeable a => f a -> g a) -> TypeMap f -> TypeMap g

mapValues2 :: (forall a. Typeable a => f (g a) -> h (i a)) -> TypeMap (f `O` g) -> TypeMap (h `O` i)