 | ghc-6.12.3: The GHC API | Source code | Contents | Index |
| TcUnify |
| tcSubExp :: InstOrigin -> BoxySigmaType -> BoxySigmaType -> TcM HsWrapper | Source |
| tcGen :: BoxySigmaType -> TcTyVarSet -> Maybe UserTypeCtxt -> ([TcTyVar] -> BoxyRhoType -> TcM result) -> TcM (HsWrapper, result) | Source |
| checkSigTyVars :: [TcTyVar] -> TcM () | Source |
| checkSigTyVarsWrt :: TcTyVarSet -> [TcTyVar] -> TcM () | Source |
| bleatEscapedTvs :: TcTyVarSet -> [TcTyVar] -> [TcTyVar] -> TcM () | Source |
| sigCtxt :: Id -> [TcTyVar] -> TcThetaType -> TcTauType -> TidyEnv -> TcM (TidyEnv, Message) | Source |
| unifyType :: TcTauType -> TcTauType -> TcM CoercionI | Source |
| unifyTypeList :: [TcTauType] -> TcM () | Source |
| unifyTheta :: TcThetaType -> TcThetaType -> TcM [CoercionI] | Source |
| unifyKind :: TcKind -> TcKind -> TcM () | Source |
| unifyKinds :: [TcKind] -> [TcKind] -> TcM () | Source |
| unifyFunKind :: TcKind -> TcM (Maybe (TcKind, TcKind)) | Source |
| preSubType :: [TcTyVar] -> TcTyVarSet -> TcType -> BoxySigmaType -> TcM [TcType] | Source |
| boxyMatchTypes :: TcTyVarSet -> [TcType] -> [BoxySigmaType] -> TvSubst | Source |
| tcInfer :: (BoxyType -> TcM a) -> TcM (a, TcType) | Source |
| subFunTys :: SDoc -> Arity -> BoxySigmaType -> Maybe UserTypeCtxt -> ([BoxySigmaType] -> BoxyRhoType -> TcM a) -> TcM (HsWrapper, a) | Source |
| unBox :: BoxyType -> TcM TcType | Source |
| refineBox :: TcType -> TcM TcType | Source |
| refineBoxToTau :: TcType -> TcM TcType | Source |
| withBox :: Kind -> (BoxySigmaType -> TcM a) -> TcM (a, TcType) | Source |
| boxyUnify :: BoxyType -> BoxyType -> TcM CoercionI | Source |
| boxyUnifyList :: [BoxyType] -> [BoxyType] -> TcM [CoercionI] | Source |
| zapToMonotype :: BoxySigmaType -> TcM TcTauType | Source |
| boxySplitListTy :: BoxyRhoType -> TcM (BoxySigmaType, CoercionI) | Source |
| boxySplitPArrTy :: BoxyRhoType -> TcM (BoxySigmaType, CoercionI) | Source |
| boxySplitTyConApp :: TyCon -> BoxyRhoType -> TcM ([BoxySigmaType], CoercionI) | Source |
| boxySplitAppTy :: BoxyRhoType -> TcM ((BoxySigmaType, BoxySigmaType), CoercionI) | Source |
| wrapFunResCoercion :: [TcType] -> HsWrapper -> TcM HsWrapper | Source |