Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Utils.Env

Synopsis

data TyThing
data TcTyThing
type TcId
data InstInfo
value iDFunId
value pprInstInfoDetails
value simpleInstInfoClsTy
value simpleInstInfoTy
value simpleInstInfoTyCon
data InstBindings
value tcExtendGlobalEnv
value tcExtendTyConEnv
value tcExtendGlobalEnvImplicit
value setGlobalTypeEnv
value tcExtendGlobalValEnv
value tcTyThBinders
value tcLookupLocatedGlobal
value tcLookupGlobal
value tcLookupGlobalOnly
value tcLookupTyCon
value tcLookupClass
value tcLookupDataCon
value tcLookupPatSyn
value tcLookupConLike
value tcLookupRecSelParent
value tcLookupLocatedGlobalId
value tcLookupLocatedTyCon
value tcLookupLocatedClass
value tcLookupAxiom
value lookupGlobal
value lookupGlobal_maybe
value addTypecheckedBinds
value addEvBinds
value addTopEvBinds
value failIllegalTyCon
value failIllegalTyVar
value tcExtendKindEnv
value tcExtendKindEnvList
value tcExtendTyVarEnv
value tcExtendNameTyVarEnv
value tcExtendLetEnv
value tcExtendSigIds
value tcExtendRecIds
value tcExtendIdEnv
value tcExtendIdEnv1
value tcExtendIdEnv2
value tcExtendBinderStack
value tcExtendLocalTypeEnv
value isTypeClosedLetBndr
value tcLookup
value tcLookupLocated
value tcLookupLocalIds
value tcLookupId
value tcLookupIdMaybe
value tcLookupTyVar
value tcLookupTcTyCon
value tcLookupLcl_maybe
value getInLocalScope
value wrongThingErr
value pprBinders
value tcAddDataFamConPlaceholders
value tcAddPatSynPlaceholders
value tcAddKindSigPlaceholders
value getTypeSigNames
value tcExtendRecEnv
value tcLookupInstance
value tcGetInstEnvs
value tcExtendRules
value tcGetDefaultTys
data LevelCheckReason
value tcMetaTy
value thLevelIndex
value isBrackLevel
value newDFunName
value newFamInstTyConName
value newFamInstAxiomName
value mkStableIdFromString
value mkStableIdFromName
value mkWrapperName
value tcGetClsDefaults

Packageghc-10.0.0.20260917
Exports80
LanguageGHC2024
LicenceBSD-3-Clause
SourceTyThing.hs

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-10.0.0.20260917 · GHC.Types.TyThing
Outputable TyThingDefined in ghc-10.0.0.20260917 · GHC.Types.TyThing

datadata TcTyThing

Source#

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-10.0.0.20260917 · 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-10.0.0.20260917 · 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 :: WithUserRdr 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

valueaddEvBinds :: TcGblEnv -> Bag EvBind -> TcGblEnv

valueaddTopEvBinds :: Bag EvBind -> TcM a -> TcM a

valuefailIllegalTyCon :: WhatLooking -> WithUserRdr Name -> TcM a

valuefailIllegalTyVar :: WithUserRdr 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
-> ClosedTypeId
-> [Scaled TcId]
-> TcM a
-> TcM a

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 (DefaultEnv, Bool)

datadata LevelCheckReason

Constructors

LevelCheckInstance !InstanceWhat !PredType
LevelCheckSplice !(WithUserRdr GlobalRdrElt)

valuetcMetaTy :: Name -> TcM Type

valuethLevelIndex :: ThLevel -> ThLevelIndex

valueisBrackLevel :: ThLevel -> Bool

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

Source#

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

Source#

mkWrapperName ref what nameBase

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

valuetcGetClsDefaults :: [Module] -> TcM [DefaultEnv]

Source#

Get the default types for classes explicitly not combined to be use for reportClashingDefaultImports

Orphan instances

1 instance

MonadThings (IOEnv (Env TcGblEnv TcLclEnv))