ghc-6.12.3: The GHC API
Source code
Contents
Index
Unify
Documentation
tcMatchTy
::
TyVarSet
->
Type
->
Type
->
Maybe
TvSubst
Source
tcMatchTys
::
TyVarSet
-> [
Type
] -> [
Type
] ->
Maybe
TvSubst
Source
tcMatchTyX
::
TyVarSet
->
TvSubst
->
Type
->
Type
->
Maybe
TvSubst
Source
ruleMatchTyX
::
MatchEnv
->
TvSubstEnv
->
Type
->
Type
->
Maybe
TvSubstEnv
Source
tcMatchPreds
:: [
TyVar
] -> [
PredType
] -> [
PredType
] ->
Maybe
TvSubstEnv
Source
data
MatchEnv
Source
Constructors
ME
me_tmpls
::
VarSet
me_env
::
RnEnv2
dataConCannotMatch
:: [
Type
] ->
DataCon
->
Bool
Source
data
Refinement
Source
Instances
Outputable
Refinement
emptyRefinement
::
Refinement
Source
isEmptyRefinement
::
Refinement
->
Bool
Source
matchRefine
:: [
TyVar
] -> [
Coercion
] ->
Refinement
Source
refineType
::
Refinement
->
Type
->
Maybe
(
Coercion
,
Type
)
Source
refinePred
::
Refinement
->
PredType
->
Maybe
(
Coercion
,
PredType
)
Source
refineResType
::
Refinement
->
Type
->
Maybe
(
Coercion
,
Type
)
Source
tcUnifyTys
:: (
TyVar
->
BindFlag
) -> [
Type
] -> [
Type
] ->
Maybe
TvSubst
Source
data
BindFlag
Source
Constructors
BindMe
Skolem
Produced by
Haddock
version 2.6.1