ghc-7.8.4: The GHC API

Safe Haskell | None
Language | Haskell98

TcHsSyn

# Documentation

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 -> NameSet -> [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])

emptyZonkEnv :: ZonkEnv

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnv

mkTyVarZonkEnv :: [TyVar] -> ZonkEnv

zonkTcTypeToType :: ZonkEnv -> TcType -> TcM Type

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

zonkTyVarOcc :: ZonkEnv -> TyVar -> TcM TcType