aa73980e5a0e467f8f2b334c12f2f02503e7f24a
[ghc-hetmet.git] / compiler / typecheck / TcSplice.hi-boot-6
1 module TcSplice where
2
3 tcSpliceExpr :: HsExpr.HsSplice Name.Name
4              -> TcType.BoxyRhoType
5              -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)
6
7 kcSpliceType :: HsExpr.HsSplice Name.Name
8              -> TcRnTypes.TcM (HsTypes.HsType Name.Name, TcType.TcKind)
9
10 tcBracket :: HsExpr.HsBracket Name.Name 
11           -> TcType.BoxyRhoType
12           -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
13
14 tcSpliceDecls :: HsExpr.LHsExpr Name.Name
15               -> TcRnTypes.TcM [HsDecls.LHsDecl RdrName.RdrName]