Type level literals

2016-12-03 14:17:49 +00:00
parent fa482cfd46
commit 2b729aaadc
1 changed files with 16 additions and 0 deletions
@@ -83,6 +83,22 @@ import GHC.Records as X (
  )
 -}

+#if ( __GLASGOW_HASKELL__ >= 710 )
+import GHC.TypeLits (
+  Symbol,
+  SomeSymbol(..),
+  Nat,
+  SomeNat(..),
+  CmpNat,
+  KnownSymbol,
+  KnownNat,
+  natVal,
+  someNatVal,
+  symbolVal,
+  someSymbolVal
+  )
+#endif
+
 import Data.Kind as X (
    type (*)
  , type Type