Documentation

kcSpliceType :: HsSplice Name -> FreeVars -> TcM (HsType Name, TcKind)Source

tcSpliceExpr :: HsSplice Name -> TcRhoType -> TcM (HsExpr TcId)Source

tcSpliceDecls :: LHsExpr Name -> TcM [LHsDecl RdrName]Source

tcBracket :: HsBracket Name -> TcRhoType -> TcM (LHsExpr TcId)Source

lookupThName_maybe :: Name -> TcM (Maybe Name)Source

runQuasiQuoteExpr :: HsQuasiQuote RdrName -> RnM (LHsExpr RdrName)Source

runQuasiQuotePat :: HsQuasiQuote RdrName -> RnM (LPat RdrName)Source

runQuasiQuoteDecl :: HsQuasiQuote RdrName -> RnM [LHsDecl RdrName]Source

runQuasiQuoteType :: HsQuasiQuote RdrName -> RnM (LHsType RdrName)Source

runAnnotation :: CoreAnnTarget -> LHsExpr Name -> TcM AnnotationSource