ghc-6.10.3: The GHC API Contents Index

Unify

Documentation

tcMatchTy :: TyVarSet -> Type -> Type -> Maybe TvSubst

tcMatchTys :: TyVarSet -> [Type] -> [Type] -> Maybe TvSubst

tcMatchTyX :: TyVarSet -> TvSubst -> Type -> Type -> Maybe TvSubst

ruleMatchTyX :: MatchEnv -> TvSubstEnv -> Type -> Type -> Maybe TvSubstEnv

tcMatchPreds :: [TyVar] -> [PredType] -> [PredType] -> Maybe TvSubstEnv

data MatchEnv

Constructors ME me_tmpls :: VarSet me_env :: RnEnv2

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

data Refinement

Instances Outputable Refinement

emptyRefinement :: Refinement

isEmptyRefinement :: Refinement -> Bool

matchRefine :: [TyVar] -> [Coercion] -> Refinement

refineType :: Refinement -> Type -> Maybe (Coercion, Type)

refinePred :: Refinement -> PredType -> Maybe (Coercion, PredType)

refineResType :: Refinement -> Type -> Maybe (Coercion, Type)

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

data BindFlag

Constructors BindMe Skolem

Produced by Haddock version 2.4.2