quickspec-0.9.2: Equational laws for free

Safe HaskellNone



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


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