ref: 1bef688c3875813631d2849ae1c362a6042b8841
parent: 47043019ebab923c99fe6455e63e65514bfbc6a9
author: Lennart Augustsson <lennart@augustsson.net>
date: Thu Dec 21 10:52:19 EST 2023
More
--- a/lib/Data/Typeable.hs
+++ b/lib/Data/Typeable.hs
@@ -146,6 +146,9 @@
instance Typeable Double where typeRep = prim "Double"
instance Typeable Word where typeRep = prim "Word"
+instance Typeable TypeRep where typeRep = nullary "Data.Typeable" "TypeRep"
+instance Typeable TyCon where typeRep = nullary "Data.Typeable" "TyCon"
+
instance forall a . Typeable a => Typeable (IO a) where
typeRep _ = mkTyConApp (mkTyCon "Primitives" "IO") [typeRep (Proxy :: Proxy a)]
instance forall a . Typeable a => Typeable (Ptr a) where
@@ -163,3 +166,4 @@
typeRep _ = mkTyConApp (mkTyCon "Data.Proxy" "Proxy") [typeRep (Proxy :: Proxy a)]
instance forall a b . (Typeable a, Typeable b) => Typeable (a, b) where
typeRep _ = mkTyConApp (mkTyCon "Data.Tuple" ",") [typeRep (Proxy :: Proxy a), typeRep (Proxy :: Proxy b)]
+
--
⑨