| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Unify
Documentation
ruleMatchTyX :: MatchEnv -> TvSubstEnv -> Type -> Type -> Maybe TvSubstEnv
tcMatchPreds :: [TyVar] -> [PredType] -> [PredType] -> Maybe TvSubstEnv
typesCantMatch :: [(Type, Type)] -> Bool
data UnifyResultM a
Constructors
| Unifiable a | |
| MaybeApart a | |
| SurelyApart |
type UnifyResult = UnifyResultM TvSubst
tcUnifyTysFG :: (TyVar -> BindFlag) -> [Type] -> [Type] -> UnifyResult