Export Proxy from Data.Typeable
authorJose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Tue, 12 Feb 2013 10:12:16 +0000 (10:12 +0000)
committerJose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Tue, 12 Feb 2013 10:12:16 +0000 (10:12 +0000)
Data/Typeable.hs

index 66c6695..e1a0e3c 100644 (file)
@@ -38,6 +38,9 @@
 
 module Data.Typeable
   (
+        -- * A proxy type
+        Proxy (..),
+
         -- * The Typeable class
         Typeable( typeRep ),