quickspec-0.9: Equational laws for free

Safe HaskellSafe-Inferred

Test.QuickSpec.Utils.TypeMap

Description

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)Source

empty :: TypeMap fSource

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

fromList :: [Some f] -> TypeMap fSource

toList :: TypeMap f -> [Some f]Source

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

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

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