ghc-6.12.2: 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