5f28493de4a1e4277670eb1acd91a04fb272e81f
[ghc-hetmet.git] / ghc / compiler / typecheck / TcSplice.hi-boot-6
1 module TcSplice where
2
3 tcSpliceExpr :: HsExpr.HsSplice Name.Name
4              -> TcType.Expected TcType.TcType
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.Expected TcType.TcType
12           -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
13
14 tcSpliceDecls :: HsExpr.LHsExpr Name.Name
15               -> TcRnTypes.TcM [HsDecls.LHsDecl RdrName.RdrName]