Safe Haskell | None |
---|---|
Language | Haskell98 |
Unify
Documentation
ruleMatchTyX :: MatchEnv -> TvSubstEnv -> Type -> Type -> Maybe TvSubstEnvSource
tcMatchPreds :: [TyVar] -> [PredType] -> [PredType] -> Maybe TvSubstEnvSource
typesCantMatch :: [(Type, Type)] -> BoolSource
niSubstTvSet :: TvSubstEnv -> TyVarSet -> TyVarSetSource
data UnifyResultM aSource
Constructors
Unifiable a | |
MaybeApart a | |
SurelyApart |
type UnifyResult = UnifyResultM TvSubstSource
tcUnifyTysFG :: (TyVar -> BindFlag) -> [Type] -> [Type] -> UnifyResultSource