Documentation

Methods

qNewName :: String -> TcM Name

qReport :: Bool -> String -> TcM ()

qRecover :: TcM a -> TcM a -> TcM a

qLookupName :: Bool -> String -> TcM (Maybe Name)

qReify :: Name -> TcM Info

qReifyFixity :: Name -> TcM (Maybe Fixity)

qReifyType :: Name -> TcM Type

qReifyInstances :: Name -> [Type] -> TcM [Dec]

qReifyRoles :: Name -> TcM [Role]

qReifyAnnotations :: Data a => AnnLookup -> TcM [a]

qReifyModule :: Module -> TcM ModuleInfo

qReifyConStrictness :: Name -> TcM [DecidedStrictness]

qLocation :: TcM Loc

qRunIO :: IO a -> TcM a

qGetPackageRoot :: TcM FilePath

qAddDependentFile :: FilePath -> TcM ()

qAddTempFile :: String -> TcM FilePath

qAddTopDecls :: [Dec] -> TcM ()

qAddForeignFilePath :: ForeignSrcLang -> String -> TcM ()

qAddModFinalizer :: Q () -> TcM ()

qAddCorePlugin :: String -> TcM ()

qGetQ :: Typeable a => TcM (Maybe a)

qPutQ :: Typeable a => a -> TcM ()

qIsExtEnabled :: Extension -> TcM Bool

qExtsEnabled :: TcM [Extension]

qPutDoc :: DocLoc -> String -> TcM ()

qGetDoc :: DocLoc -> TcM (Maybe String)

Methods

lookupThing :: Name -> IOEnv (Env TcGblEnv TcLclEnv) TyThing Source #

lookupId :: Name -> IOEnv (Env TcGblEnv TcLclEnv) Id Source #

lookupDataCon :: Name -> IOEnv (Env TcGblEnv TcLclEnv) DataCon Source #

lookupTyCon :: Name -> IOEnv (Env TcGblEnv TcLclEnv) TyCon Source #