TcHsSyn

Contents

• Validity checking

Synopsis

• mkHsConApp :: DataCon -> [Type] -> [HsExpr Id] -> LHsExpr Id
• mkHsDictLet :: TcEvBinds -> LHsExpr Id -> LHsExpr Id
• mkHsApp :: LHsExpr name -> LHsExpr name -> LHsExpr name
• hsLitType :: HsLit -> TcType
• hsLPatType :: OutPat Id -> Type
• hsPatType :: Pat Id -> Type
• mkHsAppTy :: LHsType name -> LHsType name -> LHsType name
• mkSimpleHsAlt :: LPat id -> Located (body id) -> LMatch id (Located (body id))
• nlHsIntLit :: Integer -> LHsExpr id
• shortCutLit :: DynFlags -> OverLitVal -> TcType -> Maybe (HsExpr TcId)
• hsOverLitName :: OverLitVal -> Name
• conLikeResTy :: ConLike -> [Type] -> Type
• type TcId = Id
• type TcIdSet = IdSet
• zonkTopDecls :: Bag EvBind -> LHsBinds TcId -> [LRuleDecl TcId] -> [LVectDecl TcId] -> [LTcSpecPrag] -> [LForeignDecl TcId] -> TcM ([Id], Bag EvBind, LHsBinds Id, [LForeignDecl Id], [LTcSpecPrag], [LRuleDecl Id], [LVectDecl Id])
• zonkTopExpr :: HsExpr TcId -> TcM (HsExpr Id)
• zonkTopLExpr :: LHsExpr TcId -> TcM (LHsExpr Id)
• zonkTopBndrs :: [TcId] -> TcM [Id]
• zonkTyBndrsX :: ZonkEnv -> [TyVar] -> TcM (ZonkEnv, [TyVar])
• zonkTyBinders :: ZonkEnv -> [TcTyBinder] -> TcM (ZonkEnv, [TyBinder])
• emptyZonkEnv :: ZonkEnv
• mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnv
• zonkTcTypeToType :: ZonkEnv -> TcType -> TcM Type
• zonkTcTypeToTypes :: ZonkEnv -> [TcType] -> TcM [Type]
• zonkTyVarOcc :: ZonkEnv -> TyVar -> TcM TcType
• zonkCoToCo :: ZonkEnv -> Coercion -> TcM Coercion
• zonkTcKindToKind :: [TcTyBinder] -> TcKind -> TcM ([TyBinder], Kind)
• zonkEvBinds :: ZonkEnv -> Bag EvBind -> TcM (ZonkEnv, Bag EvBind)
• checkForRepresentationPolymorphism :: SDoc -> Type -> TcM ()

Documentation

Validity checking