Unify
Documentation
ruleMatchTyX :: MatchEnv -> TvSubstEnv -> Type -> Type -> Maybe TvSubstEnvSource
tcMatchPreds :: [TyVar] -> [PredType] -> [PredType] -> Maybe TvSubstEnvSource
dataConCannotMatch :: [Type] -> DataCon -> BoolSource
ghc-7.0.1: The GHC API
Unify
ruleMatchTyX :: MatchEnv -> TvSubstEnv -> Type -> Type -> Maybe TvSubstEnvSource
tcMatchPreds :: [TyVar] -> [PredType] -> [PredType] -> Maybe TvSubstEnvSource
dataConCannotMatch :: [Type] -> DataCon -> BoolSource