blob: db4884e35472655c6e615175128fef3ec2f7da55 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
{-# LANGUAGE CPP #-}
module TcSplice where
import HsSyn ( HsSplice, HsBracket, HsExpr, LHsExpr )
import HsExpr ( PendingRnSplice )
import Name ( Name )
import TcRnTypes( TcM, TcId )
import TcType ( ExpRhoType )
import Annotations ( Annotation, CoreAnnTarget )
#ifdef GHCI
import HsSyn ( LHsType, LPat, LHsDecl )
import RdrName ( RdrName )
import TcRnTypes ( SpliceType )
import qualified Language.Haskell.TH as TH
#endif
tcSpliceExpr :: HsSplice Name
-> ExpRhoType
-> TcM (HsExpr TcId)
tcUntypedBracket :: HsBracket Name
-> [PendingRnSplice]
-> ExpRhoType
-> TcM (HsExpr TcId)
tcTypedBracket :: HsBracket Name
-> ExpRhoType
-> TcM (HsExpr TcId)
runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM Annotation
#ifdef GHCI
tcTopSpliceExpr :: SpliceType -> TcM (LHsExpr TcId) -> TcM (LHsExpr TcId)
runMetaE :: LHsExpr TcId -> TcM (LHsExpr RdrName)
runMetaP :: LHsExpr TcId -> TcM (LPat RdrName)
runMetaT :: LHsExpr TcId -> TcM (LHsType RdrName)
runMetaD :: LHsExpr TcId -> TcM [LHsDecl RdrName]
lookupThName_maybe :: TH.Name -> TcM (Maybe Name)
runQuasi :: TH.Q a -> TcM a
finishTH :: TcM ()
#endif
|