| ghc-6.10.4: The GHC API | Contents | Index

TcUnify

Documentation
tcSubExp :: InstOrigin -> BoxySigmaType -> BoxySigmaType -> TcM HsWrapper
tcGen :: BoxySigmaType -> TcTyVarSet -> Maybe UserTypeCtxt -> ([TcTyVar] -> BoxyRhoType -> TcM result) -> TcM (HsWrapper, result)
checkSigTyVars :: [TcTyVar] -> TcM ()
checkSigTyVarsWrt :: TcTyVarSet -> [TcTyVar] -> TcM ()
bleatEscapedTvs :: TcTyVarSet -> [TcTyVar] -> [TcTyVar] -> TcM ()
sigCtxt :: Id -> [TcTyVar] -> TcThetaType -> TcTauType -> TidyEnv -> TcM (TidyEnv, Message)
unifyType :: TcTauType -> TcTauType -> TcM CoercionI
unifyTypeList :: [TcTauType] -> TcM ()
unifyTheta :: TcThetaType -> TcThetaType -> TcM [CoercionI]
unifyKind :: TcKind -> TcKind -> TcM ()
unifyKinds :: [TcKind] -> [TcKind] -> TcM ()
unifyFunKind :: TcKind -> TcM (Maybe (TcKind, TcKind))
checkExpectedKind :: Outputable a => a -> TcKind -> TcKind -> TcM ()
preSubType :: [TcTyVar] -> TcTyVarSet -> TcType -> BoxySigmaType -> TcM [TcType]
boxyMatchTypes :: TcTyVarSet -> [TcType] -> [BoxySigmaType] -> TvSubst
tcInfer :: (BoxyType -> TcM a) -> TcM (a, TcType)
subFunTys :: SDoc -> Arity -> BoxySigmaType -> Maybe UserTypeCtxt -> ([BoxySigmaType] -> BoxyRhoType -> TcM a) -> TcM (HsWrapper, a)
unBox :: BoxyType -> TcM TcType
refineBox :: TcType -> TcM TcType
refineBoxToTau :: TcType -> TcM TcType
withBox :: Kind -> (BoxySigmaType -> TcM a) -> TcM (a, TcType)
boxyUnify :: BoxyType -> BoxyType -> TcM CoercionI
boxyUnifyList :: [BoxyType] -> [BoxyType] -> TcM [CoercionI]
zapToMonotype :: BoxySigmaType -> TcM TcTauType
boxySplitListTy :: BoxyRhoType -> TcM (BoxySigmaType, CoercionI)
boxySplitPArrTy :: BoxyRhoType -> TcM (BoxySigmaType, CoercionI)
boxySplitTyConApp :: TyCon -> BoxyRhoType -> TcM ([BoxySigmaType], CoercionI)
boxySplitAppTy :: BoxyRhoType -> TcM ((BoxySigmaType, BoxySigmaType), CoercionI)
wrapFunResCoercion :: [TcType] -> HsWrapper -> TcM HsWrapper
Produced by Haddock version 2.4.2