diff options
Diffstat (limited to 'compiler/prelude/PrelNames.lhs')
| -rw-r--r-- | compiler/prelude/PrelNames.lhs | 26 |
1 files changed, 23 insertions, 3 deletions
diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs index ea44353626..cd6a621868 100644 --- a/compiler/prelude/PrelNames.lhs +++ b/compiler/prelude/PrelNames.lhs @@ -1241,11 +1241,13 @@ eitherTyConKey = mkPreludeTyConUnique 84 -- Super Kinds constructors tySuperKindTyConKey :: Unique -tySuperKindTyConKey = mkPreludeTyConUnique 85 +tySuperKindTyConKey = mkPreludeTyConUnique 85 -- Kind constructors -liftedTypeKindTyConKey, openTypeKindTyConKey, unliftedTypeKindTyConKey, - ubxTupleKindTyConKey, argTypeKindTyConKey, constraintKindTyConKey :: Unique +liftedTypeKindTyConKey, anyKindTyConKey, openTypeKindTyConKey, + unliftedTypeKindTyConKey, ubxTupleKindTyConKey, argTypeKindTyConKey, + constraintKindTyConKey :: Unique +anyKindTyConKey = mkPreludeTyConUnique 86 liftedTypeKindTyConKey = mkPreludeTyConUnique 87 openTypeKindTyConKey = mkPreludeTyConUnique 88 unliftedTypeKindTyConKey = mkPreludeTyConUnique 89 @@ -1591,6 +1593,24 @@ mzipIdKey = mkPreludeMiscIdUnique 197 %************************************************************************ %* * +\subsection{Standard groups of types} +%* * +%************************************************************************ + +\begin{code} +kindKeys :: [Unique] +kindKeys = [ anyKindTyConKey + , liftedTypeKindTyConKey + , openTypeKindTyConKey + , unliftedTypeKindTyConKey + , ubxTupleKindTyConKey + , argTypeKindTyConKey + , constraintKindTyConKey ] +\end{code} + + +%************************************************************************ +%* * \subsection[Class-std-groups]{Standard groups of Prelude classes} %* * %************************************************************************ |