TcHsSyn

Documentation

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

mkHsDictLet :: LHsBinds Id -> 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 -> LHsExpr id -> LMatch id

nlHsIntLit :: Integer -> LHsExpr id

mkVanillaTuplePat :: [OutPat Id] -> Boxity -> Pat Id

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

hsOverLitName :: OverLitVal -> Name

mkArbitraryType :: (SrcSpan -> SDoc -> TcRnIf g l a) -> TcTyVar -> TcRnIf g l Type

type TcId = Id

type TcIdSet = IdSet

type TcDictBinds = DictBinds TcId

zonkTopDecls :: LHsBinds TcId -> [LRuleDecl TcId] -> [LForeignDecl TcId] -> TcM ([Id], Bag (LHsBind Id), [LForeignDecl Id], [LRuleDecl Id])

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

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

zonkId :: TcId -> TcM TcId

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

Produced by Haddock version 2.3.0