[project @ 2003-07-25 15:03:38 by simonpj]

[ghc-base.git] / Data / Typeable.hs

diff --git a/Data/Typeable.hs b/Data/Typeable.hs
index c224fdd..c88920c 100644 (file)
--- a/Data/Typeable.hs
+++ b/Data/Typeable.hs
@@ -48,6 +48,7 @@ module Data.Typeable
        withType,               -- :: a -> TypeVal a -> a
        argType,                -- :: (a -> b) -> TypeVal a
        resType,                -- :: (a -> b) -> TypeVal b
+       paraType,               -- :: t a -> TypeVal a
        TypeFun                 -- functions on types
 
   ) where
@@ -376,6 +377,11 @@ resType :: (a -> b) -> TypeVal b
 resType _ = typeVal
 
 
+-- | The parameter type of type constructor
+paraType :: t a -> TypeVal a
+paraType _ = typeVal
+
+
 -- Type functions,
 -- i.e., functions mapping types to values
 --