summaryrefslogtreecommitdiff
path: root/libraries/base/Type/Reflection/Unsafe.hs
diff options
context:
space:
mode:
Diffstat (limited to 'libraries/base/Type/Reflection/Unsafe.hs')
-rw-r--r--libraries/base/Type/Reflection/Unsafe.hs22
1 files changed, 22 insertions, 0 deletions
diff --git a/libraries/base/Type/Reflection/Unsafe.hs b/libraries/base/Type/Reflection/Unsafe.hs
new file mode 100644
index 0000000000..4e367f5722
--- /dev/null
+++ b/libraries/base/Type/Reflection/Unsafe.hs
@@ -0,0 +1,22 @@
+-----------------------------------------------------------------------------
+-- |
+-- Module : Type.Reflection.Unsafe
+-- Copyright : (c) The University of Glasgow, CWI 2001--2015
+-- License : BSD-style (see the file libraries/base/LICENSE)
+--
+-- The representations of the types TyCon and TypeRep, and the
+-- function mkTyCon which is used by derived instances of Typeable to
+-- construct a TyCon.
+--
+-- Be warned, these functions can be used to construct ill-typed
+-- type representations.
+--
+-----------------------------------------------------------------------------
+
+module Type.Reflection.Unsafe (
+ tyConKindRep, tyConKindArgs,
+ KindRep(..), TypeLitSort(..),
+ mkTrCon, mkTrApp, mkTyCon
+ ) where
+
+import Data.Typeable.Internal