Safe Haskell | None |
---|---|
Language | Haskell98 |
- data TyThing
- data TcTyThing
- = AGlobal TyThing
- | ATcId {
- tct_id :: TcId
- tct_closed :: TopLevelFlag
- | ATyVar Name TcTyVar
- | AThing TcKind
- | APromotionErr PromotionErr
- type TcId = Id
- data InstInfo a = InstInfo {
- iSpec :: ClsInst
- iBinds :: InstBindings a
- iDFunId :: InstInfo a -> DFunId
- pprInstInfoDetails :: OutputableBndr a => InstInfo a -> SDoc
- simpleInstInfoClsTy :: InstInfo a -> (Class, Type)
- simpleInstInfoTy :: InstInfo a -> Type
- simpleInstInfoTyCon :: InstInfo a -> TyCon
- data InstBindings a = InstBindings {
- ib_binds :: LHsBinds a
- ib_pragmas :: [LSig a]
- ib_standalone_deriving :: Bool
- tcExtendGlobalEnv :: [TyThing] -> TcM r -> TcM r
- tcExtendGlobalEnvImplicit :: [TyThing] -> TcM r -> TcM r
- setGlobalTypeEnv :: TcGblEnv -> TypeEnv -> TcM TcGblEnv
- tcExtendGlobalValEnv :: [Id] -> TcM a -> TcM a
- tcLookupLocatedGlobal :: Located Name -> TcM TyThing
- tcLookupGlobal :: Name -> TcM TyThing
- tcLookupField :: Name -> TcM Id
- tcLookupTyCon :: Name -> TcM TyCon
- tcLookupClass :: Name -> TcM Class
- tcLookupDataCon :: Name -> TcM DataCon
- tcLookupConLike :: Name -> TcM ConLike
- tcLookupLocatedGlobalId :: Located Name -> TcM Id
- tcLookupLocatedTyCon :: Located Name -> TcM TyCon
- tcLookupLocatedClass :: Located Name -> TcM Class
- tcLookupInstance :: Class -> [Type] -> TcM ClsInst
- tcLookupAxiom :: Name -> TcM (CoAxiom Branched)
- tcExtendKindEnv :: [(Name, TcKind)] -> TcM r -> TcM r
- tcExtendKindEnv2 :: [(Name, TcTyThing)] -> TcM r -> TcM r
- tcExtendTyVarEnv :: [TyVar] -> TcM r -> TcM r
- tcExtendTyVarEnv2 :: [(Name, TcTyVar)] -> TcM r -> TcM r
- tcExtendLetEnv :: TopLevelFlag -> TopLevelFlag -> [TcId] -> TcM a -> TcM a
- tcExtendIdEnv :: [TcId] -> TcM a -> TcM a
- tcExtendIdEnv1 :: Name -> TcId -> TcM a -> TcM a
- tcExtendIdEnv2 :: [(Name, TcId)] -> TcM a -> TcM a
- tcExtendIdBndrs :: [TcIdBinder] -> TcM a -> TcM a
- tcExtendGhciIdEnv :: [TyThing] -> TcM a -> TcM a
- tcLookup :: Name -> TcM TcTyThing
- tcLookupLocated :: Located Name -> TcM TcTyThing
- tcLookupLocalIds :: [Name] -> TcM [TcId]
- tcLookupId :: Name -> TcM Id
- tcLookupTyVar :: Name -> TcM TcTyVar
- tcLookupLcl_maybe :: Name -> TcM (Maybe TcTyThing)
- getScopedTyVarBinds :: TcM [(Name, TcTyVar)]
- getInLocalScope :: TcM (Name -> Bool)
- wrongThingErr :: String -> TcTyThing -> Name -> TcM a
- pprBinders :: [Name] -> SDoc
- tcExtendRecEnv :: [(Name, TyThing)] -> TcM r -> TcM r
- tcExtendRules :: [LRuleDecl Id] -> TcM a -> TcM a
- tcGetDefaultTys :: TcM ([Type], (Bool, Bool))
- tcGetGlobalTyVars :: TcM TcTyVarSet
- zapLclTypeEnv :: TcM a -> TcM a
- checkWellStaged :: SDoc -> ThLevel -> ThLevel -> TcM ()
- tcMetaTy :: Name -> TcM Type
- thLevel :: ThStage -> ThLevel
- topIdLvl :: Id -> ThLevel
- isBrackStage :: ThStage -> Bool
- newLocalName :: Name -> TcM Name
- newDFunName :: Class -> [Type] -> SrcSpan -> TcM Name
- newFamInstTyConName :: Located Name -> [Type] -> TcM Name
- newFamInstAxiomName :: SrcSpan -> Name -> [CoAxBranch] -> TcM Name
- mkStableIdFromString :: String -> Type -> SrcSpan -> (OccName -> OccName) -> TcM TcId
- mkStableIdFromName :: Name -> Type -> SrcSpan -> (OccName -> OccName) -> TcM TcId
- mkWrapperName :: (MonadIO m, HasDynFlags m, HasModule m) => String -> String -> m FastString
Documentation
A typecheckable-thing, essentially anything that has a name
InstInfo | |
|
OutputableBndr a => Outputable (InstInfo a) |
pprInstInfoDetails :: OutputableBndr a => InstInfo a -> SDocSource
simpleInstInfoClsTy :: InstInfo a -> (Class, Type)Source
simpleInstInfoTy :: InstInfo a -> TypeSource
simpleInstInfoTyCon :: InstInfo a -> TyConSource
data InstBindings aSource
InstBindings | |
|
tcExtendGlobalEnv :: [TyThing] -> TcM r -> TcM rSource
tcExtendGlobalEnvImplicit :: [TyThing] -> TcM r -> TcM rSource
tcExtendGlobalValEnv :: [Id] -> TcM a -> TcM aSource
tcLookupGlobal :: Name -> TcM TyThingSource
tcLookupField :: Name -> TcM IdSource
tcLookupTyCon :: Name -> TcM TyConSource
tcLookupClass :: Name -> TcM ClassSource
tcLookupDataCon :: Name -> TcM DataConSource
tcLookupConLike :: Name -> TcM ConLikeSource
tcExtendTyVarEnv :: [TyVar] -> TcM r -> TcM rSource
tcExtendLetEnv :: TopLevelFlag -> TopLevelFlag -> [TcId] -> TcM a -> TcM aSource
tcExtendIdEnv :: [TcId] -> TcM a -> TcM aSource
tcExtendIdBndrs :: [TcIdBinder] -> TcM a -> TcM aSource
tcExtendGhciIdEnv :: [TyThing] -> TcM a -> TcM aSource
tcLookupLocalIds :: [Name] -> TcM [TcId]Source
tcLookupId :: Name -> TcM IdSource
tcLookupTyVar :: Name -> TcM TcTyVarSource
getScopedTyVarBinds :: TcM [(Name, TcTyVar)]Source
getInLocalScope :: TcM (Name -> Bool)Source
pprBinders :: [Name] -> SDocSource
zapLclTypeEnv :: TcM a -> TcM aSource
isBrackStage :: ThStage -> BoolSource
newLocalName :: Name -> TcM NameSource
newFamInstAxiomName :: SrcSpan -> Name -> [CoAxBranch] -> TcM NameSource
mkWrapperName :: (MonadIO m, HasDynFlags m, HasModule m) => String -> String -> m FastStringSource