Documentation

mkHsConApp :: DataCon -> [Type] -> [HsExpr Id] -> LHsExpr Id Source

mkHsDictLet :: TcEvBinds -> LHsExpr Id -> LHsExpr Id Source

mkHsApp :: LHsExpr name -> LHsExpr name -> LHsExpr name Source

hsLitType :: HsLit -> TcType Source

hsLPatType :: OutPat Id -> Type Source

hsPatType :: Pat Id -> Type Source

mkHsAppTy :: LHsType name -> LHsType name -> LHsType name Source

mkSimpleHsAlt :: LPat id -> Located (body id) -> LMatch id (Located (body id)) Source

nlHsIntLit :: Integer -> LHsExpr id Source

shortCutLit :: DynFlags -> OverLitVal -> TcType -> Maybe (HsExpr TcId) Source

hsOverLitName :: OverLitVal -> Name Source

conLikeResTy :: ConLike -> [Type] -> Type Source

type TcId = Id Source

type TcIdSet = IdSet Source

zonkTopDecls :: Bag EvBind -> LHsBinds TcId -> Bag OccName -> NameSet -> [LRuleDecl TcId] -> [LVectDecl TcId] -> [LTcSpecPrag] -> [LForeignDecl TcId] -> TcM ([Id], Bag EvBind, LHsBinds Id, [LForeignDecl Id], [LTcSpecPrag], [LRuleDecl Id], [LVectDecl Id]) Source

zonkTopExpr :: HsExpr TcId -> TcM (HsExpr Id) Source

zonkTopLExpr :: LHsExpr TcId -> TcM (LHsExpr Id) Source

zonkTopBndrs :: [TcId] -> TcM [Id] Source

zonkTyBndrsX :: ZonkEnv -> [TyVar] -> TcM (ZonkEnv, [TyVar]) Source

emptyZonkEnv :: ZonkEnv Source

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnv Source

mkTyVarZonkEnv :: [TyVar] -> ZonkEnv Source

zonkTcTypeToType :: ZonkEnv -> TcType -> TcM Type Source

zonkTcTypeToTypes :: ZonkEnv -> [TcType] -> TcM [Type] Source

zonkTyVarOcc :: ZonkEnv -> TyVar -> TcM TcType Source