tyconString, -- :: TyCon -> String
-- * The other Typeable classes
- -- | The general instances are provided for GHC only.
+ -- | /Note:/ The general instances are provided for GHC only.
Typeable1( typeOf1 ), -- :: t a -> TypeRep
Typeable2( typeOf2 ), -- :: t a b -> TypeRep
Typeable3( typeOf3 ), -- :: t a b c -> TypeRep
gcast2, -- :: ... => c (t a b) -> Maybe (c (t' a b))
-- * Default instances
- -- | These are not needed by GHC, for which these instances are
- -- generated by general instance declarations.
+ -- | /Note:/ These are not needed by GHC, for which these instances
+ -- are generated by general instance declarations.
typeOfDefault, -- :: (Typeable1 t, Typeable a) => t a -> TypeRep
typeOf1Default, -- :: (Typeable2 t, Typeable a) => t a b -> TypeRep
typeOf2Default, -- :: (Typeable2 t, Typeable a) => t a b c -> TypeRep
INSTANCE_TYPEABLE1(Ratio,ratioTc,"Ratio")
INSTANCE_TYPEABLE2(Either,eitherTc,"Either")
INSTANCE_TYPEABLE2((->),funTc,"->")
+INSTANCE_TYPEABLE1(IO,ioTc,"IO")
INSTANCE_TYPEABLE0((),unitTc,"()")
-INSTANCE_TYPEABLE2((,),pairTc,"(,)")
+INSTANCE_TYPEABLE2((,),pairTc,",")
INSTANCE_TYPEABLE3((,,),tup3Tc,",,")
tup4Tc :: TyCon
instance Typeable7 (,,,,,,) where
typeOf7 tu = mkAppTy tup7Tc []
-INSTANCE_TYPEABLE1(IO,ioTc,"System.IO.IO")
INSTANCE_TYPEABLE1(Ptr,ptrTc,"Foreign.Ptr.Ptr")
INSTANCE_TYPEABLE1(StablePtr,stableptrTc,"Foreign.StablePtr.StablePtr")
INSTANCE_TYPEABLE1(IORef,iorefTc,"Data.IORef.IORef")