Documentation

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

mkHsDictLet :: TcEvBinds -> LHsExpr Id -> LHsExpr IdSource

mkHsApp :: LHsExpr name -> LHsExpr name -> LHsExpr nameSource

hsLitType :: HsLit -> TcTypeSource

hsLPatType :: OutPat Id -> TypeSource

hsPatType :: Pat Id -> TypeSource

mkHsAppTy :: LHsType name -> LHsType name -> LHsType nameSource

mkSimpleHsAlt :: LPat id -> LHsExpr id -> LMatch idSource

nlHsIntLit :: Integer -> LHsExpr idSource

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

hsOverLitName :: OverLitVal -> NameSource

type TcId = IdSource

type TcIdSet = IdSetSource

zonkTopDecls :: Bag EvBind -> LHsBinds TcId -> NameSet -> [LRuleDecl TcId] -> [LVectDecl TcId] -> [LTcSpecPrag] -> [LForeignDecl TcId] -> TcM ([Id], Bag EvBind, Bag (LHsBind 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 :: ZonkEnvSource

mkEmptyZonkEnv :: UnboundTyVarZonker -> ZonkEnvSource

mkTyVarZonkEnv :: [TyVar] -> ZonkEnvSource

zonkTcTypeToType :: ZonkEnv -> TcType -> TcM TypeSource

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

zonkTyVarOcc :: ZonkEnv -> TyVar -> TcM TcTypeSource