Safe Haskell | None |
---|---|
Language | GHC2021 |
Documentation
TcLclEnv | |
|
Instances
Quasi TcM | |
Defined in GHC.Tc.Gen.Splice qNewName :: String -> TcM Name qReport :: Bool -> String -> TcM () qRecover :: TcM a -> TcM a -> TcM a qLookupName :: Bool -> String -> TcM (Maybe Name) 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] 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] | |
MonadThings (IOEnv (Env TcGblEnv TcLclEnv)) Source # | |
TcLclCtxt | |
|
getLclEnvThBndrs :: TcLclEnv -> ThBindEnv Source #
getLclEnvTypeEnv :: TcLclEnv -> TcTypeEnv Source #
getLclEnvErrCtxt :: TcLclEnv -> [ErrCtxt] Source #
getLclEnvLoc :: TcLclEnv -> RealSrcSpan Source #
getLclEnvTcLevel :: TcLclEnv -> TcLevel Source #
getLclEnvThStage :: TcLclEnv -> ThStage Source #
setLclEnvLoc :: RealSrcSpan -> TcLclEnv -> TcLclEnv Source #
setLclEnvRdrEnv :: LocalRdrEnv -> TcLclEnv -> TcLclEnv Source #
setLclEnvBinderStack :: TcBinderStack -> TcLclEnv -> TcLclEnv Source #
lclEnvInGeneratedCode :: TcLclEnv -> Bool Source #