- GenType(..), SYN_IE(Type), SYN_IE(TauType),
- mkTyVarTy, mkTyVarTys,
- getTyVar, getTyVar_maybe, isTyVarTy,
- mkAppTy, mkAppTys, splitAppTy,
- mkFunTy, mkFunTys,
- splitFunTy, splitFunTyExpandingDicts, splitFunTyExpandingDictsAndPeeking,
- getFunTy_maybe, getFunTyExpandingDicts_maybe,
- mkTyConTy, getTyCon_maybe, applyTyCon,
- mkSynTy,
- mkForAllTy, mkForAllTys, getForAllTy_maybe, getForAllTyExpandingDicts_maybe, splitForAllTy,
- mkForAllUsageTy, getForAllUsageTy,
- applyTy,
-#ifdef DEBUG
- expandTy, -- only let out for debugging (ToDo: rm?)
-#endif
- isPrimType, isUnboxedType, typePrimRep,
-
- SYN_IE(RhoType), SYN_IE(SigmaType), SYN_IE(ThetaType),
- mkDictTy,
- mkRhoTy, splitRhoTy, mkTheta, isDictTy,
- mkSigmaTy, splitSigmaTy,
-
- maybeAppTyCon, getAppTyCon,
- maybeAppDataTyCon, getAppDataTyCon, getAppSpecDataTyCon,
- maybeAppDataTyConExpandingDicts, maybeAppSpecDataTyConExpandingDicts,
- getAppDataTyConExpandingDicts, getAppSpecDataTyConExpandingDicts,
- maybeBoxedPrimType,
-
- matchTy, matchTys, eqTy, eqSimpleTy, eqSimpleTheta,
-
- instantiateTy, instantiateTauTy, instantiateUsage,
- applyTypeEnvToTy,
-
- isTauTy,
-
- tyVarsOfType, tyVarsOfTypes, typeKind
+ -- re-exports from TypeRep:
+ Type, PredType, ThetaType,
+ Kind, TyVarSubst,
+
+ superKind, superBoxity, -- KX and BX respectively
+ liftedBoxity, unliftedBoxity, -- :: BX
+ openKindCon, -- :: KX
+ typeCon, -- :: BX -> KX
+ liftedTypeKind, unliftedTypeKind, openTypeKind, -- :: KX
+ mkArrowKind, mkArrowKinds, -- :: KX -> KX -> KX
+ isTypeKind, isAnyTypeKind,
+ funTyCon,
+
+ usageKindCon, -- :: KX
+ usageTypeKind, -- :: KX
+ usOnceTyCon, usManyTyCon, -- :: $
+ usOnce, usMany, -- :: $
+
+ -- exports from this module:
+ hasMoreBoxityInfo, defaultKind,
+
+ mkTyVarTy, mkTyVarTys, getTyVar, getTyVar_maybe, isTyVarTy,
+
+ mkAppTy, mkAppTys, splitAppTy, splitAppTys, splitAppTy_maybe,
+
+ mkFunTy, mkFunTys, splitFunTy, splitFunTy_maybe, splitFunTys,
+ funResultTy, funArgTy, zipFunTys,
+
+ mkTyConApp, mkTyConTy,
+ tyConAppTyCon, tyConAppArgs,
+ splitTyConApp_maybe, splitTyConApp,
+
+ mkSynTy,
+
+ repType, splitRepFunTys, typePrimRep,
+
+ mkForAllTy, mkForAllTys, splitForAllTy_maybe, splitForAllTys,
+ applyTy, applyTys, isForAllTy,
+
+ -- Source types
+ SourceType(..), sourceTypeRep, mkPredTy, mkPredTys,
+
+ -- Newtypes
+ splitNewType_maybe,
+
+ -- Lifting and boxity
+ isUnLiftedType, isUnboxedTupleType, isAlgType, isStrictType, isPrimitiveType,
+
+ -- Free variables
+ tyVarsOfType, tyVarsOfTypes, tyVarsOfPred, tyVarsOfTheta,
+ typeKind, addFreeTyVars,
+
+ -- Tidying up for printing
+ tidyType, tidyTypes,
+ tidyOpenType, tidyOpenTypes,
+ tidyTyVarBndr, tidyFreeTyVars,
+ tidyOpenTyVar, tidyOpenTyVars,
+ tidyTopType, tidyPred,
+
+ -- Comparison
+ eqType, eqKind, eqUsage,
+
+ -- Seq
+ seqType, seqTypes
+