GHC.Tc.Utils.Env · ghc-9.10.3

datadata TyThing

A global typecheckable-thing, essentially anything that has a name. Not to be confused with a TcTyThing, which is also a typecheckable thing but in the *local* context. See GHC.Tc.Utils.Env for how to retrieve a TyThing given a Name.

Constructors

Instances2NamedThing, Outputable

NamedThing TyThingDefined in ghc-9.10.3 · GHC.Types.TyThing
Outputable TyThingDefined in ghc-9.10.3 · GHC.Types.TyThing

datadata TcTyThing

#

A typecheckable thing available in a local context. Could be AGlobal TyThing, but also lexically scoped variables, etc. See GHC.Tc.Utils.Env for how to retrieve a TyThing given a Name.

Constructors

AGlobal TyThing
ATcId
- tct_id :: Id
- tct_info :: IdBindingInfo
ATyVar Name TcTyVar
ATcTyCon TyCon
APromotionErr PromotionErr

Instances1Outputable

Outputable TcTyThingDefined in ghc-9.10.3 · GHC.Tc.Types.BasicTypes

typetype TcId = Id

#

datadata InstInfo a

#

Constructors

InstInfo
- iSpec :: ClsInst
- iBinds :: InstBindings a

Instances1Outputable

OutputableBndrId a => Outputable (InstInfo (GhcPass a))Defined in ghc-9.10.3 · GHC.Tc.Utils.Env

valueiDFunId :: InstInfo a -> DFunId

#

valuepprInstInfoDetails :: OutputableBndrId a => InstInfo (GhcPass a) -> SDoc

#

valuesimpleInstInfoClsTy :: InstInfo a -> (Class, Type)

#

valuesimpleInstInfoTy :: InstInfo a -> Type

#

valuesimpleInstInfoTyCon :: InstInfo a -> TyCon

#

datadata InstBindings a

#

Constructors

InstBindings
- ib_tyvars :: [Name]
- ib_binds :: LHsBinds a
- ib_pragmas :: [LSig a]
- ib_extensions :: [Extension]
- ib_derived :: Bool

valuetcExtendGlobalEnv :: [TyThing] -> TcM r -> TcM r

#

valuetcExtendTyConEnv :: [TyCon] -> TcM r -> TcM r

#

valuetcExtendGlobalEnvImplicit :: [TyThing] -> TcM r -> TcM r

#

valuesetGlobalTypeEnv :: TcGblEnv -> TypeEnv -> TcM TcGblEnv

#

valuetcExtendGlobalValEnv :: [Id] -> TcM a -> TcM a

#

valuetcTyThBinders :: [TyThing] -> TcM ThBindEnv

#

valuetcLookupLocatedGlobal :: LocatedA Name -> TcM TyThing

#

valuetcLookupGlobal :: Name -> TcM TyThing

#

valuetcLookupGlobalOnly :: Name -> TcM TyThing

#

valuetcLookupTyCon :: Name -> TcM TyCon

#

valuetcLookupClass :: Name -> TcM Class

#

valuetcLookupDataCon :: Name -> TcM DataCon

#

valuetcLookupPatSyn :: Name -> TcM PatSyn

#

valuetcLookupConLike :: Name -> TcM ConLike

#

valuetcLookupRecSelParent :: HsRecUpdParent GhcRn -> TcM RecSelParent

#

valuetcLookupLocatedGlobalId :: LocatedA Name -> TcM Id

#

valuetcLookupLocatedTyCon :: LocatedN Name -> TcM TyCon

#

valuetcLookupLocatedClass :: LocatedA Name -> TcM Class

#

valuetcLookupAxiom :: Name -> TcM (CoAxiom Branched)

#

valuelookupGlobal :: HscEnv -> Name -> IO TyThing

#

valuelookupGlobal_maybe

:: HscEnv
-> Name
-> IO (MaybeErr (Either Name IfaceMessage) TyThing)

#

valueaddTypecheckedBinds :: TcGblEnv -> [LHsBinds GhcTc] -> TcGblEnv

#

valuefailIllegalTyCon :: WhatLooking -> Name -> TcM a

#

valuefailIllegalTyVal :: Name -> TcM a

#

valuetcExtendKindEnv :: NameEnv TcTyThing -> TcM r -> TcM r

#

valuetcExtendKindEnvList :: [(Name, TcTyThing)] -> TcM r -> TcM r

#

