GHC.Rename.Splice

Documentation

rnTopSpliceDecls :: HsUntypedSplice GhcPs -> RnM ([LHsDecl GhcPs], FreeVars)

rnTypedSplice :: LHsExpr GhcPs -> RnM (HsExpr GhcRn, FreeVars)

rnSpliceType :: HsUntypedSplice GhcPs -> RnM (HsType GhcRn, FreeVars)

rnUntypedSpliceExpr :: HsUntypedSplice GhcPs -> RnM (HsExpr GhcRn, FreeVars)

rnSplicePat :: HsUntypedSplice GhcPs -> RnM ((HsUntypedSplice GhcRn, HsUntypedSpliceResult (LPat GhcPs)), FreeVars)

Rename a splice pattern. See Note [rnSplicePat]

rnSpliceTyPat :: HsUntypedSplice GhcPs -> RnM ((HsUntypedSplice GhcRn, HsUntypedSpliceResult (LHsType GhcPs)), FreeVars)

Rename a splice type pattern. Much the same as rnSplicePat, but works with LHsType instead of LPat

rnSpliceDecl :: SpliceDecl GhcPs -> RnM (SpliceDecl GhcRn, FreeVars)

rnTypedBracket :: HsExpr GhcPs -> LHsExpr GhcPs -> RnM (HsExpr GhcRn, FreeVars)

rnUntypedBracket :: HsExpr GhcPs -> HsQuote GhcPs -> RnM (HsExpr GhcRn, FreeVars)

checkThLocalName :: Name -> RnM ()

traceSplice :: SpliceInfo -> TcM ()

outputs splice information for 2 flags which have different output formats: `-ddump-splices` and `-dth-dec-file`

data SpliceInfo

The splice data to be logged

Constructors

SpliceInfo

Fields

• spliceDescription :: String
• spliceSource :: Maybe (LHsExpr GhcRn)
• spliceIsDecl :: Bool
• spliceGenerated :: SDoc

checkThLocalTyName :: Name -> RnM ()