| ||||||||||
| ||||||||||
| 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 | ||||||||||
| ||||||||||
| dataConCannotMatch :: [Type] -> DataCon -> Bool | ||||||||||
| data 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 | ||||||||||
| ||||||||||
| Produced by Haddock version 2.7.2 | ||||||||||