valuetcExtendTyVarEnv :: [TyVar] -> TcM r -> TcM r

#

valuetcExtendNameTyVarEnv :: [(Name, TcTyVar)] -> TcM r -> TcM r

#

valuetcExtendLetEnv

:: TopLevelFlag
-> TcSigFun
-> IsGroupClosed
-> [Scaled TcId]
-> TcM a
-> TcM (a, HsWrapper)

#

valuetcExtendSigIds :: TopLevelFlag -> [TcId] -> TcM a -> TcM a

#

valuetcExtendRecIds :: [(Name, TcId)] -> TcM a -> TcM a

#

valuetcExtendIdEnv :: [TcId] -> TcM a -> TcM a

#

valuetcExtendIdEnv1 :: Name -> TcId -> TcM a -> TcM a

#

valuetcExtendIdEnv2 :: [(Name, TcId)] -> TcM a -> TcM a

#

valuetcExtendBinderStack :: [TcBinder] -> TcM a -> TcM a

#

valuetcExtendLocalTypeEnv :: [(Name, TcTyThing)] -> TcLclCtxt -> TcLclCtxt

#

valueisTypeClosedLetBndr :: Id -> Bool

#

valuetcLookup :: Name -> TcM TcTyThing

#

valuetcLookupLocated :: LocatedA Name -> TcM TcTyThing

#

valuetcLookupLocalIds :: [Name] -> TcM [TcId]

#

valuetcLookupId :: Name -> TcM Id

#

valuetcLookupIdMaybe :: Name -> TcM (Maybe Id)

#

valuetcLookupTyVar :: Name -> TcM TcTyVar

#

valuetcLookupTcTyCon :: HasDebugCallStack => Name -> TcM TcTyCon

#

valuetcLookupLcl_maybe :: Name -> TcM (Maybe TcTyThing)

#

valuegetInLocalScope :: TcM (Name -> Bool)

#

valuewrongThingErr :: WrongThingSort -> TcTyThing -> Name -> TcM a

#

valuepprBinders :: [Name] -> SDoc

#

valuetcAddDataFamConPlaceholders :: [LInstDecl GhcRn] -> TcM a -> TcM a

#

valuetcAddPatSynPlaceholders :: [PatSynBind GhcRn GhcRn] -> TcM a -> TcM a

#

valuetcAddKindSigPlaceholders :: LHsKind GhcRn -> TcM a -> TcM a

#

valuegetTypeSigNames :: [LSig GhcRn] -> NameSet

#

valuetcExtendRecEnv :: [(Name, TyThing)] -> TcM r -> TcM r

#

valuetcLookupInstance :: Class -> [Type] -> TcM ClsInst

#

valuetcGetInstEnvs :: TcM InstEnvs

#

valuetcExtendRules :: [LRuleDecl GhcTc] -> TcM a -> TcM a

#

valuetcGetDefaultTys :: TcM ([Type], (Bool, Bool))

#

datadata StageCheckReason

#

Constructors

StageCheckInstance !InstanceWhat !PredType
StageCheckSplice !Name

valuecheckWellStaged :: StageCheckReason -> ThLevel -> ThLevel -> TcM ()

#

valuetcMetaTy :: Name -> TcM Type

#

valuethLevel :: ThStage -> ThLevel

#

valuetopIdLvl :: Id -> ThLevel

#

valueisBrackStage :: ThStage -> Bool

#

valuenewDFunName :: Class -> [Type] -> SrcSpan -> TcM Name

#

Make a name for the dict fun for an instance decl. It's an *external* name, like other top-level names, and hence must be made with newGlobalBinder.

valuenewFamInstTyConName :: LocatedN Name -> [Type] -> TcM Name

#

valuenewFamInstAxiomName :: LocatedN Name -> [[Type]] -> TcM Name

#

valuemkStableIdFromString

:: String
-> Type
-> SrcSpan
-> OccName -> OccName
-> TcM TcId

#

valuemkStableIdFromName

:: Name
-> Type
-> SrcSpan
-> OccName -> OccName
-> TcM TcId

#

valuemkWrapperName

:: (MonadIO m, HasModule m)
=> IORef (ModuleEnv Int)
-> String
-> String
-> m FastString

#

mkWrapperName ref what nameBase

See Note [Generating fresh names for FFI wrappers] for ref's purpose.

Constructors

Constructors

Constructors

Constructors

Constructors

Orphan instances