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 MatchEnvSource

matchList :: (env -> a -> b -> Maybe env) -> env -> [a] -> [b] -> Maybe envSource

typesCantMatch :: [(Type, Type)] -> BoolSource

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

data BindFlagSource

niFixTvSubst :: TvSubstEnv -> TvSubstSource

niSubstTvSet :: TvSubstEnv -> TyVarSet -> TyVarSetSource

data UnifyResultM aSource

type UnifyResult = UnifyResultM TvSubstSource

tcUnifyTysFG :: (TyVar -> BindFlag) -> [Type] -> [Type] -> UnifyResultSource