TcRnMonad

Contents

• Initalisation
• Simple accessors
• Arrow scopes
• Unique supply
• Accessing input/output
• Debugging
• Typechecker global environment
• Error management
• Shared error message stuff: renamer and typechecker
• Context management for the type checker
• Error message generation (type checker)
• Type constraints
• Template Haskell context
• Safe Haskell context
• Stuff for the renamer's local env
• Stuff for interface decls
• Types etc.
• Orphan instances

Synopsis

• initTc :: HscEnv -> HscSource -> Bool -> Module -> RealSrcSpan -> TcM r -> IO (Messages, Maybe r)
• initTcInteractive :: HscEnv -> TcM a -> IO (Messages, Maybe a)
• initTcForLookup :: HscEnv -> TcM a -> IO a
• initTcRnIf :: Char -> HscEnv -> gbl -> lcl -> TcRnIf gbl lcl a -> IO a
• discardResult :: TcM a -> TcM ()
• getTopEnv :: TcRnIf gbl lcl HscEnv
• updTopEnv :: (HscEnv -> HscEnv) -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• getGblEnv :: TcRnIf gbl lcl gbl
• updGblEnv :: (gbl -> gbl) -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• setGblEnv :: gbl -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• getLclEnv :: TcRnIf gbl lcl lcl
• updLclEnv :: (lcl -> lcl) -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• setLclEnv :: lcl' -> TcRnIf gbl lcl' a -> TcRnIf gbl lcl a
• getEnvs :: TcRnIf gbl lcl (gbl, lcl)
• setEnvs :: (gbl', lcl') -> TcRnIf gbl' lcl' a -> TcRnIf gbl lcl a
• xoptM :: Extension -> TcRnIf gbl lcl Bool
• doptM :: DumpFlag -> TcRnIf gbl lcl Bool
• goptM :: GeneralFlag -> TcRnIf gbl lcl Bool
• woptM :: WarningFlag -> TcRnIf gbl lcl Bool
• setXOptM :: Extension -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• unsetXOptM :: Extension -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• unsetGOptM :: GeneralFlag -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• unsetWOptM :: WarningFlag -> TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• whenDOptM :: DumpFlag -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
• whenGOptM :: GeneralFlag -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
• whenWOptM :: WarningFlag -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
• whenXOptM :: Extension -> TcRnIf gbl lcl () -> TcRnIf gbl lcl ()
• getGhcMode :: TcRnIf gbl lcl GhcMode
• withDoDynamicToo :: TcRnIf gbl lcl a -> TcRnIf gbl lcl a
• getEpsVar :: TcRnIf gbl lcl (TcRef ExternalPackageState)
• getEps :: TcRnIf gbl lcl ExternalPackageState
• updateEps :: (ExternalPackageState -> (ExternalPackageState, a)) -> TcRnIf gbl lcl a
• updateEps_ :: (ExternalPackageState -> ExternalPackageState) -> TcRnIf gbl lcl ()
• getHpt :: TcRnIf gbl lcl HomePackageTable
• getEpsAndHpt :: TcRnIf gbl lcl (ExternalPackageState, HomePackageTable)
• newArrowScope :: TcM a -> TcM a
• escapeArrowScope :: TcM a -> TcM a
• newUnique :: TcRnIf gbl lcl Unique
• newUniqueSupply :: TcRnIf gbl lcl UniqSupply
• newLocalName :: Name -> TcM Name
• newName :: OccName -> TcM Name
• newSysName :: OccName -> TcRnIf gbl lcl Name
• newSysLocalId :: FastString -> TcType -> TcRnIf gbl lcl TcId
• newSysLocalIds :: FastString -> [TcType] -> TcRnIf gbl lcl [TcId]
• newTcRef :: a -> TcRnIf gbl lcl (TcRef a)
• readTcRef :: TcRef a -> TcRnIf gbl lcl a
• writeTcRef :: TcRef a -> a -> TcRnIf gbl lcl ()
• updTcRef :: TcRef a -> (a -> a) -> TcRnIf gbl lcl ()
• traceTc :: String -> SDoc -> TcRn ()
• traceRn :: SDoc -> TcRn ()
• traceOptTcRn :: DumpFlag -> SDoc -> TcRn ()
• traceTcRn :: DumpFlag -> SDoc -> TcRn ()
• getPrintUnqualified :: DynFlags -> TcRn PrintUnqualified
• printForUserTcRn :: SDoc -> TcRn ()
• debugDumpTcRn :: SDoc -> TcRn ()
• traceIf :: SDoc -> TcRnIf m n ()
• traceHiDiffs :: SDoc -> TcRnIf m n ()
• traceOptIf :: DumpFlag -> SDoc -> TcRnIf m n ()
• debugTc :: TcM () -> TcM ()
• setModule :: Module -> TcRn a -> TcRn a
• getIsGHCi :: TcRn Bool
• getGHCiMonad :: TcRn Name
• getInteractivePrintName :: TcRn Name
• tcIsHsBootOrSig :: TcRn Bool
• tcSelfBootInfo :: TcRn SelfBootInfo
• getGlobalRdrEnv :: TcRn GlobalRdrEnv
• getRdrEnvs :: TcRn (GlobalRdrEnv, LocalRdrEnv)
• getImports :: TcRn ImportAvails
• getFixityEnv :: TcRn FixityEnv
• extendFixityEnv :: [(Name, FixItem)] -> RnM a -> RnM a
• getRecFieldEnv :: TcRn RecFieldEnv
• getDeclaredDefaultTys :: TcRn (Maybe [Type])
• addDependentFiles :: [FilePath] -> TcRn ()
• getSrcSpanM :: TcRn SrcSpan
• setSrcSpan :: SrcSpan -> TcRn a -> TcRn a
• addLocM :: (a -> TcM b) -> Located a -> TcM b
• wrapLocM :: (a -> TcM b) -> Located a -> TcM (Located b)
• wrapLocFstM :: (a -> TcM (b, c)) -> Located a -> TcM (Located b, c)
• wrapLocSndM :: (a -> TcM (b, c)) -> Located a -> TcM (b, Located c)
• getErrsVar :: TcRn (TcRef Messages)
• setErrsVar :: TcRef Messages -> TcRn a -> TcRn a
• addErr :: MsgDoc -> TcRn ()
• failWith :: MsgDoc -> TcRn a
• failAt :: SrcSpan -> MsgDoc -> TcRn a
• addErrAt :: SrcSpan -> MsgDoc -> TcRn ()
• addErrs :: [(SrcSpan, MsgDoc)] -> TcRn ()
• checkErr :: Bool -> MsgDoc -> TcRn ()
• addMessages :: Messages -> TcRn ()
• discardWarnings :: TcRn a -> TcRn a
• mkLongErrAt :: SrcSpan -> MsgDoc -> MsgDoc -> TcRn ErrMsg
• mkErrDocAt :: SrcSpan -> ErrDoc -> TcRn ErrMsg
• addLongErrAt :: SrcSpan -> MsgDoc -> MsgDoc -> TcRn ()
• reportErrors :: [ErrMsg] -> TcM ()
• reportError :: ErrMsg -> TcRn ()
• reportWarning :: WarnReason -> ErrMsg -> TcRn ()
• recoverM :: TcRn r -> TcRn r -> TcRn r
• mapAndRecoverM :: (a -> TcRn b) -> [a] -> TcRn [b]
• mapAndReportM :: (a -> TcRn b) -> [a] -> TcRn [b]
• tryTc :: TcRn a -> TcRn (Messages, Maybe a)
• askNoErrs :: TcRn a -> TcRn (a, Bool)
• discardErrs :: TcRn a -> TcRn a
• tryTcErrs :: TcRn a -> TcRn (Messages, Maybe a)
• tryTcLIE_ :: TcM r -> TcM r -> TcM r
• checkNoErrs :: TcM r -> TcM r
• whenNoErrs :: TcM () -> TcM ()
• ifErrsM :: TcRn r -> TcRn r -> TcRn r
• failIfErrsM :: TcRn ()
• checkTH :: a -> String -> TcRn ()
• failTH :: Outputable a => a -> String -> TcRn x
• getErrCtxt :: TcM [ErrCtxt]
• setErrCtxt :: [ErrCtxt] -> TcM a -> TcM a
• addErrCtxt :: MsgDoc -> TcM a -> TcM a
• addErrCtxtM :: (TidyEnv -> TcM (TidyEnv, MsgDoc)) -> TcM a -> TcM a
• addLandmarkErrCtxt :: MsgDoc -> TcM a -> TcM a
• addLandmarkErrCtxtM :: (TidyEnv -> TcM (TidyEnv, MsgDoc)) -> TcM a -> TcM a
• updCtxt :: ([ErrCtxt] -> [ErrCtxt]) -> TcM a -> TcM a
• popErrCtxt :: TcM a -> TcM a
• getCtLocM :: CtOrigin -> Maybe TypeOrKind -> TcM CtLoc
• setCtLocM :: CtLoc -> TcM a -> TcM a
• addErrTc :: MsgDoc -> TcM ()
• addErrsTc :: [MsgDoc] -> TcM ()
• addErrTcM :: (TidyEnv, MsgDoc) -> TcM ()
• mkErrTcM :: (TidyEnv, MsgDoc) -> TcM ErrMsg
• failWithTc :: MsgDoc -> TcM a
• failWithTcM :: (TidyEnv, MsgDoc) -> TcM a
• checkTc :: Bool -> MsgDoc -> TcM ()
• checkTcM :: Bool -> (TidyEnv, MsgDoc) -> TcM ()
• failIfTc :: Bool -> MsgDoc -> TcM ()
• failIfTcM :: Bool -> (TidyEnv, MsgDoc) -> TcM ()
• warnIf :: WarnReason -> Bool -> MsgDoc -> TcRn ()
• warnTc :: WarnReason -> Bool -> MsgDoc -> TcM ()
• warnTcM :: WarnReason -> Bool -> (TidyEnv, MsgDoc) -> TcM ()
• addWarnTc :: WarnReason -> MsgDoc -> TcM ()
• addWarnTcM :: WarnReason -> (TidyEnv, MsgDoc) -> TcM ()
• addWarn :: WarnReason -> MsgDoc -> TcRn ()
• addWarnAt :: WarnReason -> SrcSpan -> MsgDoc -> TcRn ()
• add_warn :: WarnReason -> MsgDoc -> MsgDoc -> TcRn ()
• tcInitTidyEnv :: TcM TidyEnv
• tcInitOpenTidyEnv :: [TyCoVar] -> TcM TidyEnv
• mkErrInfo :: TidyEnv -> [ErrCtxt] -> TcM SDoc
• newTcEvBinds :: TcM EvBindsVar
• addTcEvBind :: EvBindsVar -> EvBind -> TcM ()
• getTcEvBinds :: EvBindsVar -> TcM (Bag EvBind)
• getTcEvBindsMap :: EvBindsVar -> TcM EvBindMap
• chooseUniqueOccTc :: (OccSet -> OccName) -> TcM OccName
• getConstraintVar :: TcM (TcRef WantedConstraints)
• setConstraintVar :: TcRef WantedConstraints -> TcM a -> TcM a
• emitConstraints :: WantedConstraints -> TcM ()
• emitSimple :: Ct -> TcM ()
• emitSimples :: Cts -> TcM ()
• emitImplication :: Implication -> TcM ()
• emitImplications :: Bag Implication -> TcM ()
• emitInsoluble :: Ct -> TcM ()
• discardConstraints :: TcM a -> TcM a
• captureConstraints :: TcM a -> TcM (a, WantedConstraints)
• captureTopConstraints :: TcM a -> TcM (a, WantedConstraints)
• pushLevelAndCaptureConstraints :: TcM a -> TcM (TcLevel, WantedConstraints, a)
• pushTcLevelM_ :: TcM a -> TcM a
• pushTcLevelM :: TcM a -> TcM (a, TcLevel)
• getTcLevel :: TcM TcLevel
• setTcLevel :: TcLevel -> TcM a -> TcM a
• isTouchableTcM :: TcTyVar -> TcM Bool
• getLclTypeEnv :: TcM TcTypeEnv
• setLclTypeEnv :: TcLclEnv -> TcM a -> TcM a
• traceTcConstraints :: String -> TcM ()
• emitWildCardHoleConstraints :: [(Name, TcTyVar)] -> TcM ()
• recordThUse :: TcM ()
• recordThSpliceUse :: TcM ()
• recordTopLevelSpliceLoc :: SrcSpan -> TcM ()
• getTopLevelSpliceLocs :: TcM (Set RealSrcSpan)
• keepAlive :: Name -> TcRn ()
• getStage :: TcM ThStage
• getStageAndBindLevel :: Name -> TcRn (Maybe (TopLevelFlag, ThLevel, ThStage))
• setStage :: ThStage -> TcM a -> TcRn a
• addModFinalizersWithLclEnv :: ThModFinalizers -> TcM ()
• recordUnsafeInfer :: WarningMessages -> TcM ()
• finalSafeMode :: DynFlags -> TcGblEnv -> IO SafeHaskellMode
• fixSafeInstances :: SafeHaskellMode -> [ClsInst] -> [ClsInst]
• getLocalRdrEnv :: RnM LocalRdrEnv
• setLocalRdrEnv :: LocalRdrEnv -> RnM a -> RnM a
• mkIfLclEnv :: Module -> SDoc -> IfLclEnv
• initIfaceTcRn :: IfG a -> TcRn a
• initIfaceCheck :: HscEnv -> IfG a -> IO a
• initIfaceTc :: ModIface -> (TcRef TypeEnv -> IfL a) -> TcRnIf gbl lcl a
• initIfaceLcl :: Module -> SDoc -> IfL a -> IfM lcl a
• getIfModule :: IfL Module
• failIfM :: MsgDoc -> IfL a
• forkM_maybe :: SDoc -> IfL a -> IfL (Maybe a)
• forkM :: SDoc -> IfL a -> IfL a
• module TcRnTypes
• module IOEnv

Initalisation

Simple accessors

Arrow scopes

Unique supply

Accessing input/output

Debugging

Typechecker global environment

Error management

Shared error message stuff: renamer and typechecker

Context management for the type checker

Error message generation (type checker)

Type constraints

Template Haskell context

Safe Haskell context

Stuff for the renamer's local env

Stuff for interface decls

Types etc.

Orphan instances