ghc-6.12.2: The GHC APISource codeContentsIndex
Unify
Documentation
tcMatchTy :: TyVarSet -> Type -> Type -> Maybe TvSubstSource
tcMatchTys :: TyVarSet -> [Type] -> [Type] -> Maybe TvSubstSource
tcMatchTyX :: TyVarSet -> TvSubst -> Type -> Type -> Maybe TvSubstSource
ruleMatchTyX :: MatchEnv -> TvSubstEnv -> Type -> Type -> Maybe TvSubstEnvSource
tcMatchPreds :: [TyVar] -> [PredType] -> [PredType] -> Maybe TvSubstEnvSource
data MatchEnv Source
Constructors
ME
me_tmpls :: VarSet
me_env :: RnEnv2
dataConCannotMatch :: [Type] -> DataCon -> BoolSource
data Refinement Source
show/hide Instances
emptyRefinement :: RefinementSource
isEmptyRefinement :: Refinement -> BoolSource
matchRefine :: [TyVar] -> [Coercion] -> RefinementSource
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 TvSubstSource
data BindFlag Source
Constructors
BindMe
Skolem
Produced by Haddock version 2.6.1