ghc-6.12.2: The GHC APISource codeContentsIndex
TcUnify
Documentation
tcSubExp :: InstOrigin -> BoxySigmaType -> BoxySigmaType -> TcM HsWrapperSource
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 CoercionISource
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] -> TvSubstSource
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 TcTypeSource
refineBox :: TcType -> TcM TcTypeSource
refineBoxToTau :: TcType -> TcM TcTypeSource
withBox :: Kind -> (BoxySigmaType -> TcM a) -> TcM (a, TcType)Source
boxyUnify :: BoxyType -> BoxyType -> TcM CoercionISource
boxyUnifyList :: [BoxyType] -> [BoxyType] -> TcM [CoercionI]Source
zapToMonotype :: BoxySigmaType -> TcM TcTauTypeSource
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 HsWrapperSource
Produced by Haddock version 2.6.1