ghc-7.0.1: The GHC API

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 

Fields

me_tmpls :: VarSet
 
me_env :: RnEnv2
 

dataConCannotMatch :: [Type] -> DataCon -> BoolSource

tcUnifyTys :: (TyVar -> BindFlag) -> [Type] -> [Type] -> Maybe TvSubstSource

data BindFlag Source

Constructors

BindMe 
Skolem