ghc-6.12.2: The GHC API
Source code
Contents
Index
TcEnv
Synopsis
data
TyThing
=
AnId
Id
|
ADataCon
DataCon
|
ATyCon
TyCon
|
AClass
Class
data
TcTyThing
=
AGlobal
TyThing
|
ATcId
{
tct_id
::
TcId
tct_co
::
RefinementVisibility
tct_type
::
TcType
tct_level
::
ThLevel
}
|
ATyVar
Name
TcType
|
AThing
TcKind
type
TcId
=
Id
data
InstInfo
a =
InstInfo
{
iSpec
::
Instance
iBinds
::
InstBindings
a
}
iDFunId
::
InstInfo
a ->
DFunId
pprInstInfo
::
InstInfo
a ->
SDoc
pprInstInfoDetails
::
OutputableBndr
a =>
InstInfo
a ->
SDoc
simpleInstInfoClsTy
::
InstInfo
a -> (
Class
,
Type
)
simpleInstInfoTy
::
InstInfo
a ->
Type
simpleInstInfoTyCon
::
InstInfo
a ->
TyCon
data
InstBindings
a
=
VanillaInst
(
LHsBinds
a) [
LSig
a]
Bool
|
NewTypeDerived
CoercionI
TyCon
tcExtendGlobalEnv
:: [
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
tcLookupLocatedGlobalId
::
Located
Name
->
TcM
Id
tcLookupLocatedTyCon
::
Located
Name
->
TcM
TyCon
tcLookupLocatedClass
::
Located
Name
->
TcM
Class
tcLookupFamInst
::
TyCon
-> [
Type
] ->
TcM
(
Maybe
(
TyCon
, [
Type
]))
tcExtendKindEnv
:: [(
Name
,
TcKind
)] ->
TcM
r ->
TcM
r
tcExtendKindEnvTvs
:: [
LHsTyVarBndr
Name
] ->
TcM
r ->
TcM
r
tcExtendTyVarEnv
:: [
TyVar
] ->
TcM
r ->
TcM
r
tcExtendTyVarEnv2
:: [(
Name
,
TcType
)] ->
TcM
r ->
TcM
r
tcExtendGhciEnv
:: [
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
tcLookup
::
Name
->
TcM
TcTyThing
tcLookupLocated
::
Located
Name
->
TcM
TcTyThing
tcLookupLocalIds
:: [
Name
] ->
TcM
[
TcId
]
tcLookupId
::
Name
->
TcM
Id
tcLookupTyVar
::
Name
->
TcM
TcTyVar
getScopedTyVarBinds
::
TcM
[(
Name
,
TcType
)]
lclEnvElts
::
TcLclEnv
-> [
TcTyThing
]
getInLocalScope
::
TcM
(
Name
->
Bool
)
findGlobals
::
TcTyVarSet
->
TidyEnv
->
TcM
(
TidyEnv
, [
SDoc
])
wrongThingErr
::
String
->
TcTyThing
->
Name
->
TcM
a
pprBinders
:: [
Name
] ->
SDoc
tcExtendRecEnv
:: [(
Name
,
TyThing
)] ->
TcM
r ->
TcM
r
tcExtendRules
:: [
LRuleDecl
Id
] ->
TcM
a ->
TcM
a
tcGetGlobalTyVars
::
TcM
TcTyVarSet
checkWellStaged
::
SDoc
->
ThLevel
->
ThLevel
->
TcM
()
tcMetaTy
::
Name
->
TcM
Type
thLevel
::
ThStage
->
ThLevel
topIdLvl
::
Id
->
ThLevel
thTopLevelId
::
Id
->
Bool
thRnBrack
::
ThStage
isBrackStage
::
ThStage
->
Bool
newLocalName
::
Name
->
TcRnIf
gbl lcl
Name
newDFunName
::
Class
-> [
Type
] ->
SrcSpan
->
TcM
Name
newFamInstTyConName
::
Name
-> [
Type
] ->
SrcSpan
->
TcM
Name
mkStableIdFromString
::
String
->
Type
->
SrcSpan
-> (
OccName
->
OccName
) ->
TcM
TcId
mkStableIdFromName
::
Name
->
Type
->
SrcSpan
-> (
OccName
->
OccName
) ->
TcM
TcId
Documentation
data
TyThing
Source
A typecheckable-thing, essentially anything that has a name
Constructors
AnId
Id
ADataCon
DataCon
ATyCon
TyCon
AClass
Class
Instances
Outputable
TyThing
NamedThing
TyThing
data
TcTyThing
Source
Constructors
AGlobal
TyThing
ATcId
tct_id
::
TcId
tct_co
::
RefinementVisibility
tct_type
::
TcType
tct_level
::
ThLevel
ATyVar
Name
TcType
AThing
TcKind
Instances
Outputable
TcTyThing
type
TcId
=
Id
Source
data
InstInfo
a
Source
Constructors
InstInfo
iSpec
::
Instance
iBinds
::
InstBindings
a
iDFunId
::
InstInfo
a ->
DFunId
Source
pprInstInfo
::
InstInfo
a ->
SDoc
Source
pprInstInfoDetails
::
OutputableBndr
a =>
InstInfo
a ->
SDoc
Source
simpleInstInfoClsTy
::
InstInfo
a -> (
Class
,
Type
)
Source
simpleInstInfoTy
::
InstInfo
a ->
Type
Source
simpleInstInfoTyCon
::
InstInfo
a ->
TyCon
Source
data
InstBindings
a
Source
Constructors
VanillaInst
(
LHsBinds
a) [
LSig
a]
Bool
NewTypeDerived
CoercionI
TyCon
tcExtendGlobalEnv
:: [
TyThing
] ->
TcM
r ->
TcM
r
Source
setGlobalTypeEnv
::
TcGblEnv
->
TypeEnv
->
TcM
TcGblEnv
Source
tcExtendGlobalValEnv
:: [
Id
] ->
TcM
a ->
TcM
a
Source
tcLookupLocatedGlobal
::
Located
Name
->
TcM
TyThing
Source
tcLookupGlobal
::
Name
->
TcM
TyThing
Source
tcLookupField
::
Name
->
TcM
Id
Source
tcLookupTyCon
::
Name
->
TcM
TyCon
Source
tcLookupClass
::
Name
->
TcM
Class
Source
tcLookupDataCon
::
Name
->
TcM
DataCon
Source
tcLookupLocatedGlobalId
::
Located
Name
->
TcM
Id
Source
tcLookupLocatedTyCon
::
Located
Name
->
TcM
TyCon
Source
tcLookupLocatedClass
::
Located
Name
->
TcM
Class
Source
tcLookupFamInst
::
TyCon
-> [
Type
] ->
TcM
(
Maybe
(
TyCon
, [
Type
]))
Source
tcExtendKindEnv
:: [(
Name
,
TcKind
)] ->
TcM
r ->
TcM
r
Source
tcExtendKindEnvTvs
:: [
LHsTyVarBndr
Name
] ->
TcM
r ->
TcM
r
Source
tcExtendTyVarEnv
:: [
TyVar
] ->
TcM
r ->
TcM
r
Source
tcExtendTyVarEnv2
:: [(
Name
,
TcType
)] ->
TcM
r ->
TcM
r
Source
tcExtendGhciEnv
:: [
TcId
] ->
TcM
a ->
TcM
a
Source
tcExtendIdEnv
:: [
TcId
] ->
TcM
a ->
TcM
a
Source
tcExtendIdEnv1
::
Name
->
TcId
->
TcM
a ->
TcM
a
Source
tcExtendIdEnv2
:: [(
Name
,
TcId
)] ->
TcM
a ->
TcM
a
Source
tcLookup
::
Name
->
TcM
TcTyThing
Source
tcLookupLocated
::
Located
Name
->
TcM
TcTyThing
Source
tcLookupLocalIds
:: [
Name
] ->
TcM
[
TcId
]
Source
tcLookupId
::
Name
->
TcM
Id
Source
tcLookupTyVar
::
Name
->
TcM
TcTyVar
Source
getScopedTyVarBinds
::
TcM
[(
Name
,
TcType
)]
Source
lclEnvElts
::
TcLclEnv
-> [
TcTyThing
]
Source
getInLocalScope
::
TcM
(
Name
->
Bool
)
Source
findGlobals
::
TcTyVarSet
->
TidyEnv
->
TcM
(
TidyEnv
, [
SDoc
])
Source
wrongThingErr
::
String
->
TcTyThing
->
Name
->
TcM
a
Source
pprBinders
:: [
Name
] ->
SDoc
Source
tcExtendRecEnv
:: [(
Name
,
TyThing
)] ->
TcM
r ->
TcM
r
Source
tcExtendRules
:: [
LRuleDecl
Id
] ->
TcM
a ->
TcM
a
Source
tcGetGlobalTyVars
::
TcM
TcTyVarSet
Source
checkWellStaged
::
SDoc
->
ThLevel
->
ThLevel
->
TcM
()
Source
tcMetaTy
::
Name
->
TcM
Type
Source
thLevel
::
ThStage
->
ThLevel
Source
topIdLvl
::
Id
->
ThLevel
Source
thTopLevelId
::
Id
->
Bool
Source
thRnBrack
::
ThStage
Source
isBrackStage
::
ThStage
->
Bool
Source
newLocalName
::
Name
->
TcRnIf
gbl lcl
Name
Source
newDFunName
::
Class
-> [
Type
] ->
SrcSpan
->
TcM
Name
Source
newFamInstTyConName
::
Name
-> [
Type
] ->
SrcSpan
->
TcM
Name
Source
mkStableIdFromString
::
String
->
Type
->
SrcSpan
-> (
OccName
->
OccName
) ->
TcM
TcId
Source
mkStableIdFromName
::
Name
->
Type
->
SrcSpan
-> (
OccName
->
OccName
) ->
TcM
TcId
Source
Produced by
Haddock
version 2.6.1